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

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

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

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

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

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

Целью курса является представление учебного материала по дисциплине «дискретная математика». Электронный курс дает возможность овладеть математическим аппаратом дискретной математики, который может быть использован студентами в профессиональной деятельности. Электронный курс состоит из рабочей учебной программы, конспекта лекций, списка литературы, рекомендуемой для...

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

Брошюра издана по материалам лекций по криптографии, прочитанных на факультете мировой политики МГУ им.М.В.Ломоносова. Основное внимание уделяется прикладным задачам, решаемым с помощью математических методов криптографии. Доступно рассказывается о том, что такое шифрование, криптографические протоколы, о роли криптографии в массовых информационных коммуникациях. Первое...

Данное учебно-методическое пособие предназначено для поддержки курса «Дискретная математика», читаемого на факультете прикладной математики и кибернетики Томского государственного университета. В пособии рассмотрены основные понятия теории булевых функций и функциональной полноты систем булевых функций. Каждый из разделов пособия сопровождается примерами и упражнениями....

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

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

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

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

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

Настоящая книга посвящена различным аспектам задачи о системах общих представителей в комбинаторике. Рассказывается о многочисленных приложениях в комбинаторной геометрии, геометрии чисел, математической статистике и др. Книга написана по лекциям, которые ее автор читал в 2007 году на школе «Современная математика» в Дубне. Поэтому материал в ней изложен так, чтобы...

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

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

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

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

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