Классическая дедуктивная логика. Часть 2
Философия
6 лекций
2026
лекции
Философия
Преподаватель
- 01:21:13Лекция 1. Исчисление с конечным числом аксиом и с правилом подстановки
- 01:19:13Лекция 2. Натуральное исчисление высказываний
- 01:25:29Лекция 3. Эвристические соображения
- 01:21:51Лекция 4. Свойства логических исчислений
- 01:28:26Лекция 5. Классическая логика предикатов
- 01:28:31Лекция 6. Интерпретация нелогических символов языка