1,0×
00:00/01:28:14
Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Теории и модели
0:00:09 1. Напоминание построения нормальной модели. Корректное определение модели
0:09:59 2. Лемма о нормализации
0:12:40 3. Теорема 7.4. Об оцененных термах и об оцененных формулах
0:16:55 4. Сильно категоричные теории. Теорема о следствии полноты из сильной категоричности
0:20:17 5. Примеры сильно категоричных теорий
0:31:58 6. Теорема 9.3.Условие конечной аксиоматизируемости и сильной категоричности теории
0:45:38 7. Лемма 9.4.Условие истинности формулы задающей модель
1:06:04 8. Универсальное замыкание
1:09:23 9. Лемма 9.5. О равносильности универсальных замыканий
1:12:28 10. Общезначимая формула. Равносильные формулы
1:16:29 11. Лемма 9.6 Об отношении эквивалентности в пространстве формул
1:19:42 12. Лемма 9.7 О тавтологиях
1:22:25 13. Лемма 9.8. Список равносильных преобразований
0:09:59 2. Лемма о нормализации
0:12:40 3. Теорема 7.4. Об оцененных термах и об оцененных формулах
0:16:55 4. Сильно категоричные теории. Теорема о следствии полноты из сильной категоричности
0:20:17 5. Примеры сильно категоричных теорий
0:31:58 6. Теорема 9.3.Условие конечной аксиоматизируемости и сильной категоричности теории
0:45:38 7. Лемма 9.4.Условие истинности формулы задающей модель
1:06:04 8. Универсальное замыкание
1:09:23 9. Лемма 9.5. О равносильности универсальных замыканий
1:12:28 10. Общезначимая формула. Равносильные формулы
1:16:29 11. Лемма 9.6 Об отношении эквивалентности в пространстве формул
1:19:42 12. Лемма 9.7 О тавтологиях
1:22:25 13. Лемма 9.8. Список равносильных преобразований
…