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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

В пособии приводятся теоретические сведения, необходимые для выполнения домашних заданий по дисциплине «Дискретная математика» (раздел «Арифметические основы ЭВМ»). Оно содержит задание по представлению целых чисел и чисел с плавающей запятой в форматах, принятых в персональных ЭВМ и в ЭВМ общего назначения, а также задания по выполнению арифметических операций. Выполнение...

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