У підручнику в логічній послідовності викладено основні поняття та методи дискретної математики. Окрім таких розділів, як теорія множин і математична логіка, теорія графів, основи теорії кодування, теорія булевих функцій, теорія алгоритмів та формальних мов, які традиційно входять до базового курсу дисципліни, розглянуто також основи теорії складності обчислень та деякі застосування дискретної математики у штучному інтелекті. За змістом та обсягом підручник відповідає навчальним планам дисципліни «Дискретна математикам для студентів базових напрямів «Комп'ютерні науки», «Комп'ютеризовані системи, автоматика та управління», «Комп'ютерна інженерія» та «Прикладна математикам.
Стислий зміст
Передмова
Розділ 1. Основи: логіка та методи доведення, множини
Розділ 2. Комбінаторний аналіз
Розділ 3. Теорія графів
Розділ 4, Дерева та їх застосування
Розділ 5. Відношення
Розділ 6. Основи теорії кодування
Розділ 7. Булеві функції
Розділ 8. Мови, граматики й автомати
Розділ 9. Основи теорії алгоритмів
Розділ 10. Комбінаторні задачі та складність обчислень
Эта книга, автором которой является опытный преподаватель информатики, представляет собой один из лучших учебников, посвященных алгоритмам. Делая основной упор на понимание идей, а не на механическое рассмотрение работы того или иного алгоритма, автор излагает ключевые принципы и методы разработки алгоритмов так, что они могут быть применены как универсальный инструментарий для широкого диапазона задач, а не только для разработки алгоритмов. Несмотря на отсутствие громоздких математических доказательств, в книге выдержана достаточная математическая строгость.
Книга "Методы и алгоритмы вычислений на строках" описывает фундаментальные алгоритмы лежащие в основе построения эффективных вычислительных паттернов(шаблонов) над строковыми последовательностями. Это общие алгоритмы и методы, которые находят применение во многих областях науки и информационных технологий: сжатие данных, криптография, распознавание речи и компьютерное зрение, вычислительная геометрия и молекулярная биология.