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

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

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

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

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

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

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

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

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

Доп. Мин. обр. и науки РФ в кач. уч. пос. для студентов ВУЗов, обуч. по напр. и специальности "Прикладная математика и информатика". Представлено пять тем: теория множеств, булева алгебра логики, теория конечных автоматов, комбинаторика и теория графов. Из теории множеств освещены темы: алгебра множеств, бинарные отношения, бесконечные множества, теория нечетких множеств....

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

Учебное пособие содержит 10 лекций по курсу «Логика». В 8 лекциях представлен материал по традиционной логике, в последних двух лекциях — по математической логике. Лекционный материал представлен в табличном виде: левая часть таблицы содержит, как правило, теоретические сведения, в правой части приводятся поясняющие примеры. Материал иллюстрируется большим количеством...

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

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

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

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