Метою викладання дисципліни є формування здібностей до логічного, комбінаторного та системного мислення, отримання базових знань бакалавра з математичної логіки та теорії алгоритмів, отримання здібностей до матенматичного формулювання задач аналізу дискретних систем та їх проектування, формування здібностей до опанування наступних дисциплін навчального плану спеціальності і новиїх теоретичних підходів у майбутньому при підвищенні своєї кваліфікації у відпровідності дофаху.
Завданнями вивчення дисципліни є отримання знань з таких напрямків теорії дискретних систем: математична логіка, логіка висловлювань, логіка предикатів, формальні аксіоматичні теорії і формальні системи, числення висловлювань і числення предикатів, теорія алгоритмів, машини Т’юринга і Поста, рекурсивні функції та обчислювальність, основи теорії обчислювальної складності алгоритмів.
Згідно з вимогами освітньо-професійної програми студенти повинні:
знати :
-
изначення та властивості математичного об’єкту-«алгоритм»;
-
основні типи алгоритмічних моделей: машини Тьюрінга, рекурсивні функії та нормальні алгоритми;
-
поняття алгоритмічно нерозв'язної задачі;
-
принципи побудови формальної теорії;
-
метатеорія логічних числень. Поняття числення висловлювань та числення предикатів;
-
формальні системи та алгоритми. Системи підстановок. Системи продукцій Поста;
-
визначення булевої функції. Основні тотожності алгебри логіки;
-
поняття функціональної повноти наборів булевих функцій;
-
визначення алгебри Жегалкина;
-
методи мінімізації булевих функцій
вміти:
-
розробляти алгоритми засобами визначеної алгоритмічної моделі;
-
застосовувати аксіоми числення висловлювань та числення предикатів;
-
застосовувати основні тотожності булевої алгебри;
-
визначати функціональну повноту наборів булевих функцій;
-
будувати багаточлен Жегалкина, ДДНФ, ДКНФ;
-
застосовувати методи мінімізації булевих функцій;
-
будувати комбінаційні схеми.
Викладач дисципліни: Терещенко Еліна Валентинівна, доцент кафедри системного аналіза та обчислювальної математики
Найменування показників |
Галузь знань, напрям підготовки, освітній ступень |
Характеристика навчальної дисципліни |
---|
денна форма навчання |
заочна форма навчання |
---|
Кількість кредитів – 4 |
Галузь знань: 0403 – Системні науки і кібернетика |
нормативна |
Напрям підготовки: 6.040303 – Системний аналіз |
Змістових модулів – 3 |
Кваліфікація (професійне спрямування): 6.040303 – Системний аналіз |
Рік підготовки: |
3-й |
3-й |
Індивідуальне науково-дослідне завдання – |
Семестр |
Загальна кількість годин – 120 |
7-й |
7-й |
Лекції |
Тижневих годин для денної форми навчання: аудиторних – 4
самостійної роботи студента – 7.25 |
Освітньо-кваліфікаційний рівень: бакалавр |
32 год. |
|
Практичні, семінарські |
32год. |
|
Лабораторні |
0 год. |
|
Самостійна робота |
116 год. |
|
Індивідуальні завдання: 12 год. |
Вид контролю: іспит |
Розподіл балів, які отримують студенти
Приклад для іспиту
Поточне тестування та самостійна робота |
Сума |
Змістовий модуль 1 |
Змістовий модуль 2 |
Змістовий модуль 3 |
Т1 |
Т2 |
Т3 |
Т4 |
Т1 |
Т2 |
Т3 |
Т4 |
Т1 |
Т2 |
Т3 |
Т4 |
100 |
3 |
9 |
9 |
9 |
9 |
9 |
9 |
8 |
8 |
9 |
9 |
9 |