МІНІСТЕРСТВО ОСВІТИ І НАУКИ УКРАЇНИ

НАЦІОНАЛЬНИЙ УНІВЕРСИТЕТ «ЛЬВІВСЬКА ПОЛІТЕХНІКА»

Інститут комп’ютерних технологій, автоматики та метрології

/назва навчально-наукового інституту/

Кафедра комп’ютеризованих систем автоматики

/назва /

«ЗАТВЕРДЖУЮ»

Голова НМК спеціальності 122

Комп’ютерні науки
/шифр і назва /
_______________/ Марікуца У.Б. /
/підпис/ /ініціали та прізвище /
Протокол від
«____»_______________ 2022 року
№____________

РОБОЧА ПРОГРАМА НАВЧАЛЬНОЇ ДИСЦИПЛІНИ

Дискретна математика
/код і назва навчальної дисципліни/
перший
/рівень вищої освіти/
вид дисципліни обов’язкова
(обов’язкова / за вибором)
мова викладання українська

освітня програма Системна інженерія (Інтернет речей)

/шифр і назва/
спеціальність 122 Комп’ютерні науки
/шифр і назва/
галузь знань 12 Інформаційні технології
/шифр і назва/

Львів – 2022 рік

1
Робоча програма з навчальної дисципліни Дискретна математика для здобувачів
/назва /
освіти за освітньою програмою Системна інженерія (Інтернет речей)

Розробники:

доцент, к.т.н., доцент __________________ / У.Ю. Дзелендзяк /

/посада, науковий ступінь та вчене звання/ /підпис/ /ініціали та прізвище/

Гарант освітньої програми / /

/підпис/ /ініціали та прізвище/

Робоча програма розглянута та схвалена на засіданні кафедри комп’ютеризованих

систем автоматики

Протокол від 16 серпня 2022 року № 1

2
 1. Структура навчальної дисципліни

Всього годин
Найменування показників Денна Заочна
форма форма
навчання навчання
Кількість кредитів/год. 6/180
Усього годин аудиторної роботи, у т.ч.: 90
• лекційні заняття, год. 45
• семінарські заняття, год. -
• практичні заняття, год. 45
• лабораторні заняття, год. -
Усього годин самостійної роботи, у т.ч.: 90
• контрольні роботи, к-сть/год. -
• розрахункові (розрахунково-графічні) роботи, к-сть/год. 1/18
• індивідуальне науково-дослідне завдання, к-сть/год. -
• підготовка до навчальних занять та контрольних заходів,
72
год.
Екзамен +
Залік -

Частка аудиторного навчального часу студента у відсотковому вимірі:

• денної форми навчання – 50%

2. Мета та завдання навчальної дисципліни

2.1. Мета вивчення навчальної дисципліни та результати навчання

Метою викладання дисципліни є формування, разом з іншими дисциплінами
математичного циклу, математичного фундаменту бакалавра з комп’ютерних наук,
спроможного застосувати та розвинути отримані знання для ідентифікації, формулювання і
вирішення технічних задач спеціальності.
2.2. Завдання навчальної дисципліни відповідно до освітньої програми
Вивчення навчальної дисципліни передбачає формування у студентів необхідних
компетентностей:
інтегральна компетентність (ІНТ):
Здатність розв’язувати складні спеціалізовані задачі та практичні проблеми у галузі
комп’ютерних наук або у процесі навчання, що передбачає застосування теорій та методів
інформаційних технологій і характеризується комплексністю та невизначеністю умов.
загальні компетентності:
ЗК1. Здатність до абстрактного мислення, аналізу та синтезу.
ЗК2. Здатність застосовувати знання у практичних ситуаціях.
ЗК3. Знання та розуміння предметної області та розуміння професійної діяльності.
ЗК7. Здатність до пошуку, оброблення та аналізу інформації з різних джерел.

3
 фахові компетентності:
