Skip Navigation Linksfunctional-programming

Функциональное и логическое программирование

     

Функциональное и логическое программирование – это две различные парадигмы программирования, которые, однако, имеют много общего: они представляют декларативное программирование. В декларативных языках, в отличие от императивных (процедурных или объектно-ориентированных), описывается не алгоритм решения задачи, а знания об объектах и процессах соответствующей предметной области. Алгоритм же вырабатывается и реализуется в ходе логического вывода с помощью специального механизма.


functional-programming1.jpgfunctional-programming2.jpg

Языки Лисп и Пролог – родители указанных парадигм – родились как языки искусственного интеллекта, основанные на математической и логической моделях представления знаний, и были ориентированы именно на процессы принятия решений на основе знаний. В настоящее время эти и другие языки, поддерживающие и развивающие названные парадигмы, становятся все более универсальными и имеют значительные сообщества своих приверженцев.

Целью изучения дисциплины является получение студентами:

  • представления о различных стилях программирования и поддерживающих их языках программирования;
  • знания основных теоретических моделей функционального и логического программирования;
  • умения решать задачи методами и средствами функционального и логического программирования;
  • опыта использования и применения языков и систем функционального и логического программирования.

<< Назад