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