Электронная книга: Сергей Марченков «Основы теории булевых функций»
|
Книга содержит развернутое введение в теорию булевых функций. Изложены основные свойства булевых функций и доказан критерий функциональной полноты. Приведено описание всех замкнутых классов булевых функций (классов Поста) и дано новое доказательство их конечной порождаемости. Рассмотрено задание классов Поста в терминах некоторых стандартных предикатов. Изложены основы теории Галуа для классов Поста. Введены и исследованы два «сильных» оператора замыкания: параметрического и позитивного. Рассмотрены частичные булевы функции и доказан критерий функциональной полноты для класса частичных булевых функций. Исследована сложность реализации булевых функций схемами из функциональных элементов. Для студентов, аспирантов и преподавателей высшей школы, изучающих и преподающих дискретную математику и математическую кибернетику. Допущено УМО по классическому университетскому образованию в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлениям ВПО 010400 «Прикладная математика и информатика» и 010300 «Фундаментальная информатика и информационные технологии». Издательство: "Издательская фирма"Физико-математическая литература""
ISBN: 978-5-9221-1562-9 электронная книга Купить за 716 руб и скачать на Litres |
Другие книги автора:
| Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|
| Функциональные уравнения дискретной математики | В книге исследуются функциональные уравнения для классов булевых функций, функций многозначной логики… — Издательская фирма"Физико-математическая литература", электронная книга Подробнее... | электронная книга | ||
| Конечные автоматы | Брошюра знакомит читателя с простейшими вычислительными устройствами – конечными автоматами. Изучаются… — Издательская фирма"Физико-математическая литература", электронная книга Подробнее... | электронная книга |
См. также в других словарях:
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
Закревский, Аркадий Дмитриевич — В Википедии есть статьи о других людях с такой фамилией, см. Закревский. Аркадий Дмитриевич Закревский Дата рождения: 22 мая 1928(1928 05 22) (84 года) Место рождения: Ленинград, СССР Научная сфера: киберне … Википедия
Бибило, Пётр Николаевич — Пётр Николаевич Бибило Дата рождения: 7 июля 1953(1953 07 07) (59 лет) Место рождения: Белорусская ССР, СССР Страна … Википедия
Журавлёв, Юрий Иванович — В Википедии есть статьи о других людях с такой фамилией, см. Журавлёв. Юрий Иванович Журавлёв Российский учёный, математик, академик … Википедия
Список алгоритмов — Эта страница информационный список. Основная статья: Алгоритм Ниже приводится список алгоритмов, группированный по категориям. Более детальные сведения приводятся в списке структур данных и … Википедия
МНОЖЕСТВ ТЕОРИЯ — наивная учение о свойствах множеств, преимущественно бесконечных, элиминирующее свойства элементов, составляющих эти множества. . Понятие множества принадлежит к числу первоначальных математич. понятий и может быть пояснено только при помощи… … Математическая энциклопедия
