1,0×
00:00/01:29:22
Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Эквивалентность моделей
0:00:09 1. Логическое (семантическое) замыкание
0:04:50 2. Лемма о совпадении логических замыканий теорий
0:06:57 3. Лемма об условиях полноты теории
0:23:38 4. Модели с оценкой
0:46:54 5. Лемма о корректности определения оцененного терма и оцененной формулы
0:59:04 6. Определение эквивалентности моделей
1:09:42 7. Лемма. Изоморфность это отношение эквивалентности
1:14:59 8. Теорема о значении оцененного терма при преобразованиях
0:04:50 2. Лемма о совпадении логических замыканий теорий
0:06:57 3. Лемма об условиях полноты теории
0:23:38 4. Модели с оценкой
0:46:54 5. Лемма о корректности определения оцененного терма и оцененной формулы
0:59:04 6. Определение эквивалентности моделей
1:09:42 7. Лемма. Изоморфность это отношение эквивалентности
1:14:59 8. Теорема о значении оцененного терма при преобразованиях
…