Дискретна математика

У підручнику послідовно розкриті базові теми дисципліни згідно галузевого стандарту вищої освіти України з напряму підготовки 6.0500101, шифр навчальної дисципліни 2.02. Багато питань із розглянутих у підручнику недостатньо висвітлені у сучасній навчальній літературі даного напряму. Зокрема це стосується методів доведення властивостей бінарних відношень, досліджень властивостей і повноти логічних функцій, методів доведення у логіці висловлювань і предикатах, операцій над графами і самих графів, перетворення автоматів із одного виду в інший, методів їх структурного синтезу. Підручник науково і методично покращений у викладенні і засвоєнні матеріалу розділів теорії відношень, алгебраїчних структур, математичної логіки й алгебри Буля, теорії нечітких множин і, особливо, теорії автоматів. У нього додатково уведені розділи «мови та граматики», «основи теорії алгоритмів», «основи теорії кодування», «основи теорії захисту інформації», які являється як невід’ємною частиною для вивчення указаних вище базових напрямів, так дають математичні основи для розуміння і розробки інтелектуальих систем, ключів захисту і шифрування інформації. Усе це вмісті взяте дає можливість стверджувати, що даний підручник є дискретною математикою двадцать першого століття. Значна увага у підручнику приділена термінологічній базі дисципліни за рахунок уніфікованого підходу до формування системи визначень, доведень і системи позначень. Усі визначення супроводжено ілюстрованими прикладами. Кожний розділ закінчується набором ретельно підібраних контрольних запитань та задач для самостійного розв’язування. Практичний матеріал є значним за обсягом і становить близько 30% загального матеріалу підручника. Це контрольні запитання для закріплення і поглиблення розуміння теоретичних положень, і задачі для самостійного розв’язування, направлені для їх практичного застосування, що дає можливість поліпшити організацію самостійної роботи студентів. У підручнику зібрано як загальновідомий матеріал, який уже став класикою дискретної математики, так і розроблений останніми роками, а також частково подано новий матеріал. Підручник розрахований у першу чергу на студентів, а також читачів, які бажають вивчити математичні методи й моделі для використання їх в інформаційних та комп’ютерних системах, природничих науках і комп’ютерних технологіях та системах автоматичного й автоматизованого управління. Від читача вимагається знання в обсязі середньої школи, а уся подальша «математична техніка» здобувається у процесі роботи з книгою та запропонованими у ній вправами, що робить підручник привабливим для практичних застосувань і є доброю основою для майбутніх курсів із сучасних комп’ютерних та інформаційних технологій. Структура книги, яка складається із 15 розділів, їх перелік та наповнення легко убачається із змісту. Вибір та викладання розділів дискретної математики у книзі виконано, ураховуючи вимоги фундаментальної освіти з комп’ютерних наук, інформаційних технологій, сучасних інженерних та соціально-економічних напрямів з високим рівнем автоматизації та комп’ютеризації. Підручник призначено для студентів спеціальностей вищих навчальних закладів III і VI рівнів акредитації базових напрямів «Комп’ютерні науки», «Інформатика», «Комп’ютерні системи, автоматика та управління», «Комп’ютерна інженерія», «Автаматизо-вані та комп’ютерно-інтегровані технології», «Системний аналіз» та «Прикладна математика», а також аспірантів та спеціалістів, які використовують відповідні математичні і комп’ютерні методи. Деякі розділи підручника можуть бути використані студентами відповідних середніх технічних учбових закладів та коледжів.