Гуров С.И.

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

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

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

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

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