Книга содержит развернутое введение в теорию булевых функций. Изложены основные свойства булевых функций и доказан критерий функциональной полноты. Приведено описание всех замкнутых классов булевых функций (классов Поста) и дано новое доказательство их конечной порождаемости. Рассмотрено задание классов Поста в терминах некоторых стандартных предикатов. Изложены основы теории Галуа для классов Поста. Введены и исследованы два "сильных" оператора замыкания: параметрического и позитивного. Рассмотрены частичные булевы функции и доказан критерий функциональной полноты для класса частичных булевых функций. Исследована сложность реализации булевых функций схемами из функциональных элементов.
Для студентов, аспирантов и преподавателей высшей школы, изучающих и преподающих дискретную математику и математическую кибернетику.
Допущено УМО по классическому университетскому образованию в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлениям ВПО 010400 "Прикладная математика и информатика" и 010300 "Фундаментальная информатика и информационные технологии".
Чтобы оставить свою оценку и/или комментарий, Вам нужно войти под своей учетной записью или зарегистрироваться
Пока никто не оставил впечатление о книге...
Пока никто не оставил цитат из этой книги...
Автор | Келлехер Д., Тьерни Б., Тирни Б., Келлехер Джон ,Тирни Брендан |
Жанр | Информатика, Информационные технологии |
Год | 2020 |
Автор | Иван Жуков |
Жанр | Информатика, Информационные технологии |
Год | 2020 |
Автор | Кирилл Егерев |
Жанр | Информатика, Информационные технологии |
Год | 2020 |
Автор | Алан Тьюринг |
Жанр | Информатика, Информационные технологии |
Год | 2018 |
Автор | Чарльз Петцольд |
Жанр | Информатика, Информационные технологии |
Год | 2021 |
Автор | А. Г. Семенов, Семенов Алексей Львович, Рудченко Т. А, Рудченко Т. |
Жанр | Информатика, Информационные технологии |
Год | 2023 |