Kurs ma za zadanie doskonalić zdolności programowania poprzez przybliżenie paradygmatu programowania funkcyjnego i powiązanych z nim pojęć informatyki teoretycznej. Na kursi poruszane są również najnowsze trendy na styku informatyki, matematyki i modelowania świata.
Poruszane zagadnienia: