DELETE_Математична логіка та теорія алгоритмів

Програма вивчення нормативної навчальної дисципліни “ Математична логіка та теорія алгоритмів ” складена відповідно до освітньо-професійної програми підготовки бакалаврів спеціальності124 “Системний аналіз”.

Предметом вивчення навчальної дисципліни є математичний об’єкт «алгоритм» та математична логіка.

Міждисциплінарні зв’язки:

Курс “ Математична логіка та теорія алгоритмів ” є логічним продовженням курсу "Дискретна математика" і створює базу для вивчення спеціальних курсів у подальшому: "Аналіз та побудова алгоритмів"," Структури даних та побудова алгоритмів", дисциплін з циклу математичного моделювання. Матеріали дисципліни можуть бути застосовані у наступних семестрах при виконанні курсових робот та дипломної роботи.


Програма навчальної дисципліни складається з таких змістових модулів:


1. Теорія алгоритмів.

2. 


1. Мета та завдання навчальної дисципліни


1.1. Метою вивчення дисципліни є формування здібностей до логічного, комбінаторного та системного мислення, отримання базових знань бакалавра з математичної логіки та теорії алгоритмів, отримання здібностей до математичного формулювання задач аналізу дискретних систем та їх проектування, формування здібностей до опанування наступних дисциплін навчального плану спеціальності і нових теоретичних підходів у майбутньому при підвищенні своєї кваліфікації у відповідності до фаху.


1.2.Основними завданнями вивчення дисципліни є отримання знань з таких напрямків теорії дискретних систем: математична логіка, теорія алгоритмів, машини Т’юринга, рекурсивні функції та обчислювальність алгоритмів.

1.3. Студенти повинні:

знати :

  • визначення та властивості математичного об’єкту-«алгоритм» ;

  • основні типи алгоритмічних моделей: машини Тьюрінга, рекурсивні функії та нормальні алгоритми;

  • поняття алгоритмічно нерозв'язної задачі;

  • визначення функції алгебри логіки. Основні тотожності алгебри логіки;

  • поняття функціональної повноти наборів булевих функцій;

  • визначення алгебри Жегалкіна;

  • методи мінімізації булевих функцій;


вміти :

  • розробляти алгоритми засобами визначеної алгоритмічної моделі;

  • застосовувати основні тотожності булевої алгебри ;

  • визначати функціональну повноту наборів булевих функцій;

  • будувати багаточлен Жегалкіна, ДДНФ, ДКНФ;

  • застосовувати методи мінімізації булевих функцій;

  • будувати комбінаційні схеми.


На вивчення навчальної дисципліни відводиться 120 годин / 4 кредита ECTS.