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