Дискретна математика (кніт, со)

Тип: Нормативний

Кафедра: дискретного аналізу та інтелектуальних систем

Навчальний план

СеместрКредитиЗвітність
14Іспит
24Іспит

Лекції

СеместрК-сть годинЛекторГрупа(и)
132професор Щербина Ю. М.ПМі-11, ПМі-12, ПМі-13, ПМі-14, ПМі-15, ПМо-11
232професор Щербина Ю. М.ПМі-11, ПМі-12, ПМі-13, ПМі-14, ПМі-15, ПМо-11

Лабораторні

СеместрК-сть годинГрупаВикладач(і)
132ПМі-11Прядко О. Я., Коковська Я. В.
ПМі-12Прядко О. Я., Старчак М. О.
ПМі-13Прядко О. Я., Старчак М. О.
ПМі-14Старчак М. О., Прядко О. Я.
ПМі-15Старчак М. О., Прядко О. Я.
ПМо-11Коковська Я. В.
232ПМі-11Старчак М. О., Прядко О. Я.
ПМі-12Старчак М. О., Прядко О. Я.
ПМі-13Коковська Я. В., Прядко О. Я.
ПМі-14Прядко О. Я., Старчак М. О.
ПМі-15Старчак М. О., Прядко О. Я.
ПМо-11Коковська Я. В.

Практичні

СеместрК-сть годинГрупаВикладач(і)
1

Опис курсу

Мета. Вивчення основних понять і методів дискретної математики та їх застосувань в інформатиці.

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

Завдання. Оволодіти основними теоретичними положеннями дискретної математики та їх застосуваннями в інформатиці.

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

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