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