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

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

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

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

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

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

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

Данное учебное пособие представляет материал лекций по дискретной математике. Соответствующая дисциплина является частью учебных планов направлениям подготовки «Информатика и вычислительная техника» и «Программная инженерия», обучение по которым осуществляется в Саратовском государственном техническом университете имени Ю. А. Гагарина в Институте прикладных информационных...

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

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

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

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

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

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

Учебное пособие посвящено логико-алгебраическим основам дискретной математики. Содержит краткое и вместе с тем доступное для начинающих изложение элементов математической логики, основных алгебраических структур, важнейших понятий комбинаторики, теории графов, упорядоченных множеств и решеток. Пособие предназначено для студентов, изучающих курс «Дискретная математика»,...

Учебное пособие посвящено логико-алгебраическим основам дискретной математики. Содержит краткое и вместе с тем доступное для начинающих изложение элементов математической логики, основных алгебраических структур, важнейших понятий комбинаторики, теории графов, упорядоченных множеств и решеток. Пособие предназначено для студентов, изучающих курс «Дискретная математика»,...

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

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

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

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

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