Булевы функции

Брошюра знакомит читателя с простейшими вычислительными устройствами - конечными автоматами. Изучаются автоматы-распознаватели (автоматы без выхода) и автоматы-преобразователи (автоматы с выходом). С различных точек зрения характеризуются конечно-автоматные множества - множества, распознаваемые конечными автоматами. Рассматриваются некоторые обобщения конечных автоматов. Решается важная задача о расшифровке конечных автоматов. Исследуются функции, реализуемые автоматами с выходом. Вводится...

Брошюра знакомит читателя с алгоритмически вычислимыми функциями натурального аргумента - рекурсивными функциями. Вначале изучается простейший тип рекурсивных функций - примитивно рекурсивные функции. Затем происходит расширение круга вычислимых функций: рассматриваются частично определенные вычислимые функции, а также всюду определенные вычислимые функции, не являющиеся примитивно рекурсивными. В заключение определяются абстрактные вычислительные устройства - машины Тьюринга, и класс функций,...

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

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

Книга содержит развернутое введение в теорию булевых функций. Изложены основные свойства булевых функций и доказан критерий функциональной полноты. Приведено описание всех замкнутых классов булевых функций (классов Поста) и дано новое доказательство их конечной порождаемости. Рассмотрено задание классов Поста в терминах некоторых стандартных предикатов. Изложены основы теории Галуа для классов Поста. Введены и исследованы два "сильных" оператора замыкания: параметрического и позитивного....

Учебное пособие написано на основе курсов "Дополнительные главы дискретной математики" и "Функциональные системы", которые автор на протяжении ряда лет читал на факультете вычислительной математики и кибернетики МГУ. Пособие состоит из 6 глав, дополненных задачами и упражнениями. Глава 1 "Множества, отношения, функции" служит теоретико-множественной и алгебраической основой при изучении последующих глав книги. Глава 2 "Замкнутые классы булевых функций" содержит общие факты по булевым функциям, а...