Информационни системи

Курсът представя основните концепции във функционалното програмиране, като акцентира върху методологията на строгото (“чистото”)функционално програмиране. Разглежданите теми включват: типове величини и изрази; механизми за комбинация и абстракция в езиците за функционално програмиране; примитивни данни; типове изчислителни процеси и езикови конструкции, които ги генерират; функции от първи и по-висок ред; съставни типове данни; механизми на изпълнение на програми; работа с безкрайни списъци и др.