Лекция 10. Теорема о компактности и её следствия | Открытые видеолекции учебных курсов МГУ

Лекция 10. Теорема о компактности и её следствия

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

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

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

Лекция 10. Теорема о компактности и её следствия

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

Лекция 9. Выводимость в логике I порядка. Исчисление предикатов

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

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