Свойства аксиоматической теории Гильберта исчисления высказываний

Mathematical Logic

Автор: Irina Shoshmina

Загружено: 2016-02-12

Просмотров: 356

Описание: Лекция проф. Ю.Г. Карпова к дистанционному курсу "Математическая логика"
http://dcn.icc.spbstu.ru/
Аксиоматические теории
Аксиоматические теории. Исчисление высказываний

Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...

Свойства аксиоматической теории Гильберта исчисления высказываний

Доступные форматы для скачивания:

Скачать видео

Информация по загрузке:

Скачать аудио

Похожие видео