Автор: Марченков Сергей Серафимович
Редактор: Ворошилова Е. И.
Издательство: Физматлит, 2014 г.
Жанр: Информатика
- Выпускающий редактор: Фрухтгартен Юлий Терентьевич
- Дизайн: Кайтмазов Касьян Федосеевич
- Корректор: Заиров Евсей Евстигнеевич
- Страниц: 641
- Формат: fb2, pdf,txt
Описание "Основы теории булевых функций"
Книга содержит развернутое введение в теорию булевых функций. Изложены основные свойства булевых функций и доказан критерий функциональной полноты. Приведено описание всех замкнутых классов булевых функций (классов Поста) и дано новое доказательство их конечной порождаемости. Рассмотрено задание классов Поста в терминах некоторых стандартных предикатов. Изложены основы теории Галуа для классов Поста. Введены и исследованы два "сильных" оператора замыкания: параметрического и позитивного. Рассмотрены частичные булевы функции и доказан критерий функциональной полноты для класса частичных булевых функций. Исследована сложность реализации булевых функций схемами из функциональных элементов.
Для студентов, аспирантов и преподавателей высшей школы, изучающих и преподающих дискретную математику и математическую кибернетику.
Допущено УМО по классическому университетскому образованию в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлениям ВПО 010400 "Прикладная математика и информатика" и 010300 "Фундаментальная информатика и информационные технологии".
Читать книгу онлайн Основы теории булевых функций Сергей Марченков.
Скачать файлообменник на выбор:
|
