Дискретная математика с элементами математической логики - все книги по дисциплине. Издательство Лань

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

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

Пособие включает все основные разделы курса дискретной математики. Изложение носит достаточно полный и строгий характер. Наиболее важные разделы курса, такие как математическая логика, комбинаторные схемы, теория графов и теория кодирования дополнены специальными разделами—представление абстрактных объектов, сортировка и поиск, двоичные деревья сравнений, сбалансированные деревья сравнений (АВЛ-деревья), хеширование, порождение комбинаторных объектов, теория коммутативных групп, элементы теории целых чисел. Увеличение объема материала позволило уточнить суть рассматриваемых вопросов, а также связать в единое целое основные разделы курса. Большое внимание уделяется построению формальных алгоритмов практического решения многочисленных задач компьютерного моделирования. Книгу можно рассматривать в качестве справочника методов и алгоритмов дискретной математики, широко применяемых в практическом программировании. Реализация алгоритмов представлена на языках Pascal и С++.
Пособие предназначено для студентов специальностей, учебные планы которых предполагают изучение курса дискретной математики, в первую очередь для студентов специальности «Прикладная математика и информатика» и студентов технических специальностей, а также программистов, занятых разработкой прикладного программного обеспечения. Книга будет полезна преподавателям, аспирантам и научным работникам, применяющим методы дискретной математики в прикладных задачах.

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

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

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

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