Содержание модуля «Программирование на языке функциональных парадигм» раскрывает понятие формальной системы первого порядка и языка нулевого порядка, формирует представление о гильбертовских исчислениях, формирует специальные умения доказательства теорем в языке первого порядка и написания программ на языке функциональной парадигмы, позволяет обучающимся применять в профессиональной деятельности современные языки программирования, ориентированные на разработку интеллектуальных систем.