ФК1. Здатність до математичного формулювання та досліджування неперервних та
дискретних математичних моделей, обґрунтовування вибору методів і підходів для
розв’язування теоретичних і прикладних задач у галузі комп’ютерних наук, аналізу та
інтерпретування.

2.3. Результати навчання відповідно до освітньої програми, методи

навчання і викладання, методи оцінювання досягнення результатів навчання
У результаті вивчення навчальної дисципліни здобувач освіти повинен бути здатним
продемонструвати такі результати навчання:
знати: роль та місце дискретної математики в типових задачах спеціальності; загальний
математичний апарат та засоби дискретного аналізу; математичний апарат теорії графів;
математичний апарат теорії автоматів; математичний апарат теорії множин; математичний
апарат теорії граматик; основи теорії алгоритмів; сучасні засоби програмування дискретного
аналізу на базі обчислювальної техніки.
вміти: формулювати прикладні проблеми у вигляді моделей дискретного аналізу;
застосовувати методи дискретного аналізу для розв’язання цих проблем; досліджувати
властивості моделей дискретного аналізу; описувати формально синтаксис мов;
конструювати алгоритми розв’язування прикладних задач; аналізувати результати
розв’язування цих задач.
У результаті вивчення навчальної дисципліни здобувач освіти повинен бути здатним
продемонструвати такі програмні результати навчання:
Методи оцінювання
Методи навчання і
Результати навчання рівнів досягнення
викладання
результатів навчання
ПР2. Використовувати сучасний Практичні заняття – Поточний контроль –
математичний апарат неперервного інформаційно- виконання та захист
та дискретного аналізу, лінійної рецептивний метод, практичних робіт,
алгебри, аналітичної геометрії в репродуктивний метод; розрахункової роботи,
професійній діяльності для самостійна робота – виконаних за
розв’язання задач теоретичного та репродуктивний метод, індивідуальним
прикладного характеру в процесі частково-пошуковий завданням із
проектування та реалізації об’єктів метод, дослідницький застосуванням мов
інформатизації. метод. програмування С++,
Python, Java.

2.4. Перелік попередніх та супутніх і наступних навчальних дисциплін

№ Попередні Супутні і наступні

з/п навчальні дисципліни навчальні дисципліни
1. Алгебра і геометрія Організація баз даних та знань
2. Алгоритми і структури даних + КР

3. Анотація навчальної дисципліни

Навчальна дисципліна СК6 Дискретна математика включена до циклу дисциплін

загальної підготовки за переліком освітньо-професійної програми бакалавра за
спеціальністю 122 Комп’ютерні науки спеціалізації Системна інженерія (Інтернет речей)). У
структурно-логiчнiй схемі навчання зазначена дисципліна розміщена на І-му курсі.
У процесі навчання студенти розробляють моделі дискретного аналізу для реальних
задач, застосовуючи для цього методи дискретного аналізу, а також досліджують властивості

4
цих моделей, вчаться описувати формально синтаксис мов; конструювати алгоритми
розв’язування прикладних задач та аналізувати їх результати. Реалізація алгоритмів для
розв’язування прикладних задач проводиться у програмних середовищах С++, Python, Java.

4. Опис навчальної дисципліни

4.1. Лекційні заняття

