Лекция 3. Генценовское исчисление высказываний
Лекция из курса:
Предыдущая лекция
![](/img/hd/lecture/2022-03-09-Yavorskaya.jpg?7641)
2
Лекция 2. Дизъюнктивная нормальная форма
01:03:22
Следующая лекция
![](/img/hd/lecture/2022-04-18-Yavorskaya-1.jpg?7747)
4
Лекция 4. Логика I порядка. Синтаксис и семантика
01:14:08