Курсы Лекторы Материалы О проекте
Курсы Лекторы Материалы О проекте
О проекте
Вход
Войти
Лекция 9. Теории и модели
Лекция из курса:
Введение в математическую логику и теорию алгоритмов
Шехтман Валентин Борисович
Видео не может быть загружено из-за проблем с интернет-соединением или проблем на сервере. Или формат файла не поддерживается вашим браузером.
Лекция 9. Теории и модели
Видео закончится через
NaN:NaN
00:00
00:00
00:09
Следующая секция начнется через 09:59
Построения нормальной модели. Корректное определение модели.
09:59
Следующая секция начнется через 09:59
Лемма о нормализации.
12:40
Следующая секция начнется через 09:59
Теорема 7.4. Об оцененных термах и об оцененных формулах.
16:55
Следующая секция начнется через 09:59
Сильно категоричные теории. Теорема о следствии полноты из сильной категоричности.
20:17
Следующая секция начнется через 09:59
Примеры сильно категоричных теорий
31:58
Следующая секция начнется через 09:59
Теорема 9.3. Условие конечной аксиоматизируемости и сильной категоричности теории.
45:38
Следующая секция начнется через 09:59
Лемма 9.4.Условие истинности формулы задающей модель.
1:06:04
Следующая секция начнется через 09:59
Универсальное замыкание.
1:09:23
Следующая секция начнется через 09:59
Лемма 9.5. О равносильности универсальных замыканий.
1:12:28
Следующая секция начнется через 09:59
Общезначимая формула. Равносильные формулы.
1:16:29
Следующая секция начнется через 09:59
Лемма 9.6 Об отношении эквивалентности в пространстве формул.
1:19:42
Следующая секция начнется через 09:59
Лемма 9.7 О тавтологиях.  
1:22:25
Следующая секция начнется через 09:59
Лемма 9.8. Список равносильных преобразований. 
Свернуть таймкоды
00:00
00:00
Скорость
x 1.00
x 0.25
x 0.50
x 0.75
x 1.00
x 1.25
x 1.5
x 1.75
x 2.00
x 3.00
x 4.00
Качество
1080p
1080p
720p
480p
00:00
00:00
Скорость
x 1.00
x 0.25
x 0.50
x 0.75
x 1.00
x 1.25
x 1.5
x 1.75
x 2.00
x 3.00
x 4.00
Качество
1080p
1080p
720p
480p

Лекция 9. Теории и модели

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