Обсяг дисципліни 7,5 кредитів ECTS,

лекцій 56 годин, практичних занять 40 год., лабораторних занять 24 год., форма контролю комбінований іспит.

1. В рамках дисципліни розглядаються:

–       основи теорії множин, функції та відношення;

–       булєва алгебра, використання булєвих функцій в програмуванні;

–       комбінаторні підходи до розв’язання задач  та генерація комбінаторних об’єктів;

–       методи теорії графів та реалізація різноманітних алгоритмів за допомогою комп’ютера;

–       основи теорії чисел та її практичне використання;

–       основи теорії кінцевих автоматів.

2. Метою опанування дисципліни студентами спеціальності 122 «Комп’ютерні науки» спеціалізації «Інформатика» є вивчення методів та алгоритмів дискретної математики та реалізація різних методів дискретної математики за допомогою комп’ютера.

3. Після опанування дисципліни студенти здобути наступні професійні компетенції:

– вміти розв’язувати різні математичні задачі з дискретної математики;

– вміти реалізовувати елементи булєвої алгебри, комбінаторики, теорії графів та теорії чисел за допомогою комп’ютера;

– вміти інтерпретувати виникаючі загальні задачі з різноманітних обчислень через методи та алгоритми дискретної математики.

4. Набуті компетенції можливо використовувати в різноманітних сферах, зокрема для розв’язання задач розрахунку найкоротших шляхів та знаходження максимального навантаження в транспортних мережах.

5. Фундаментальна математична дисципліна, яка не потребує додаткових (забезпечуючих) знань та вивчається на першому курсі.