Лекция 4. Логика предикатов
Лекция из курса:
Предыдущая лекция
![](/img/hd/lecture/2021-10-08-Yavorskaya.jpg?7122)
3
Лекция 3. Свойства интуиционистской логики
01:06:37
Следующая лекция
![](/img/hd/lecture/2021-10-22-Yavorskaya.jpg?7124)
5
Лекция 5. Теорема Гёделя о полноте логики первого порядка
00:57:42