Основи дискретної математики (с.В. Сапунов)
1. Операції над множинами та їх властивості.
2. Поняття відносини. Властивості й види бінарних відносин.
3. Поняття функції. Сюр’єкція, ін'єкція, бієкция.
4. Основні поняття теорії графів. Дерева. Вершинні та реберні покриття.
5. Правильне розфарбування графа.
6. Елементи комбінаторики: комбінації, перестановки, розміщення. Властивості біноміальних коефіцієнтів.
7. Булеві функції. ДНФ, КНФ, поліном Жегалкина.
8. Функціональна повнота систем булевих функцій. Критерій Поста.
9. Мінімізація булевих функцій.
10. Скінченні автомати. Способи завдання автоматів.
Література:
1. Андерсон Д.А. Дискретная математика и комбинаторика. : Пер. с англ. – М.: Издательский дом «Вильямс», 2004. – 960 с.
2. Капітонова Ю.В., Кривий С.Л., Летичевський О.А., Луцький Г.М., Печорін М.К. Основи дискретної математики – К.: Наукова думка, 2002. – 581 с.
3. Судоплатов С.В., Овчинникова Е.В. Дискретная математика. – Инфра-М НГТУ, 2009. – 256 с.
4. Шоломов Л.А. Основы теории дискретных логических и вычислительных устройств. – М.: «Наука», 1980. – 400с.
- Програма іспиту з професійно-орієнтованих дисциплін кваліфікації «Бакалавр комп’ютерних наук» Організація баз даних та знань (в.А. Дьомін)
- Системи штучного інтелекту (а. І. Парамонов)
- Основи дискретної математики (с.В. Сапунов)
- Основи програмування та алгоритмічні мови(т.Г. Петренко)
- Об’єктно–орієнтоване програмування (т.Г. Петренко)
- Системний аналіз і проектування комп'ютерних інформаційних систем (а. І. Парамонов)
- Чисельні методи в інформатиці (в. К. Толстих)
- Моделювання систем (н. В. Румянцев)
- Технології інженерії знань (Гаркуша в.В)
- Вступ до internet та intranet технологій(в.В.Христіановський)