Дискретная математика для программистов, Хаггарти Р., 2012

Дискретная математика для программистов, Хаггарти Р., 2012.

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





Предисловие.

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

Содержание.

Указатель обозначений.
Предисловие.
Глава 1. Введение.
Глава 2. Логика и доказательство.
Глава 3. Теория множеств.
Глава 4. Отношения.
Глава 5. Функции.
Глава 6. Комбинаторика.
Глава 7. Графы.
Глава 8. Ориентированные графы.
Глава 9. Булева алгебра.
Решения упражнении.
Дополнение к первому изданию.
Дополнение ко второму изданию.
Литература.
Предметный указатель.

Купить .





Теги: Хаггарти :: 2012 :: математика :: программист