Гуров С.И.

Пятница, 16:20,
ауд. 704

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

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

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

Страница курса: http://vmk.somee.com/Details/424