Лекция 9. Выводимость в логике I порядка. Исчисление предикатов
Лекция из курса:
Предыдущая лекция
![](/img/hd/lecture/2022-05-16-Yavorskaya-1.jpg?7751)
8
Лекция 8. Логика предикатов с равенством
00:35:57
Следующая лекция
![](/img/hd/lecture/2022-07-06-Yavorskaya.jpg?9263)
10
Лекция 10. Теорема о компактности и её следствия
01:05:16