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

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

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

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

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

Изложены решения задач теории графов. Даны описания основных алгоритмов на графах и тексты более 30 программ. Приведены алгоритмы теории искусственного интеллекта (муравьиный алгоритм и метод отжига) для решения задачи коммивояжера. Предметно-именной указатель на 500 терминов и имен может служить справочником по теории графов и командам Maple. Книга предназначена как...

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

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

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

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

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

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

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

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

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