Форум Поща Карта на сайта Търсене Връзки Контакти
Начало Обучение Дисциплини в учебните планове на специалностите Информатика (бакалавър) Учебен план Логическо и функционално програмиране    English
Факултет по математика и информатика - Логическо и функционално програмиране
Специалност
Форма на оценяване
Дисциплината
се води
Информатика (бакалавър) редовно обучение
изпит
 
Анотация
Математически основи на логическото програмиране. Предикатно смятане от първи ред. Метод на резолюцията. Език за логическо програмиране Пролог. Клаузи на Хорн. Факти. Правила. Цели. Механизъм на възврат. Рекурсия в Пролог. Списъци. Работа с бази от данни. Особености на езиците за функционално програмиране. Език за функционално програмиране Лисп. Механизъм на оценяване. Примитивни обекти. Комбинации. Средства за абстракция. Рекурсия и итерация в Лисп. Точкови двойки и списъци. Ламбда изрази. Функции от по-висок ред. Приложения.
 
Съдържание
I. Лекции
  1. Основи на логическото програмиране. Съждително смятане. Предикатно смятане от първи ред.
  2. Метод на резолюцията. Унификация на атомарни формули и терми.
  3. Езици за логическо програмиране. Пролог. Особености. Клаузи на Хорн.
  4. Клаузи. Факти. Конюнкция. Дизюнкция. Отрицание. Правила. Правила с дизюнкции. Цели. Структури. Клаузи със структури.
  5. Механизъм на възврат. Същност. Приложение.
  6. Рекурсия. Лява и дясна рекурсия.
  7. Основни вградени предикати. Синтаксис и семантика.
  8. Списъци. Основни задачи със списъци.
  9. Работа с бази от данни . Експертни системи.
  10. Приложения. Двоично дърво. Граф.
  11. Особености на езиците за функционално програмиране. Видове езици за функционално програмиране Лисп. Механизъм на оценяване.
  12. Примитивни обекти. Атоми. Списъци.
  13. Средства за комбиниране. Комбинации.
  14. Средства за абстракция. Дефиниране на функции. Оценяване на функции. Апликативен модел. Нормален модел на заместване. Вложени дефиниции. Блокова структура.
  15. Примитивни функции. Условни изрази. Примитивни предикати. Предикатни функции. Идентичност на обекти. Разрушаващи функции.
  16. Рекурсия и итерация. Линейна рекурсия. Линейна итерация. Дървовидна рекурсия.
  17. Точкови двойки и списъци. Конструиране. Достъп до съставните частите. Основни задачи със списъци.
  18. Ламбда изрази. Анонимни функции. Локални променливи.
  19. Функции от по-висок ред. Функции като параметри. Функции като връщани стойности. Примери за намиране на суми, произведения на числа, работа със списъци и др.
  20. Представяне на съставни структури от данни. Рационално число. Двоично дърво. Опашка.

II. Упражнения

  1. Метод на резолюцията.
  2. Клаузи
  3. Рекурсия в Пролог
  4. Списъци в Пролог
  5. Работа с бази от данни
  6. Механизъм на оценяване на примитивни обекти. Комбинации.
  7. Средства за абстракция. Примитивни функции.
  8. Рекурсия и итерация в Лисп.
  9. Точкови двойки и списъци в Лисп.
  10. Ламбда изрази.
  11. Функции от по-висок ред.
Актуално
Още новини
Архив на новините
© 2009 ФМИ