Інфопакет

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

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

Перший

2023/2024

1 Семестр

7

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

Очна форма

1. Знати базові поняття загальної алгебри та елементарної математики. 2. Уміти ефективно застосовувати зазначений математичний апарат для розв’язання різноманітних практичних задач.

Предметом навчальної дисципліни «Дискретна математика» є виклад основних понять, моделей, результатів і методів сучасної дискретної (комп’ютерної) математики. Навчальна дисципліна розглядає такі розділи: елементи математичної логіки, теорія множин і відношень, комбінаторика, теорія графів, теорія булевих функцій, теорія автоматів. Викладається у 1 і 2 семестрах 1 курсу в обсязі – 210 год. 7 кредитів ECTS, зокрема: лекції – 56 год., практичні – 44 год., самостійна робота – 106 год, консультацій – 4 год. У курсі передбачено 4 контрольні роботи. Завершується дисципліна – іспитами у 1 і 2 семестрах.

1. Трохимчук Р.М., Нікітченко М.С. Дискретна математика у прикладах та задачах / Р. М. Трохимчук. – Навчальний посібник. – К.: ВПЦ ""Київ. ун-т"", 2017. – 248 с. 2. Трохимчук Р.М. Дискретна математика / Р. М. Трохимчук. – К.: Вид. дім "Персонал", 2010. 3. Трохимчук Р.М. Збірник задач і вправ з теорії множин i відношень: навч. посіб. / Р. М. Трохимчук. – К.: ВПЦ "Київ. ун-т", 2012. 4. Трохимчук Р.М. Булеві функції: навч. посіб. / Р. М. Трохимчук. – К.: ВПЦ "Київ. ун-т", 2001. 5. Трохимчук Р.М. Збірник задач з теорії булевих функції: навч. посіб. / Р. М. Трохимчук. – К.: ВПЦ "Київ. ун-т", 2002. 6. Карнаух Т.О., Ставровський А.Б. Вступ до дискретної математики / Карнаух Т.О. — К.: ВПЦ "Київський університет", 2006. 7. Карнаух Т.О. Комбінаторика / Карнаух Т.О. – К.: ВПЦ "Київський університет", 2011.

Лекція, практичні заняття, самостійна робота

Контрольна робота , поточне оцінювання , іспит

Українська