Дискретная математика и математическая логика

В книге с единых позиций рассматриваются функциональные системы с операцией суперпозиции и «традиционными» множествами функций - функций многозначной логики, функций натурального аргумента и автоматных функций. Основное содержание книги концентрируется вокруг двух взаимосвязанных тем: построение и анализ порождающих множеств и проблема полноты. Излагаются ставшие классическими...

Сборник продолжает (с 1988 г.) математическую направленность всемирно известной серии "Проблемы кибернетики". Представленные в выпуске работы охватывают широкий спектр проблем дискретной математики, математической логики, теории программирования, сложности и надежности управляющих систем, криптографии. Выпуск 11 - 2002 г. Для специалистов, аспирантов, студентов, интересующихся...

Первая в мировой литературе монография, содержащая описание нового метода классификации помеченных графов (древесная классификация) и основанного на ней нового метода исследования степенных рядов Систематически и последовательно излагается древесная классификация помеченных графов. Вводится понятийный аппарат этой классификации и исследуются свойства введенных математических...

Брошюра знакомит читателя с булевыми функциями - одним из важнейших классов дискретных функций. В ней излагаются основные понятия теории булевых функций, дказывается критерий функциональной полноты и рассматриваются вопросы сложности реализации булевых функций.Брошюра предназначна для школьников старших классов и студентов первых курсов.

Вводится новый вид представления баз данных, называемый информационно-графовой моделью данных, обобщающий известные ранее модели. Рассматриваются основные типы задач поиска информации в базах данных и исследуются проблемы сложности решения этих задач применительно к информационно-графовой модели. Разработан математический аппарат решения этих задач, основанный на методах...

Настоящий сборник продолжает серию «Труды по дискретной математике» и содержит 18 статей, посвященных различным вопросам дискретной математики, представляющим интерес для интенсивно развивающейся в последние десятилетия теоретической криптографии: свойствам дискретных алгебраических структур, рекуррентным последовательностям, системам случайных уравнений над конечными...

Рассматриваются разделы булевых функций, интенсивно развивающиеся в настоящее время: представления функций бинарными термами, бесповторными термами и полиноминальными формами. Все необходимые для чтения известные определения и утверждения приведены в вводной главе. Книга предназначена для научных работников и аспирантов. Она может также служить учебным пособием для...