Інфопакет

Дискретна математика

ОК 4

Обов’язкова дисципліна для ОП

Перший

2023/2024

1 Семестр

4

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

Очна форма

Попередні вимоги до дисципліни відсутні.

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

1. Плескач В.Л., Бичков О.С. та ін. Дискретна математика. ВПЦ КНУ, 2021. 90 с. 2. Базилевич Л. Є. Дискретна математика у прикладах і задачах : теорія множин, математична логіка, комбінаторика, теорія графів. Математичний практикум. Львів, 2013. 486 с. 3. Бардачов Ю.М., Соколова Н.А., Ходаков В.Є. Дискретна математика. Київ, Вища школа, 2002. 287 с. 4. Бондаренко М.Ф., Білоус Н.В., Руткас А.Г. Комп’ютерна дискретна математика: Підручник. Харків. Компанія СМІТ”, 2004. 480 с. 5. Журавчак Л.М. Дискретна математика для програмістів: навч. посіб. Львів: Львівська політехніка, 2019. 420 с. 6. Трохимчук Р.М. Дискретна математика: навч. посіб. для студ. ЗВО. Київ: Вид. дім «Професіонал», 2010. 528 c. 7. Бондарчук Ю. В., Олійник Б. В. Основи дискретної математики. Київ: Видавничий дім «Києво-Могилянська Академія», 2009.160 с. 8. Андрійчук В. І. , Комарницький М. Я. , Іщук Ю. Б. Вступ до дискретної математики. Львів. нац. ун-т ім. І.Франка. Львів, 2003. 254 c.

Лекції, практичні заняття, індивідуальні завдання, самостійна робота

Умовою отримання позитивної результуючої оцінки за дисципліну є досягнення не менш як 60% від максимально можливої кількості балів – 60 балів. Підсумкову кількість балів із дисципліни (максимум 100 балів) визначають як суму балів за систематичну роботу впродовж семестру з урахуванням двох модульних контрольних робіт і захисту 13 практичних робіт. Максимальна кількість балів, які можуть бути отримані студентом на іспиті – 40 балів. Для отримання позитивної підсумкової оцінки студент має отримати на іспиті не менше 24 балів (60% від максимально можливої кількості балів). Студента допускають до іспиту за умови успішного виконання протягом семестру 2 контрольних робіт і всіх передбачених планом практичних робіт,що у підсумку має складати не менше рекомендованого мінімуму у 36 балів (60% від максимально можливої кількості балів, які студент може отримати за роботу в семестрі).

Українська