Лекция 9. Выводимость в логике I порядка. Исчисление предикатов
Лекция из курса:
Лекция 9. Выводимость в логике I порядка. Исчисление предикатов
Предыдущая лекция
8
Лекция 8. Логика предикатов с равенством
00:35:57
Следующая лекция
10
Лекция 10. Теорема о компактности и её следствия
01:05:16