(4.3.-4.4.1.) Исчисление высказываний. Исчисление предикатов. Лекция 7 "Логические исчисления"

Седьмая лекция по дискретной математике СПбПУ от Новкива Ф.А. Лекции были выложены студентами преподавателя, проводящего лекции по дискретной математике. Тайм-коды для видео: 00:00 - 4.3. Исчисление высказываний 02:02 - 4.3.1. Определение исчисления высказываний 06:17 - 4.3.2. Частный случай формулы 16:55 - 4.3.3. Алгоритмы унификации 22:26 - 4.3.4. Конструктивное определение исчисления высказываний 24:06 - 4.3.5. Производные правила вывода 30:26 - 4.3.6. Дедукция 40:25 - 4.3.7. Некоторые теоремы исчисления высказываний 41:50 - 4.3.8. Множество теорем исчисления высказываний 47:23 - 4.3.9. Другие аксиоматизации исчисления высказываний 50:17 - 4.4. Исчисление предикатов 51:37 - 4.4.1. Определение исчисления предикатов