Описание:Годовой спецкурс. Слушатели знакомятся с основными логическими понятиями, это: алгебра высказываний, формулы, логическое следование, методы характеризации (семантические таблицы Э. Бета, метод резолюций, семантика возможных миров С. Крипке и др.). Для различных формализаций алгебры исследуются свойства соответствующих метатеорий. Даётся современный взгляд на пропозициональную логику в её связи с различными абстрактными математическими структурами. Является развитием курса «Исчисления высказываний классической и интуиционистской логик», который читался вплоть до 2013/14 уч. года (поддерживался пособием С. И. Гуров «Исчисления высказываний классической логики». – М.: МАКС Пресс, 2007.).
Общая трудоёмкость курса 144 уч. часов, по 72 ч. в каждом семестре, 32 ч. лекции, 24 ч. семинары, 48 ч. самостоятельная работа.
Форма контроля: экзамен (ВМК), зачёт (Филиал).