знати:
- роль та місце дискретної математики в типових задачах спеціальності;
- загальний математичний апарат та засоби дискретного аналізу;
- математичний апарат теорії графів;
- математичний апарат теорії автоматів;
- математичний апарат теорії множин;
- математичний апарат теорії граматик;
- основи теорії алгоритмів;
- сучасні засоби програмування дискретного аналізу на базі обчислювальної техніки.

вміти:
- формулювати прикладні проблеми у вигляді моделей дискретного аналізу;
- застосовувати методи дискретного аналізу для розв’язання цих проблем;
- досліджувати властивості моделей дискретного аналізу;
- описувати формально синтаксис мов;
- конструювати алгоритми розв’язування прикладних задач;
- аналізувати результати розв’язування цих задач.

1.Алгоритмізація та програмування ч.1
1. Математичний аналіз
2. Програмування комп’ютерної графіки
2. Теорія інформації та кодування

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

1. Нікольський Ю.В., Пасічник В.В., Щербина Ю.М. Дискретна математика. – Львів.: Видавництво "Магнолія-2006", 2011. – 432 с.
2. Капітонова Д. В., Кривий С. Л., Летичевський О. А. Основи дискретної математики // Підручник / НАН України. МОН України – К. : Наукова думка, 2002. – 579 с..
3. С.В.Яблонский. Введение в дискретную математику. 2-е изд. М., Наука, 1986.
4. В.Липский. Комбинаторика для программистов. М.: Мир, 1988.

Перевірка виконання практичних завдань і контрольних робіт, екзамен.
Максимальна оцінка в балах:
1. Виконання практичних завдань і контрольних робіт (40 балів)
2. Екзамен письмова компонента (50 балів), усна компонента (10 балів).
Разом за дисципліну – 100 балів.