№ Кількість годин
Назви тем
з/п ДФН ЗФН
Множини. Операції над множинами. Інтуїтивне означення
1.1. множини. Способи задання множин. Парадокс Рассела. 2
Універсум. Підмножини. Операції над множинами.
Відношення. Декартовий добуток. Відношення. Способи
1.2. задання відношень. Властивості відношень. Алгоритм 2
Уоршелла.
Відображення і функції. Функціональні відношення. Типи
2.1 відображень. Властивості відображень. Композиція 2
відображень.
Відношення еквівалентності та порядку. Відношення
еквівалентності. Матриця та граф відношення еквівалентності.
2.2. Відношення порядку. Вагові функції та відношення 3
квазіпорядку. Структура впорядкованих множин. Повністю
впорядкована множина.
Потужність множин. Визначення потужності. Кардинальні
2.3. числа. Зліченні множини. Незліченні множини. Континуум- 2
гіпотеза.
Алгебри. Композиція об’єктів. Означення алгебри. Замкнення.
3.1. 2
Властивості операцій. Гомоморфізм та ізоморфізм алгебр.
Типи алгебр. Початкові означення. Алгебри з однією 2
3.2.
операцією. Група підстановок. Алгебри з двома операціями.
Ґратки. Основні означення. Ґратки як алгебри. Дистрибутивні 2
3.3.
та модулярні ґратки. Булеві ґратки.
Математична логіка. Булеві функції. Булеві функції двох
3.4. змінних. Булевий простір. Властивості функцій алгебри логіки. 2
Реалізація булевих функцій формулами. Рівносильні формули.
Принцип двоїстості. Нормальні форми. Проблема
розв’язуваності. Розвинення булевої функції за змінними. 2
3.5.
Диз’юнктивні нормальні форми. Кон’юнктивні нормальні
форми. Властивості досконалих форм.
Мінімальні диз’юнктивні та кон’юнктивні нормальні
форми. Індекс простоти. Скорочена форма. Метод Квайна
3.6. утворення скороченої диз’юнктивної нормальної форми. 2
Тупикові нормальні форми. Метод мінімізаційних карт
(діаграми Карно-Вейча).
Повні системи функцій. Алгебра Жегалкіна. Властивості
3.7. булевих функцій. Функціонально замкнуті класи булевих 2
функцій. Набори повних систем.
3.8. Нечіткі множини. Характеристики нечітких множин. Методи 2
побудови функцій приналежності нечітких множин. Операції
над нечіткими множинами. Властивості операцій над нечіткими

5
 множинами.
Формальні системи. Логіка висловлювань. Логічне слідування.
4.1. Тавтології. Формальні системи та аксіоматичний підхід. 2
Властивості формальних теорій.
Числення висловлювань. Теорема дедукції. Приклади
виведень у теорії L. Інші формалізації логіки висловлювань. 2
4.2.
Модельні властивості теорії L. Інші методи перевірки тотожної
істинності формул логіки висловлювань.
Логіка першого порядку. Поняття предикату. Квантори. Терми
та формули. Інтерпретації формул логіки першого порядку. 2
4.3.
Властивості формул логіки першого порядку. Перевірка
загальнозначущості формул логіки першого порядку.
Числення предикатів. Формальна теорія K. Прикладні теорії 2
4.4.
першого порядку. Модельні властивості числення K.
Комбінаторні задачі. Правила суми та добутку. Розміщення, 1
4.5.
сполучення та перестановки. Схема визначення виду комбінації.
Біноміальні коефіцієнти. Розбиття. Біном Ньютона.
Поліноміальна теорема. Задача про цілочислові розв’язки. 2
4.6.
Принцип включення-виключення. Розбиття. Числа Стірлінга
другого роду та числа Белла.
Алгоритми комбінаторики. Генерування перестановок. 1
4.7.
Генерування сполучень. Генерування розбиттів множини.
Граматики. Формальні породжувальні граматики Типи граматик 2
4.8.
(ієрархія Хомскі).
Скінченні автомати. Скінченні автомати з виходом. Скінченні 2
4.9.
автомати без виходу. Подання мов.
Усього годин 45

4.2. Практичні заняття

№ Кількість годин
Назви тем
з/п ДФН ЗФН
1. Множини. Операції над множинами. 2
Відношення. Способи задання відношень. Властивості 4
2.
відношень.
3. Функціональні відношення. 4
4. Типи відображень. Властивості відображень. 4
5. Потужність множин. 2
Булеві функції двох змінних. Реалізація булевих функцій 4
6.
формулами. Рівносильні формули.
Нормальні форми. Мінімальні диз’юнктивні та кон’юнктивні 8
6.
нормальні форми.
7 Комбінаторні задачі. Біноміальні коефіцієнти. 3
8. Розбиття. Алгоритми комбінаторики. 4
Усього годин 45

4.3. Самостійна робота

