Курсы
Лекторы
Школьникам
О проекте
Войти
Главная
/
Курсы
/
Введение в математическую логику и теорию алгоритмов
/
Лекция 9. Теории и модели
Построения нормальной модели. Корректное определение модели.
x 1.00
Математика
Введение в математическую логику и теорию алгоритмов
Лекция 9. Теории и модели
Шехтман
Валентин Борисович
Предыдущая лекция
Следующая лекция
00:09
Построения нормальной модели. Корректное определение модели.
09:59
Лемма о нормализации.
12:40
Теорема 7.4. Об оцененных термах и об оцененных формулах.
16:55
Сильно категоричные теории. Теорема о следствии полноты из сильной категоричности.
20:17
Примеры сильно категоричных теорий
31:58
Теорема 9.3. Условие конечной аксиоматизируемости и сильной категоричности теории.
45:38
Лемма 9.4.Условие истинности формулы задающей модель.
1:06:04
Универсальное замыкание.
1:09:23
Лемма 9.5. О равносильности универсальных замыканий.
1:12:28
Общезначимая формула. Равносильные формулы.
1:16:29
Лемма 9.6 Об отношении эквивалентности в пространстве формул.
1:19:42
Лемма 9.7 О тавтологиях.
1:22:25
Лемма 9.8. Список равносильных преобразований.
Курсы
Лекторы
Школьникам
О проекте
Контакты
Свяжитесь с нами
Отправить
2025 МГУ имени М.В. Ломоносова
Условия использования сайта
Сведения об образовательной организации
Нашли ошибку?
