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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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