Курс "Дополнительные главы дискретной математики" - состоит их четырех глав. 1 «Функции многозначной логики» - даются первоначальные сведения по функциям многозначной логики. 2 «Конечные автоматы-распознаватели» посвящена описанию конечно-автоматных множеств в терминах конечных автоматов, с использованием правоинвариантного отношения эквивалентности и на основе регулярных выражений. 3 «Конечные автоматы-преобразователи» рассматривается класс конечноавтоматных функций, определенных на бесконечных последовательностях. 4 «Машины Тьюринга и вычислимые функции» определяются машины Тьюринга и функции, вычислимые на машинах Тьюринга.
- Преподаватель: Константин Владимирович Сафонов