Оценки пользователей:
37%
63%
180
312

Описание Основы теории булевых функций

Книга содержит развернутое введение в теорию булевых функций. Изложены основные свойства булевых функций и доказан критерий функциональной полноты. Приведено описание всех замкнутых классов булевых функций (классов Поста) и дано новое доказательство их конечной порождаемости. Рассмотрено задание классов Поста в терминах некоторых стандартных предикатов. Изложены основы теории Галуа для классов Поста. Введены и исследованы два «сильных» оператора замыкания: параметрического и позитивного. Рассмотрены частичные булевы функции и доказан критерий функциональной полноты для класса частичных булевых функций. Исследована сложность реализации булевых функций схемами из функциональных элементов. Для студентов, аспирантов и преподавателей высшей школы, изучающих и преподающих дискретную математику и математическую кибернетику. Допущено УМО по классическому университетскому образованию в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлениям ВПО 010400 «Прикладная математика и информатика» и 010300 «Фундаментальная информатика и информационные технологии».

Рекомендуем к прочтению

Информационные технологии управления. Учебное пособие - Владимир Савельевич Провалов
Информационные технологии управления. Учебное пособие
Владимир Савельевич Провалов
Подготовка кадров на факультете ВМК МГУ им. М. В. Ломоносова - Е. И. Моисеев
Подготовка кадров на факультете ВМК МГУ им. М. В. Ломоносова
Е. И. Моисеев
Первый выпуск информатиков-экономистов в Санкт-Петербургском государственном университете - А. В. Юрков
Первый выпуск информатиков-экономистов в Санкт-Петербургском государственном университете
А. В. Юрков
Люди и кибернетика - Н. Н. Моисеев
Люди и кибернетика
Н. Н. Моисеев
Инновационная сложность - Коллектив авторов
Инновационная сложность
Коллектив авторов
Прикладная информатика №5 (59) 2015 - Группа авторов
Прикладная информатика №5 (59) 2015
Группа авторов
Математические вопросы кибернетики. Выпуск 17 - Коллектив авторов
Математические вопросы кибернетики. Выпуск 17
Коллектив авторов
Оптимальные, экстремальные, адаптивные, кибернетические системы управления - В. Н. Евсюков
Оптимальные, экстремальные, адаптивные, кибернетические системы управления
В. Н. Евсюков