- •1. Нормативні дані з дисципліни
- •Затверджено на засіданні кафедри іус.
- •Затверджено на засіданні кафедри ст.
- •2 Мета і завдання дисципліни
- •3. Перелік забезпечуючих дисциплін
- •4. Тематичний план
- •4.2 Практичні заняття
- •4.3. Самостійна робота студента
- •4.4. Рейтингова оцінка за дисципліною
- •Навчально-методичні матеріали з дисципліни
4.2 Практичні заняття
Номер зміст. модулю |
Но-мер з/п |
Назва розділу або теми |
Обсяг, год. |
Рей-тингова оцінка |
Літературні джерела |
1.1, 1.2 |
1 |
Множини. Алгебра множин. |
4 |
3-5 |
1-4, 6-9, 13, 14-16, 19-21 |
2.1, 2.2 |
2 |
Відношення та операції над ними. |
4 |
4-7 |
1-4, 6-9, 13, 14-16, 19-21 |
2.3 |
3 |
Функціональні відношення. |
2 |
3-5 |
1-4, 18, 19, 20 |
4.1.1 |
4 |
Булеві функції та перетворення. |
2 |
3-5 |
1-8, 13-21 |
4.1.2 |
5 |
Нормальні форми зображення булевих функцій. |
2 |
3-5 |
1-8, 13-21 |
4.1.3 |
6 |
Мінімізація булевих функцій. |
2 |
3-5 |
1-8, 13-21 |
4.1.4, 4.1.5 |
7 |
Функціональна повнота наборів булевих функцій. |
2 |
3-5 |
1-7, 14 |
4.2 |
8 |
Логіка та обчислення висловлень. |
2 |
3-6 |
1-8, 13-21 |
4.3 |
9 |
Логіка та обчислення предикатів. |
2 |
4-6 |
1-8, 13-21 |
5.2-5.4 |
10 |
Основні правила комбінаторики. Моделі комбінаторних конфігурацій. |
2 |
3-5 |
1,2,4,6, 7-21 |
5.5 |
11 |
Урнові схеми вирішення комбінаторних задач |
2 |
4-6 |
1,2,4,6, 7-21 |
6.1, 6.2 |
12 |
Способи задання графів. Операції над графами. |
4 |
4-6 |
1,2,4,6-8, 11, 16, 19, 21 |
7.4, 7.5 |
13 |
Зв'язність графів. Ейлерові та гамільтонові графи. |
2 |
3-5 |
1,2,4,6-8, 11, 16, 19, 21 |
7.8 |
14 |
Дерева. Алгоритми побудови остовного дерева. |
2 |
3-5 |
1,2,4,6-8, 11, 16, 19, 21 |
7.11.1, 7.11.2 |
15 |
Відшукання найкоротших відстаней між вершинами графа (мережі) |
2 |
4-6 |
1,2,4,6-8, 11, 16, 19, 20 |
7.11.3 |
16 |
Задачі про максимальну течію і максимальний розріз у мережі. |
4 |
4-7 |
1,2,4,6-8, 11, 16, 19, 20 |
|
|
Загальна кількість годин |
40 |
54-89 |
|
4.3. Самостійна робота студента
Номер зміст. модулю
|
Форми самостійної роботи |
Обсяг, годин |
Вид контролю |
Літерат. джерела |
1,2,4,5,7 |
Вивчення лекційного матеріалу |
22 |
Усн. опит, експрес-контр. |
1-21 |
1,2,4,5,7 |
Підготовка до практичних занять |
40 |
Усн. опит, експрес-контр. |
1-21 |
4 |
Підготовка до позааудиторної (домашньої) контрольної роботи |
4 |
Позааудит. КР |
1-7, 14 |
7 |
Підготовка до аудиторної контрольної роботи |
2 |
Ауд. КР |
1,2,4,6-8, 11, 16, 19, 21 |
|
Теми для самостійного вивчення: |
16 |
|
|
1.2 |
Історія зародження, розвитку і становлення дискретної математики. Внесок вчених у її розвиток. |
0,5 |
Усн. опит. |
1, 4 |
3.1 |
Алгебраїчні операції та їх властивості. Унарна, бінарна, n-арна операція. Способи записів операцій. Основні властивості операцій. Операції додавання та множення за модулем. |
0,5 |
Усн. опит, експрес-контр., іспит |
1, 4, 19 |
3.2 |
Поняття алгебраїчної структури Підструктура. Морфізми (гомоморфізм, ізоморфізм). Найпростіші алгебраїчні структури. Кільці і поля. Гратки. |
1 |
Усн. опит, експрес-контр., іспит |
1, 4, 19 |
4.1.6
|
Логічні схеми. Синтез комбінаційних схем. Перемикальні ланцюги; двох- і багатоступінчасті комбінаційні схеми. |
0,5 |
Усн. опит, іспит |
1-8, 13-16, 18-19 |
4.4 |
Багатозначна логіка. Основні поняття і функції k-значної логіки. |
0,5 |
Усн.опит., іспит |
1-8, 13-16, 18-19 |
5.1 |
Історія розвитку комбінаторіки. Класичні задачі комбінаторного аналізу. Сучасні задачі, які вирішуються комбінаторними методами. |
0,5 |
Усн. опит, експрес-контр., іспит |
1,2,4,7,9,11, 17, 1-21 |
5.3
|
Властивості сполучень. Біном Ньютона. Біноміальні коефіцієнти. Трикутник Паскаля. Поліноміальна теорема. |
0,5 |
Усн. опит, експрес-контр., іспит |
1, 4, 7, 19 |
5.6.1 |
Метод продуктивних функцій. Продуктивні функції сполучень. Продуктивні функції розміщень та перестановок. Продуктивні функції для розбиття чисел. |
1 |
Усн. опит., іспит |
1,2,4,6,7,8,19 |
5.6.2 |
Метод рекурентних співвідношень. Числа Фібоначчі. |
0,5 |
Усн.опит. |
1,2,4,6,7,8,19 |
6 |
Основи теорії кодування. Алфавітне кодування. Кодування з мінімальною надлишковістю. Алгоритм Фано. Алгоритм Хаффмена. Завадостійке кодування. Стиснення даних. Криптографія. |
2 |
Усн. опит., іспит |
14 |
7.1 |
Зародження теорії графів як математичної дисципліни. Типові задачі теорії графів. |
0,5 |
Усн. опит., іспит |
1,2,4,6-8, 11, 16, 19, 20, 21 |
7.7 |
Задача комівояжера. Приклади практичних задач, що зводяться до задачі комівояжера. |
1 |
Усн. опит, експрес-контр. |
1,2,4,6-8, 11, 16, 19, 20 |
7.11.2 |
Алгоритми Флойда і Данцига пошуку найкоротших шляхів між всіма парами вершин графа |
1 |
Усн.опит, експрес-контр., іспит |
1,2,4,6-8, 11, 16, 19, 20 |
8 |
Елементи теорії формальних граматик. Задачі формалізації мов та перекладу. Задання мов за допомогою граматик. Типи граматик. |
3 |
Усн. опит., іспит |
1 |
9 |
Елементи теорії скінчених автоматів. Загальна характеристика автоматів. Розпізнавачі. Скінченні автомати. Способи задання автоматів. Автомати Мили і Мура. Автомати з магазинною пам’яттю. Машина Тьюринга. |
3 |
Усн. опит., іспит |
1, 4, 7 |
Усього годин |
84 |
|
|