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

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

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

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

Данное учебное пособие является продолжением учебного пособия «Дискретная математика», Ч. I (авторы: Б. М. Веретенников, В. И. Белоусова). Работа включает в себя следующие разделы дискретной математики: многочлены над конечными полями, коды, исправляющие ошибки и элементы теории графов. Предлагаются упражнения для самостоятельного решения. Пособие предназначено для...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Учебное пособие написано в соответствии с действующей программой по курсу дискретная математика для вузов и содержит основную теорию по разделам «Маршруты, цепи и циклы в графах», «Деревья», «Экстремальные пути на графах», «Потоки в сетях». Приведены примеры решения стандарт-ных задач, варианты типового расчета (6 частей по 30 вариантов), вопросы математических диктантов. Предназначено...

Учебное пособие написано в соответствии с действующей программой по курсу дискретная математика и содержит основную теорию по разделам «Маршруты, цепи и циклы в графах», «Деревья», «Экстремальные пути на графах», «Потоки в сетях». Приведены примеры решения стандартных задач, варианты типового расчета (6 частей по 30 вариантов), вопросы математических диктантов. Предназначено...