У підручнику викладено основні поняття та методи дискретної математики. Окрім таких розділів, як математична логіка, теорія множин, комбінаторний аналіз, теорія графів, теорія кодів, теорія алгоритмів та формальних мов, які традиційно входять в основний курс дискретної математики, розглянуто теорію складності обчислень та деякі застосування дискретної математики в штучному інтелекті. Підручник містить базові знання з теорії розмитих систем. Матеріал супроводжується багатьма докладно розібраними прикладами, у кінці кожного розділу є збірник задач для самостійного розв'язування та список комп'ютерних проектів для індивідуальних завдань. Розрахований на бакалаврів, спеціалістів і магістрів. Ним можуть скористатись аспіранти та викладачі вищих навчальних закладів, де викладається навчальний предмет Дискретна математика', а також спеціальні курси, пов'язані з опрацюванням інформації Зміст Передмова 8 Розділ 1. Математична логіка 12 1.1. Логіка висловлювань 12 1.2. Закони логіки висловлювань 20 1.