Описание:Курс состоит из двух частей. В первой части излагается доказательство теоремы Поста, принадлежащее автору: описываются все замкнутые классы булевых функций и в каждом из них находится конечный базис. Вычисляется порядок каждого замкнутого класса и устанавливается полнота полученного списка замкнутых классов. Во второй части курса вводится понятие сохранения предиката функцией и исследуются классы функций, сохраняющие предикат. Для любого k>2 с использованием предикатного языка описываются все предполные классы k-значной логики. Отдельно рассматриваются классы монотонных, самодвойственных, квазилинейных функций и класс Слупецкого.