Дискретна математика
Спеціальність: Видавництво та поліграфія
Код дисципліни: 6.186.00.O.018
Кількість кредитів: 4.00
Кафедра: Інформаційні технології видавничої справи
Лектор: ст.викладач Ковальчук Анатолій Михайлович
Семестр: 3 семестр
Форма навчання: денна
Результати навчання: - Засвоїти основи логічного мислення та теорії формальних систем;
- Знати принципи розв’язку довільних задач за допомогою комп’ютера;
- Вміти розкласти складну задачу на елементарні обчислювальні моделі;
- Вміти проаналізувати задачу засобами формального логічного мислення, та виявити суперечки, надлишковість та повноту.
Необхідні обов'язкові попередні та супутні навчальні дисципліни: - пререквізит: Загальний курс математики для шкіл
Короткий зміст навчальної програми: Теорія множин. Квантори. Решітки. Основні поняття комбінаторного числення. Дискретні функції. Кодові послідовності. Відображення. Ізоморфізм. Дискретні алгебри. Несуперечливі системи. Теорія логічного висновку. Логічна інтерпретація. Теорія предикатів. Силогізми. Максимально сумісні і мінімально несумісні підмножини. Поняття суперечки, повноти, надлишковості, двоїстості. Нормальні форми. Слабо визначені дискретні функції. Модальна логіка. Відношення та властивості. Двійкове та негабінарне кодування. Теорія графів. Логіка і графи. Граматики і графи. Використання графів. Групи. Утворюючі елементи. Перестановки. Числові кільця. Неповторні коди. Функції Уолша. Дискретні автомати. Клітинні автомати.
Методи та критерії оцінювання: - Поточний контроль (75%): електронні звіти працюючих програм по виконаних завданнях з лабораторних робіт, виконана розрахункова робота, позитивні результати поточного комп’ютерного тестування
- Підсумковий контроль (25 %): залік.
Рекомендована література: - Ralph P.Grimaldi. Discrete and Combinatorial Mathematics. Boston/San Francisco/New York. – Addison Wesley, 2004.
- Капітонова Ю.В., Кривий С.Л., Летичевський О.А. Основи дискретної математики. Підручник. – К.: Наукова думка, 2002.– 580 с.
- Навчальні матеріали Львівської політехніки (Методички).