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

    Учебник основан на лекционном курсе, который автор уже в течение четырнадцати лет читает студентам кафедры “Прикладная математика” Санкт-Петербургского государственного технического университета. Это наложило определенный отпечаток на состав и подачу материала. Книга ориентирована автором на студентов программистских специальностей и практикующих программистов, имеющих дело с конструированием и анализом нетривиальных алгоритмов.

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

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

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

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