Некласичні логіки та їх застосування в розробці програмного забезпечення

Освітня програма: Програмне забезпечення систем

Структурний підрозділ: Факультет комп'ютерних наук та кібернетики

Назва дисципліни
Некласичні логіки та їх застосування в розробці програмного забезпечення
Код дисципліни
ДВС.1.04
Тип модуля
Вибіркова дисципліна для ОП
Цикл вищої освіти
Другий
Рік навчання
2023/2024
Семестр / Триместр
3 Семестр
Кількість кредитів ЕСТS
3
Результати навчання
ПРН01. Знати і системно застосовувати методи аналізу та моделювання прикладної області, виявлення інформаційних потреб і збору вихідних даних для проектування програмного забезпечення. ПРН03. Знати і застосовувати базові концепції і методології моделювання інформаційних процесів. ПРН08. Проводити аналітичне дослідження параметрів функціонування програмних систем для їх валідації та верифікації, а також проводити аналіз обраних методів, засобів автоматизованого проектування та реалізації програмного забезпечення. ПРН13. Оформляти результати досліджень у вигляді статей у наукових виданнях та тез доповідей на науково-технічних конференціях. ПРН14. Пояснити, аналізувати, цілеспрямовано шукати і обирати необхідні для вирішення фахових наукових і прикладних задач інформаційно-довідкові та науково-технічні ресурси і джерела знань з урахуванням сучасних досягнень науки і техніки. Посилання!!!!
Форма навчання
Дистанційне навчання
Попередні умови та додаткові вимоги
1. Знати: основи елементарної математики, дискретної математики, алгебри, математичної логіки та теорії алгоритмів, елементів категорного аналізу та нечітких логік. 2. Вміти: застосовувати на практиці інструментальні програмні засоби проектування та розробки нечіткого програмного забезпечення, проектувати та розробляти категорні моделі алгоритмізації та подання знань. 3. Володіти навичками: проектувати та розробляти нечіткі моделі подання знань, застосовувати на практиці категорні засоби дослідження обчисювальності базових конструкцій побудови алгоритмів.
Зміст навчальної дисципліни
Мета дисципліни – «Некласичні логіки та їх застосування в розробці програмного забезпечення» є розширення знань з теорії категорій та нечіткої логіки для побудови відповідних математичних моделей подання знань. В результаті вивчення навчальної дисципліни студент повинен: знати основні поняття та визначення категорної та нечіткої логік, принципи побудови та дослідження систем нечіткого логічного виведення, інструментальні засоби інтеграції категорних та нечітких моделей в програмний продукт. Вміти використовувати інструментальні засоби інтеграції категорних та нечітких моделей в програмний продукт, будувати та досліджувати категорні та нечіткі моделі подання знань.
Рекомендована та необхідна література
1. Д. Рутковская, М. Пилиньский, Л. Рутковский. Нейронные сети, генетические алгоритмы и нечеткие системы. М.: Телеком, 2006. – 382 с. 2. J. Leski. Systemy neuronowo-rozmyte. Warszawa: Naukowo-Techniczne, 2008. – 690 c. 3. Zadeh L.A. Fuzzy sets as a basis for a theory of possibility //Fuzzy Sets ana Systems, 1978, N1, p. 3–28. 4. Голдблатт Р. Топосы. Категорный анализ логики. – М. – Мир. – 1983. 5. Джонстон П. Теория топосов – М. – Мир. – 1978. 6. А.Г. Куц. Топосы. Задания и методические указания / Омск. Ун-т, 1989, 35 с. 7. Bartosz Milewski. Category Theory for Programmers. Version v1.0.0-0-g41e0fc3. October 21, 2018. 8. Лутц М. Изучаем Python, 4-е издание. – Пер. с англ. – СПб.: Символ-Плюс, 2011.
Заплановані освітні заходи та методи викладання
Лекції, самостійна робота, контрольні роботи, домашні завдання, захист самостійної роботи (проекту), залік.
Методи та критерії оцінювання
- семестрове оцінювання: 1. Контрольна робота 1: РН 1.1, РН 1.2 – 20/12 балів. 2. Контрольна робота 2: РН 1.2, Р`Н1.3 – 20/12 балів. 3. Самостійна робота 1 (проект): РН 2.1, РН3.1, РН 4.1, РН4.2 – 30/18 балів. 4. Самостійна робота 2 (проект): РН 2.1, РН3.1, РН 4.1, РН4.2 – 20/18 балів. - підсумкове оцінювання (у формі заліку)
Мова викладання
Українська

Кафедри

Наступні кафедри задіяні у викладанні наведеної дисципліни

Інтелектуальних програмних систем
Факультет комп'ютерних наук та кібернетики