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

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

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

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

Первые два автора известны советскому читателю по переводу из книги «Машинный подход к решению математических задач» (М.: Мир, 1977), написанной совместно с Дж. Фарраром. В данной книге предпринята попытка систематизации комбинаторных алгоритмов, выявления их общих черт и закономерностей. Подробно рассматриваются конкретные задачи использования комбинаторных алгоритмов, в частности очень важная для программирования задача сортировки данных. Каждая глава сопровождается достаточно подробной исторической справкой и большим числом упражнений. Книга будет полезна математикам-прикладникам, аспирантам и студентам, имеющим дело с задачами дискретной математики.

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