6
 Кількість годин
№ Найменування робіт
ДФН ЗФН
з/п
1. Розрахунково-графічна робота 18
Вивчення теоретичного курсу та підготовка до поточного
2. 20
контролю.
3. Підготовка до практичних занять та контрольних заходів. 32
4. Підготовка до екзамену. 20
Усього годин 90

5. Опис методів оцінювання рівня досягнення результатів навчання

1. Опитування на практичних заняттях.
2. Розрахунково-графічна робота.
3. Екзамен.

6. Критерії оцінювання результатів навчання студентів

Розподіл балів у 100-бальній шкалі

Разом за
Поточний контроль (ПК) Екзаменаційний контроль
дисципліну
Практичні заняття Разом письмова усна
(вказуються різні форми поточного контролю за ПК компонента компонента
та максимальні бали за виконані завдання) 40 45 15 100

7. Навчально-методичне забезпечення

1. Конспект лекцій.
2. Методичні вказівки до проведення лабораторних робіт.
3. Кривий С.Л. Збірник задач з дискретної математики: навч. посіб для студентів ВНЗ. –
Київ; Чернівці: Букрек, 2018. - 455 с.

8. Рекомендована література

Базова

1. Нікольський Ю.В., Пасічник В.В., Щербина Ю.М. Дискретна математика. – Львів.:

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

Допоміжна

1. Коцовський В.М. Основи дискретної математики: навчальний посібник. Ужгород: ПП

«АУТДОР- ШАРК», 2020. - 128 с.
2. Матвієнко М.П. Дискретна математика: навч. посібник. Ліра-К, 2014. – 348 с.
3. В.Липский. Комбинаторика для программистов. М.: Мир, 1988.

7
4. Новицький І.В., Ус. С.А. Дискретна математика в прикладах і задачах: навчальний
посібник. – Д. :Національний гірничий університет, 2013. – 89 с.

9. Інформаційні ресурси

1. ВНС «Дискретна математика».

2. Спеціальні розділи математики – 1. Дискретна математика. Методичні вказівки до
організації самостійної роботи студентів (СРС). Ч.1. [Електронне видання] / Уклад.:
С.Ф.Теленик, Я.Ю. Дорогий – К.: НТУУ «КПІ», 2012. – 104 с.
3. Спеціальні розділи математики – 1. Дискретна математика. Методичні вказівки до
організації самостійної роботи студентів (СРС). Ч.2. [Електронне видання] / Уклад.:
С.Ф.Теленик, Я.Ю. Дорогий – К.: НТУУ «КПІ», 2012. – 160 с.

10. Політика щодо академічної доброчесності

Політика щодо академічної доброчесності учасників освітнього процесу формується на

основі дотримання принципів академічної доброчесності з урахуванням норм «Положення
про академічну доброчесність у Національному університеті «Львівська політехніка»
(затверджене вченою радою університету від 20.06.2017 р., протокол №35).

11. УНІФІКОВАНИЙ ДОДАТОК

Національний університет «Львівська політехніка» забезпечує реалізацію права осіб з
особливими освітніми потребами на здобуття вищої освіти. Інклюзивні освітні послуги надає
Служба доступності до можливостей навчання «Без обмежень», метою діяльності якої є
забезпечення постійного індивідуального супроводу навчального процесу здобувачів освіти з
інвалідністю та хронічними захворюваннями. Важливим інструментом імплементації
інклюзивної освітньої політики в Університеті є Програма підвищення кваліфікації науково-
педагогічних працівників та навчально-допоміжного персоналу у сфері соціальної інклюзії
та інклюзивної освіти. Звертатися за адресою:
вул. Карпінського, 2/4, І-й н.к., кім.112.
E-mail: nolimits@lp.edu.ua
Веб-сайт: https://lpnu.ua/integration

12. Зміни та доповнення до робочої програми навчальної дисципліни

№ Дата і № протоколу
Зміст внесених змін (доповнень) Примітки
з/п засідання кафедри
1
…
N

8
9