Книга: Марченков Сергей Серафимович «Основы теории булевых функций»

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

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

Издательство: "Физматлит" (2014)

ISBN: 978-5-9221-1562-9

Купить за 615 руб в Лабиринте

Другие книги автора:

КнигаОписаниеГодЦенаТип книги
Рекурсивные функцииБрошюра знакомит читателя с алгоритмически вычислимыми функциями натурального аргумента - рекурсивными функциями. Вначале изучается простейший тип рекурсивных функций - примитивно рекурсивные… — Физматлит, Подробнее...2007360бумажная книга
Конечные автоматыБрошюра знакомит читателя с простейшими вычислительными устройствами - конечными автоматами. Изучаются автоматы-распознаватели (автоматы без выхода) и автоматы-преобразователи (автоматы с выходом). С… — Физматлит, Подробнее...2008342бумажная книга
Функциональные уравнения дискретной математикиВ книге исследуются функциональные уравнения для классов булевых функций, функций многозначной логики, функций счетнозначной логики и функций автоматного типа. Основная решаемая проблема … — Физматлит, Подробнее...2013381бумажная книга
Классы элементарных рекурсивных функцийВ книге представлены основные классы "элементарных" рекурсивных функций, изучаемых в теории рекурсивных функций. Приведены различные определения исследуемых классов, установлены соотношения включения… — Физматлит, Подробнее...2017501бумажная книга
Классы элементарных рекурсивных функцийВ книге представлены основные классы`элементарных` рекурсивных функций, изучаемых в теории рекурсивных функций. Приведены различные определения исследуемых классов, установлены соотношения включения… — Физматлит, Подробнее...2016371бумажная книга
Рекурсивные функцииБрошюра знакомит читателя с алгоритмически вычислимыми функциями натурального аргумента - рекурсивными функциями. Вначале изучается простейший тип рекурсивных функций - примитивно рекурсивные… — ФИЗМАТЛИТ, (формат: 60x90/16, 64 стр.) Mrs. Hartwells classroom adventures Подробнее...2007459бумажная книга
Функциональные уравнения дискретной математикиВ книге исследуются функциональные уравнения для классов булевых функций, функций многозначной логики, функций счетнозначной логики и функций автоматного типа. Основная решаемая проблема … — Физматлит, (формат: 60x90/16, 60 стр.) Подробнее...2013488бумажная книга
Конечные автоматыБрошюра знакомит читателя с простейшими вычислительными устройствами - конечными автоматами. Изучаются автоматы-распознаватели (автоматы без выхода) и автоматы-преобразователи (автоматы с выходом). С… — ФИЗМАТЛИТ, (формат: 60x90/16, 56 стр.) Популярные лекции по математике Подробнее...2008392бумажная книга
Основы теории булевых функций. Учебное пособие. Гриф УМО по классическому университетскому образованиюКнига содержит развернутое введение в теорию булевых функций. Изложены основные свойства булевых функций и доказан критерий функциональной полноты. Приведено описание всех замкнутых классов булевых… — Физматлит, (формат: 60x90/16, 136 стр.) Подробнее...2014340бумажная книга

См. также в других словарях:

  • АЛГЕБРА ЛОГИКИ —         система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… …   Философская энциклопедия

  • Закревский, Аркадий Дмитриевич — В Википедии есть статьи о других людях с такой фамилией, см. Закревский. Аркадий Дмитриевич Закревский Дата рождения: 22 мая 1928(1928 05 22) (84 года) Место рождения: Ленинград, СССР Научная сфера: киберне …   Википедия

  • Бибило, Пётр Николаевич — Пётр Николаевич Бибило Дата рождения: 7 июля 1953(1953 07 07) (59 лет) Место рождения: Белорусская ССР, СССР Страна …   Википедия

  • Журавлёв, Юрий Иванович — В Википедии есть статьи о других людях с такой фамилией, см. Журавлёв. Юрий Иванович Журавлёв Российский учёный, математик, академик …   Википедия

  • Список алгоритмов — Эта страница информационный список. Основная статья: Алгоритм Ниже приводится список алгоритмов, группированный по категориям. Более детальные сведения приводятся в списке структур данных и …   Википедия

  • МНОЖЕСТВ ТЕОРИЯ — наивная учение о свойствах множеств, преимущественно бесконечных, элиминирующее свойства элементов, составляющих эти множества. . Понятие множества принадлежит к числу первоначальных математич. понятий и может быть пояснено только при помощи… …   Математическая энциклопедия

  • ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… …   Философская энциклопедия

  • АЛГОРИТМ —         [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… …   Философская энциклопедия

  • ПОНЯТИЕ — общее имя с относительно ясным содержанием и сравнительно четко очерченным объемом. П. являются, напр., «химический элемент», «закон», «сила тяготения», «астрономия», «поэзия» и т.п. Отчетливой границы между теми именами, которые можно назвать П …   Философская энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»