Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 23.12.2025; планируемая отправка: 24.12.2025
Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 26.12.2025; планируемая отправка: 27.12.2025
Технические характеристики
Учебное пособие написано на основе курсов «Дополнительные главы дискретной математики» и «Функциональные системы», которые автор на протяжении ряда лет читал на факультете вычислительной математики и кибернетики МГУ.
Пособие состоит из 6 глав, дополненных задачами и упражнениями.
Глава 1 «Множества, отношения, функции» служит теоретико-множественной и алгебраической основой при изучении последующих глав книги.
Глава 2 «Замкнутые классы булевых функций» содержит общие факты по булевым функциям, а также современное изложение классических результатов Э. Поста по перечислению всех замкнутых классов булевых функций.
Глава 3 «Функции многозначной логики» представляет собой введение в теорию функций многозначной логики.
Главы 4 и 5 посвящены конечным автоматам: в главе 4 рассматриваются автоматы-распознаватели, а в главе 5 - автоматы- преобразователи.
В главе 6 «Машины Тьюринга и вычислимые функции» определяются машины Тьюринга и функции, вычислимые на них. Устанавливается совпадение класса вычислимых функций с классом частично-рекурсивных функций. Вводятся понятия Р-сводимости и NP-полноты. Устанавливается существование NP-полных проблем.
Студентам, аспирантам и научным сотрудникам, специализирующимся в области дискретной математики и кибернетики.