Інфопакет

Логiка та автоматизоване мислення

Обов’язкова дисципліна для ОП

Другий

2021/2022

3 Семестр

5

РН1.1 . Знати основні поняття і методи математичної логіки, що включають сучасні наукові здобутки у сфері математичної логіки і є основою для оригінального мислення та проведення досліджень, критичне осмислення проблем у галузі комп’ютерних наук. РН1.2. Знати ієрархію логік, логічні числення, формальні доведення. РН2.1. Вміти формалізувати специфікації програмного забезпечення за допомогою апарату програмних логік, аналізувати істинність побудованих специфікацій. РН2.2. Вміти будувати виведення в відповідних логічних численнях.

Очна форма

1. Знати: основні методи математичної логіки, методи доведення теорем в логіці предикатів, методи формалізації програмних систем та систем штучного інтелекту. 2. Вміти: доводити теореми в логіці предикатів, розробляти програмні системи на основі їх формальних моделей та доводити властивості таких систем.

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

1. Нікітченко М.С., Шкільняк С.С. Прикладна логіка. – К., 2013. 2. Нікітченко М.С. Теорія програмування.– К., 2020. 3. Schneider K.: Verification of Reactive Systems. Formal Methods and Algorithms. – Berlin-Heidelberg: Springer-Verlag, 2004. 4. Nielson H.R. Semantics with Applications: A Formal Introduction / H.R. Nielson, F. Nielson // John Wiley & Sons Inc. P. 240., 1992 5. Dijkstra E.W. A Discipline of Programming / E.W. Dijkstra // Prentice-Hall, Englewwod Cliffs, New Jersey, 1976.

Лекції, самостійна робота, контрольна робота, поточне оцінювання, іспит.

- семестрове оцінювання: 1. Контрольна робота 1: РН 1.1, РН 2.1, РН3.1 – 20 балів/12 балів. 2. Контрольна робота 2: РН1.2, РН2.2, РН3.1 – 20 балів/12 балів. 3. Контрольна робота 3: РН1.2, РН2.2, РН3.1 – 15 балів/9 балів. 4, Поточне оцінювання: РН3.1, РН4.1, РН4.2 – 5 балів / 3 бали. Здобувач освіти може бути недопущений до підсумкового оцінювання, якщо під час семестру він: 1) не досяг мінімального порогового рівня (60%) оцінки тих результатів навчання, які не можуть бути оцінені під час підсумкового контролю; 2) набрав кількість балів, що є недостатньою для отримання позитивної оцінки навіть у випадку досягнення ним на підсумковому контролі максимально можливого результату. Рекомендований мінімум – 36 балів

Українська