Курсы Лекторы Материалы О проекте
Курсы Лекторы Материалы О проекте
О проекте
Вход
Войти
Лекция 12. Модальная логика
Лекция из курса:
Введение в математическую логику и теорию алгоритмов
Шехтман Валентин Борисович
Видео не может быть загружено из-за проблем с интернет-соединением или проблем на сервере. Или формат файла не поддерживается вашим браузером.
Лекция 12. Модальная логика
Видео закончится через
NaN:NaN
00:00
00:00
07:43
Следующая секция начнется через 14:29
Лемма 12.1 О подстановке термов.
14:29
Следующая секция начнется через 14:29
Теорема 7.4 Значения термов на изоморфизмах.
26:26
Следующая секция начнется через 14:29
Сигнатуры с равенством.
31:26
Следующая секция начнется через 14:29
Противоречивая теория.
32:50
Следующая секция начнется через 14:29
Лемма 12.3 Если теория противоречива то в ней выводится любая формула.
34:04
Следующая секция начнется через 14:29
Следствие 12.4 Если теория выполнима, то она непротиворечива. Если теория с равенством и имеет нормальную модель, тогда теория непротиворечива.
38:37
Следующая секция начнется через 14:29
Пример: Арифметика Пеано.
49:20
Следующая секция начнется через 14:29
Модальная логика. Аксиомы.
57:53
Следующая секция начнется через 14:29
Семантика S5.
1:16:32
Следующая секция начнется через 14:29
Лемма 12.6 Если A любая формула от аргумента u в модели M*, то она принимает такое же значение как формула A принимала в модели M или u.
Свернуть таймкоды
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

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

07:43
Следующая секция начнется через 14:29
Лемма 12.1 О подстановке термов.
14:29
Следующая секция начнется через 14:29
Теорема 7.4 Значения термов на изоморфизмах.
26:26
Следующая секция начнется через 14:29
Сигнатуры с равенством.
31:26
Следующая секция начнется через 14:29
Противоречивая теория.
32:50
Следующая секция начнется через 14:29
Лемма 12.3 Если теория противоречива то в ней выводится любая формула.
34:04
Следующая секция начнется через 14:29
Следствие 12.4 Если теория выполнима, то она непротиворечива. Если теория с равенством и имеет нормальную модель, тогда теория непротиворечива.
38:37
Следующая секция начнется через 14:29
Пример: Арифметика Пеано.
49:20
Следующая секция начнется через 14:29
Модальная логика. Аксиомы.
57:53
Следующая секция начнется через 14:29
Семантика S5.
1:16:32
Следующая секция начнется через 14:29
Лемма 12.6 Если A любая формула от аргумента u в модели M*, то она принимает такое же значение как формула A принимала в модели M или u.
Свернуть таймкоды
Конспект лекции
Лекция 12. Модальная логика
1 / Загрузка
материалы
Скачать
Математика / пособие
Методическое пособие для курса «Введение в математическую логику и теорию алгоритмов»