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

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

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

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

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

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

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

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

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

Лекция 15. Теория алгоритмов. Разрешимое и перечислимое множество