- •1 Мета і задачі дисципліни
- •1.1 Мета викладання дисципліни
- •1.2 Програма знань і вмінь
- •1.3 Теми практичних занять
- •1.4 Система атестації
- •Без виконання усіх без винятку пунктів табл. 1.2 студент до іспиту допущений не буде. Оцінка виставляється, виходячи з табл. 1.3.
- •2 Огляд рекомендованої літератури
- •3.2 Методичні рекомендації до самостійної роботи студентів
- •3.3 Приклади розв’язання типових завдань
- •Контрольні запитання та завдання
- •3.5 Приклади аудиторних і домашніх задач
- •3 Практичне заняття № 1. Основні поняття теорії множин. Алгебра множин
- •3.1 Мета заняття
- •4 Практичне заняття № 2. Відношення та їх властивості
- •4.1 Мета заняття
- •4.2 Методичні рекомендації до самостійної роботи студентів
- •4.3 Приклади розв’язання типових завдань
- •4.4 Контрольні запитання та завдання
- •4.5 Приклади аудиторних і домашніх задач
- •5 Практичне заняття № 3. Відображення та функції
- •5.1 Мета заняття
- •5.2 Методичні рекомендації до самостійної роботи студентів
- •5.3 Приклади розв’язання типових завдань
- •5.4 Контрольні запитання та завдання
- •5.5 Приклади аудиторних і домашніх задач
- •6 Практичне заняття № 4. Булеві функції та алгебра логіки
- •6.1 Мета заняття
- •6.2 Методичні рекомендації до самостійної роботи студентів
- •6.3 Приклади розв’язання типових завдань
- •6.4 Контрольні запитання та завдання
- •6.5 Приклади аудиторних і домашніх задач
- •7 Практичне заняття № 5. Двоїстість булевих функцій
- •7.1 Мета заняття
- •7.2 Методичні рекомендації до самостійної роботи студентів
- •7.3 Приклади розв’язання типових завдань
- •7.4 Контрольні запитання та завдання
- •7.5 Приклади аудиторних і домашніх задач
- •8 Практичне заняття № 6. Нормальні форми
- •8.1 Мета заняття
- •8.2 Методичні рекомендації до самостійної роботи студентів
- •8.3 Приклади розв’язання типових завдань
- •8.4 Контрольні запитання та завдання
- •8.5 Приклади аудиторних і домашніх задач
- •9 Практичне заняття № 7. Алгебра жегалкіна
- •9.1 Мета заняття
- •9.2 Методичні рекомендації до самостійної роботи студентів
- •9.3 Приклади розв’язання типових завдань
- •9.4 Контрольні запитання та завдання
- •9.5 Приклади аудиторних і домашніх задач
- •10 Практичне заняття № 8. Функціональна повнота наборів булевих функцій
- •10.1 Мета заняття
- •10.2 Методичні рекомендації до самостійної роботи студентів
- •10.3 Приклади розв’язання типових завдань
- •10.4 Контрольні запитання та завдання
- •10.5 Приклади аудиторних і домашніх задач
- •11 Практичне заняття № 9 методи мінімізації булевих функцій
- •11.1 Мета заняття
- •11.2 Методичні рекомендації до самостійної роботи студентів
- •11.3 Приклади розв’язання типових завдань
- •11.4 Контрольні запитання та завдання
- •11.5 Приклади аудиторних і домашніх задач
- •12 Практичне заняття № 10. Логіка висловлювань
- •12.1 Мета заняття
- •12.2 Методичні рекомендації до самостійної роботи студентів
- •12.3 Приклади розв’язання типових завдань
- •12.4 Контрольні запитання та завдання
- •12.5 Приклади аудиторних і домашніх задач
- •13 Практичне заняття № 11. Логіка першого порядку (лпп)
- •13.1 Мета заняття
- •13.2 Методичні рекомендації до самостійної роботи студентів
- •13.3 Приклади розв’язання типових завдань
- •13.4 Контрольні запитання та завдання
- •13.5 Приклади аудиторних і домашніх задач
- •14 Практичне заняття № 12. Основні поняття теорії графів
- •14.1 Мета заняття
- •14.2 Методичні рекомендації до самостійної роботи студентів
- •14.3 Приклади розв’язання типових завдань
- •15 Практичне заняття № 13. Ейлерові і гамільтонові ланцюги і цикли
- •15.3 Приклади розв’язання типових завдань
- •15.4 Контрольні запитання та завдання
- •15.5 Приклади аудиторних і домашніх задач
- •16 Практичне заняття № 14. Планарність графів
- •16.1 Мета заняття
- •16.2 Методичні рекомендації до самостійної роботи студентів
- •16.3 Приклади розв’язання типових завдань
- •16.4 Контрольні запитання та завдання
- •16.5 Приклади аудиторних і домашніх задач
- •17 Практичне заняття № 15. Відстані на графах
- •17.1 Мета заняття
- •17.2 Методичні рекомендації до самостійної роботи студентів
- •17.3 Приклади розв’язання типових завдань
- •17.4 Контрольні запитання та завдання
- •17.5 Приклади аудиторних і домашніх задач
- •18 Практичне заняття № 16. Дерева
- •18.1 Мета заняття
- •18.2 Методичні рекомендації до самостійної роботи студентів
- •18.3 Приклади розв’язання типових завдань
- •19 Практичне заняття № 17. Транспортні мережі
- •19.1 Мета заняття
- •19.2 Методичні рекомендації до самостійної роботи студентів
- •19.3 Приклади розв’язання типових завдань
- •18.4 Контрольні запитання
- •18.5 Приклади аудиторних і домашніх задач
- •19.4 Контрольні запитання та завдання
- •19.5 Приклади аудиторних і домашніх задач
- •20 Практичне заняття № 18. Основи комбінаторного аналізу
- •20.1 Мета заняття
- •20.2 Методичні рекомендації до самостійної роботи студентів
- •20.3 Приклади розв’язання типових завдань
- •20.4 Контрольні запитання та завдання
- •20.5 Приклади аудиторних і домашніх задач
- •21 Практичне заняття № 19. Формули простого перелічення
- •21.1 Мета заняття
- •21.2 Методичні рекомендації до самостійної роботи студентів
- •21.3 Приклади розв’язання типових завдань
- •21.4 Контрольні запитання та завдання
- •21.5 Приклади аудиторних і домашніх задач
- •22 Практичне заняття № 20. Формула включення та виключення
- •22.1 Мета заняття
- •22.2 Методичні рекомендації до самостійної роботи студентів
- •22.3 Приклади розв’язання типових завдань
- •22.4 Контрольні запитання та завдання
- •22.5 Приклади аудиторних і домашніх задач
- •23 Індивідуальні контрольні завдання
- •Завдання 9. У табл. 23.7 ребрам (Vj, Vk) неорієнтованого графа, що задані номерами вершин j та k, вiдповiдає числова характеристика (довжина, вартість).
- •Рекомендована література
Рекомендована література
1. Комп’ютерна дискретна математика: Підручник / Бондаренко М.Ф., Білоус Н.В., Руткас А.Г. – Харків: «Компанія СМІТ», 2004. – 480 с.
2. Компьютерная дискретная математика: Учебник / Бондаренко М.Ф., Белоус Н.В., Руткас А.Г. – Харьков: «Компания СМИТ», 2004. – 480 с.
3. Горбатов В.А. Основы дискретной математики. – М.: Высш. шк., 1986. – 312 с.
4. Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика для инженера. – М.: Энергия, 1980. – 342 с.
5. Яблонский С.В. Введение в дискретную математику. – М.: Изд-во МГУ, 1982. – 120 с.
6. Сигорский В.П. Математический аппарат инженера. – Киев: Техника, 1977. – 766 с.
7. Глускин Л.М., Шварц В.Я., Шор Л.А. Задачи и алгоритмы комбинаторики и теории графов. – Донецк: Изд-во ДПИ, 1982. – 110с.
8. Харари Ф. Теория графов. — М: Свет, 1973. – 298 с.
9. Тевяшев А.Д., Гусарова И.Г. Основы дискретной математики в примерах и задачах. — Харьков: ХНУРЭ, 2001. – 272 с.
10. Виленкин Н.Я. Комбинаторика. – М.: Наука, 1969. – 328 с.
11. Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику. – М.: Изд-во МГУ, 1982. – 120 с.
12. Бардачев Ю.Н., Соколова Н.А., Ходаков В.Е. Основы дискретной математики. – Херсон, Издательство ХГТУ, 2000. – 356 с.
13. Уилсон Р. Введение в теорию графов. – М.: Мир, 1977. – 205 с.
14. Оре О. Теория графов. 1-е изд. – М.: Наука, главная редакция физико-математической литературы, 1980. – 408 с.
15. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. 2-е изд. – М.: Наука, 1984. – 223с.
16. Основы кибернетики. Теория кибернетических систем / Под ред. К.А. Пупкова.: Учеб. пособие для студентов вузов спец. „Прикладная математика” и „Автоматизированные системы управления”. – М.: Высшая школа, 1976. – 408 с.
17. Белоус Н.В., Гетьманова Е.Е., Дударь З.В., Захарченко В.Ф., Красноголовец М.А., Лесная Н.С., Семенец В.В., Стороженко В.А., Харьковская А.А. Тесты. Физика. Математическая логика. – Харьков: ХТУРЕ, 1998. – 152 с.