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

Пособие содержит учебно-методические разработки, предназначенные для выполнения лабораторных работ по следующим темам: принципы моделирования; моделирование систем с дискретным временем на основе событий; стохастические модели входных данных; анализ результатов моделирования. Учебно-методическое пособие «Методические рекомендации по выполнению лабораторных работ» предназначено...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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