Григорьев О.М. - Классическая дедуктивная логика - 15. Аксиоматическое исчисление высказываний
Teach-In
Аксиоматическое исчисление высказываний Григорьев Олег Михайлович 00:17 Вопросы для изучения 01:14 Логические исчисления 07:54 Общий план построения логических исчислений 26:13 Способы построения логических исчислений 38:09 Аксиоматическое классическое исчисление высказывания 47:04 Пример (Система Клини) #Kleene_system
1:37:15
