2-е дополненное издание. — Москва: Техносфера, 2005. — 400 с. — ISBN 5-94836-016-4.
В доступной и весьма увлекательной форме автор рассказывает о фундаментальных понятиях дискретной математики - о логике, множествах, графах, отношениях и булевых функциях. Теория изложена кратко и иллюстрируется многочисленными простыми примерами, что делает её доступной даже школьнику.
Книга будет полезна студентам, изучающим курс дискретной математики, а также всем желающим проникнуть в технику написания и проверки корректности алгоритмов, включая программистов-практиков.
Основополагающее введение в дискретную математику, без знания которой невозможно успешно заниматься информатикой и программированием. После каждой главы (начиная со второй) рассматривается приложение описанных методов к информатике.
Дополнения в издании на русском языке посвящены актуальным задачам теории графов, рекурсивным алгоритмам, общей проблеме перебора и задачам целочисленного программирования.
Указатель обозначений.
Предисловие.
Введение.
Логика и доказательство.
Теория множеств.
Отношения.
Функции.
Комбинаторика.
Графы.
Ориентированные графы.
Булева алгебра.
Решения упражнений.
Дополнение к первому изданию.
Дополнение ко второму изданию.
Литература.
Предметный указатель.