Курсы Лекторы Материалы О проекте
Курсы Лекторы Материалы О проекте
О проекте
Вход
Войти
Лекция 13. Модальная логика
Лекция из курса:
Введение в математическую логику и теорию алгоритмов
Шехтман Валентин Борисович
Видео не может быть загружено из-за проблем с интернет-соединением или проблем на сервере. Или формат файла не поддерживается вашим браузером.
Лекция 13. Модальная логика
Видео закончится через
NaN:NaN
00:00
00:00
04:20
Следующая секция начнется через 25:15
Теорема 13.1 Эквивалентность.
25:15
Следующая секция начнется через 25:15
Лемма 13.2 Правила монотонности импликаций.
34:16
Следующая секция начнется через 25:15
Модальные формулы глубины 1.
37:23
Следующая секция начнется через 25:15
Лемма 13.3 О записи формулы глубины 1.
50:24
Следующая секция начнется через 25:15
Лемма 13.4 О существовании конечного числа попарно не эквивалентных формул длины 1.
53:37
Следующая секция начнется через 25:15
Лемма 13.5 Любая формула эквивалентна формуле длины 1. Лемма 13.6. О существовании конечного числа попарно не эквивалентных формул от n переменных.
1:04:17
Следующая секция начнется через 25:15
Лемма 13.7 Если теория Г непротиворечива то существует максимальная теория которая содержит Г.
1:08:30
Следующая секция начнется через 25:15
Лемма 13.8 Существует конечное числа максимальных множеств. Лемма 13.9 Свойства максимальных множеств.
Свернуть таймкоды
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

Лекция 13. Модальная логика

04:20
Следующая секция начнется через 25:15
Теорема 13.1 Эквивалентность.
25:15
Следующая секция начнется через 25:15
Лемма 13.2 Правила монотонности импликаций.
34:16
Следующая секция начнется через 25:15
Модальные формулы глубины 1.
37:23
Следующая секция начнется через 25:15
Лемма 13.3 О записи формулы глубины 1.
50:24
Следующая секция начнется через 25:15
Лемма 13.4 О существовании конечного числа попарно не эквивалентных формул длины 1.
53:37
Следующая секция начнется через 25:15
Лемма 13.5 Любая формула эквивалентна формуле длины 1. Лемма 13.6. О существовании конечного числа попарно не эквивалентных формул от n переменных.
1:04:17
Следующая секция начнется через 25:15
Лемма 13.7 Если теория Г непротиворечива то существует максимальная теория которая содержит Г.
1:08:30
Следующая секция начнется через 25:15
Лемма 13.8 Существует конечное числа максимальных множеств. Лемма 13.9 Свойства максимальных множеств.
Свернуть таймкоды
Конспект лекции
Лекция 13. Модальная логика
1 / Загрузка
материалы
Скачать
Математика / пособие
Методическое пособие для курса «Введение в математическую логику и теорию алгоритмов»