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

- пререквізит: Загальний курс математики для шкіл

Теорія множин. Квантори. Решітки. Основні поняття комбінаторного числення. Дискретні функції. Кодові послідовності. Відображення. Ізоморфізм. Дискретні алгебри. Несуперечливі системи. Теорія логічного висновку. Логічна інтерпретація. Теорія предикатів. Силогізми. Максимально сумісні і мінімально несумісні підмножини. Поняття суперечки, повноти, надлишковості, двоїстості. Нормальні форми. Слабо визначені дискретні функції. Модальна логіка. Відношення та властивості. Двійкове та негабінарне кодування. Теорія графів. Логіка і графи. Граматики і графи. Використання графів. Групи. Утворюючі елементи. Перестановки. Числові кільця. Неповторні коди. Функції Уолша. Дискретні автомати. Клітинні автомати.

- Ralph P.Grimaldi. Discrete and Combinatorial Mathematics. Boston/San Francisco/New York. – Addison Wesley, 2004.
- Капітонова Ю.В., Кривий С.Л., Летичевський О.А. Основи дискретної математики. Підручник. – К.: Наукова думка, 2002.– 580 с.
- Навчальні матеріали Львівської політехніки (Методички).

- Поточний контроль (75%): електронні звіти працюючих програм по виконаних завданнях з лабораторних робіт, виконана розрахункова робота, позитивні результати поточного комп’ютерного тестування
- Підсумковий контроль (25 %): залік.

• основи математичної логіки і теорії множин,
• елементи комбінаторного аналізу,
• основи теорії відношень,
• основи теорії графів та дерев,
• основи теорії кодування,
• булеві функції,
• мови, граматики та автомати,
• основи теорії алгоритмів,
• основи теорії кодування.

• Алгоритмізація та програмування, Чисельні методи, Теорія прийняття рішень, Об’єктно-орієнтоване програмування, Організація баз даних та знань, Інтелектуальний аналіз даних, Методи та системи штучного інтелекту.

Логіка та методи доведення. Множини та відношення. Елементи комбінаторного аналізу. Графи. Дерева. Булеві функції. Мови, граматики та автомати. Основи теорії алгоритмів. Основи теорії кодування. Комбінаторні задачі та складність обчислень.

• Нікольський Ю.В. Дискретна математика / Ю.В. Нікольський, В.В. Пасічник, Ю.М. Щербина. – Львів.: Видавництво "Магнолія-2006", 2011. – 432 с.
• Емеличев В.А. Лекции по теории графов / В.А.Емеличев, О.И.Мельников, В.И.Сарванов, Р.И.Тышкевич. – М., Наука. – 1990.
• Капітонова Ю.В. Основи дискретної математики / Ю.В. Капітонова, С.Л. Кривий, О.А. Летичевський, Г.М. Луцький, М.К. Печурін. – К.: Наукова думка, 2002. – 580 с.
• Кузнецов О.П. Дискретная математика для інженера / О.П.Кузнецов, Г.М.Адельсон-Вельский. – М.: Энергоатомиздат. – 1988.
• Липский В. Комбинаторика для программистов / В.Липский. – М.: Мир. – 1988.
• Яблонский С.В. Введение в дискретную математику: 2-е изд. / С.В.Яблонский. – М., Наука. – 1986.
• Гаврилов Г.П. Сборник задач по дискретной математике / Г.П. Гаврилов, А.А. Сапоженко. – М.: Наука. – 1977.

• Поточний контроль (45%): письмові звіти з лабораторних робіт, усне опитування
• Підсумковий контроль (55%, екзаменаційний контроль): тестування (45%), усна компонента (10%)