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