Po absolvování studia tohoto modulu budete schopni rozlišit základní třídy programovacích jazyků a charakterizovat jejich vlastnosti. Naučíte se formulovat výpočetní postupy pomocí rekurzivních funkcí a datových typů a dokážete formálně ověřit, zda jsou vytvořené definice funkcí v souladu se stanovenými podmínkami. Získáte praktické zkušenosti s programováním v jazyce Haskell a budete schopni tento jazyk použít pro řešení úloh v příbuzných oblastech informatiky.