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

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

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

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

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

Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам предмета относятся: основы теории множеств, пропозициональная логика и язык предикатов, аксиоматические теории и теория вычислимости. Значительное место занимают изложение...

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

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

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

В сборнике отражено содержание пяти разделов дискретной математики, таких как теория множеств, булева алгебра логики, теория конечных автоматов, комбинаторика и теория графов, изложенных в учебном пособии Ю. П. Шевелева «Дискретная математика» (СПб.: Изд-во «Лань», 2008). Для данного сборника это пособие является базовым. Однако базовым может быть и любое другое учебное...

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

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

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

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

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

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

Сборник продолжает (с 1988 г.) математическую направленность всемирно известной серии «Проблемы кибернетики». Представленные в сборнике работы охватывают широкий спектр проблем дискретной математики, математической логики, синтеза и сложности управляющих систем. Выпуск 18 — 2013 г. Для специалистов, аспирантов, студентов, интересующихся современным состоянием математической...

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

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

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

Учебно-методическое пособие по дисциплине «Дискретная матема-тика» разработано в соответствии с рабочей программой по дисциплине «Дискретная математика», составленной на основе Федерального государ-ственного образовательного стандарта по специальности среднего профес-сионального образования. Учебно-методическое пособие предназначено для студентов среднего профессионального...