Опис навчальної програми дисципліни Загальні відомості

Дисципліна відноситься до циклу дисциплін «Професійної та практичної підготовки». В структурно-логічній схемі навчання дисципліна передбачає попередню підготовку з курсу “Дискретний аналіз” (розділи: ”Алгебра висловлювань”, “Алгебра предикатів”, “Числення висловлювань”, “Числення предикатів”, “Формальні мови та граматики”, “Елементи теорії автоматичного доведення теорем”).

Загальна кількість кредитів ETCS — 3.

Номер за переліком дисциплін програми підготовки — ВП-03/А.

Розподіл навчального часу

Се- местр	Всього (кред./год.)	Розподіл за видами занять (всього год./год. у тижні)			СРС	Модульні контрольні роботи (кільк.)	Індивід. завдання (вид)	Семестр атестац.
		Лекції	Практичні/ семінарські	Лабораторні/ комп’ют. практикум
7	3/108	36	—	18	54	1	—	залік

Мета і завдання дисципліни

Дисципліна вивчає теоретичне обґрунтування та практичне застосування мов штучного інтелекту. Розглядається функціональна та логічна парадигми програмування та засоби їх підтримки в рамках спеціалізованих мов програмування. Базові концепції та їх характеристики подаються у чітких математичних формулюваннях та супроводжуються вичерпними прикладами. Огляд функціональної парадигми програмування включає такі аспекти технології функціонального програмування, як математичні основи Ламбда-числення, представлення програми у вигляді абстрактного синтаксичного дерева, методи інтерпретації, абстрактна інтерпретація, редукція графів. Стилі функціонального програмування знайшли своє відображення в таких мовах функціонального програмування, як Hope, Miranda, FP та Lisp. Логічна парадигма програмування розглядається у контексті класичної логіки на прикладі мов логічного програмування Prolog та Mercury.

Дисципліна забезпечує наступні дисципліни програми:

• Системи штучного інтелекту;

• Бази даних (тема “Реляційні бази даних”);

• Експертні системи (як базова мова при написанні робіт з комп’ютерного практикуму);

• а також всіх спеціальних дисциплін, що потребують комп’ютерного моделювання.

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

Основні задачі дисципліни — ознайомити студентів з теоретичним базисом проектування, визначенням та реалізацією як мов програмування, так і засобів завдання та дослідження поведінки програм, написаних цими мовами на прикладі мов Lisp та Prolog.

Після вивчення дисципліни студент повинен знати:

• концепції та методи математичної логіки;

• теорію формальних мов та граматик;

• теорію математичних основ ламбда-числення;

• функціональний підхід до програмування;

• зв’язок формальної логіки та логічного програмування;

• синтаксис та семантику мов програмування Prolog та Lisp;

• загальні правила роботи із сучасним стандартним програмним забезпеченням.

вміти:

• вибрати та обгрунтувати вибір підходу до програмування: функціонального або логічного;

• описати логічну модель заданої предметної області засобами мов програмування, що вивчаються;

• спроектувати систему управління базою даних.

• коректно інтерпретувати одержані результати.

мати уяву про:

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

• сучасні мови імперативного програмування;

• існуючі та сучасні мови функціонального програмування;

• існуючі та сучасні мови логічного програмування.