математический спецкурс весеннего семестра 2013/2014-го года
Исчисления высказываний классической логики

Гуров С.И.

Понедельник, 16:00,
ауд. 704

Годовой спецкурс. Первое занятие 17 февраля.

Продолжается чтение годового спецкурса. Со второй части спецкурс могут посещать слушатели, знакомые либо с каким-либо пропозициональным исчислением высказываний. Будут рассмотрены некоторые гильбертовы исчисления H. Основное внимание будет уделено генценовским непропозициональным исчислениям высказываний: натурального вывода N и секвенкий S. 

Спецкурс поддерживается практическими занятиями. Имеется учебное пособие в печатной и электронной формах.

Комментарии и отзывы
Web hosting by Somee.com