Аннотация:Пособие написано по программе обязательного курса "`Функциональные системы"', который читается автором на факультете вычислительной математики и кибернетики МГУ для студентов кафедры математической кибернетики. Пособие состоит их двух глав. В главе 1 приведены необходимые начальные сведения по булевым функциям и дано современное доказательство теоремы Поста (перечисление всех замкнутых классов булевых функций с указанием конечных базисов). Глава 1 содержит также критерий функциональной полноты для частичных булевых функций. В главе 2 на языке предикатов дано описание всех предполных классов многозначной логики.
Для студентов и аспирантов, специализирующихся по дискретной математике и кибернетике.