Мета курсу – опанування значного обсягу математичних фактів та застосування їх для подальшого вивчення фахових дисциплін, строге викладення теоретичних положень, формулювання алгоритмів розв'язування дискретних задач. Основні розділи, що вивчатимуться: основи теорії множин і комбінаторний аналіз, основи математичної логіки, теорія графів, відношення, основи теорії формальних граматик і автоматів, моделі обчислень, моделі кодування, застосування теорії автоматів і графів у комп'ютерних інформаційних технологіях, методи пошуку доведення теорем у логіці предикатів.
- Викладач: Чмир Оксана Юріївна