Дискретна математика Матвієнко М.П.

У підручнику послідовно розкриті базові теми дисципліни згідно галузевого стандарту вищої освіти України з напряму підготовки 6.0500101, шифр навчальної дисципліни 2.02. Багато питань із розглянутих у підручнику недостатньо висвітлені у сучасній навчальній літературі даного напряму. Зокрема це стосується методів доведення властивостей бінарних відношень, досліджень властивостей і повноти логічних функцій, методів доведення у логіці висловлювань і предикатах, операцій над графами і самих графів, перетворення автоматів із одного виду в інший, методів їх структурного синтезу.

Підручник науково і методично покращений у викладенні і засвоєнні матеріалу розділів теорії відношень, алгебраїчних структур, математичної логіки й алгебри Буля, теорії нечітких множин і, особливо, теорії автоматів. У нього додатково уведені розділи «мови та граматики», «основи теорії алгоритмів», «основи теорії кодування», «основи теорії захисту інформації», які являється як невід’ємною частиною для вивчення указаних вище базових напрямів, так дають математичні основи для розуміння і розробки інтелектуальих систем, ключів захисту і шифрування інформації. Усе це вмісті взяте дає можливість стверджувати, що даний підручник є дискретною математикою двадцать першого століття.

Значна увага у підручнику приділена термінологічній базі дисципліни за рахунок уніфікованого підходу до формування системи визначень, доведень і системи позначень. Усі визначення супроводжено ілюстрованими прикладами. Кожний розділ закінчується набором ретельно підібраних контрольних запитань та задач для самостійного розв’язування. Практичний матеріал є значним за обсягом і становить близько 30% загального матеріалу підручника. Це контрольні запитання для закріплення і поглиблення розуміння теоретичних положень, і задачі для самостійного розв’язування, направлені для їх практичного застосування, що дає можливість поліпшити організацію самостійної роботи студентів.