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

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

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

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

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

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

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