Лекция 13. Минимальная модальная логика К и другие логики | Открытые видеолекции учебных курсов МГУ

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

Лекция из курса:

Математическая логика

Яворская Татьяна Леонидовна

Видео не может быть загружено из-за проблем с интернет-соединением или проблем на сервере. Или формат файла не поддерживается вашим браузером.

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

Видео закончится через

NaN:NaN

00:00

00:00

00:19

Следующая секция начнется через 12:31

Описание

12:31

Следующая секция начнется через 12:31

Обратная импликация

17:22

Следующая секция начнется через 12:31

Пример

20:34

Следующая секция начнется через 12:31

Теорема

31:31

Следующая секция начнется через 12:31

Логика знаний

Свернуть таймкоды

00:00

00:00

Скорость

Качество

00:00

00:00

Скорость

Качество

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

Предыдущая лекция

Лекция 12. Модальная логика. Семантика Крипке

Следующая лекция

Лекция 14. Временная логика