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