Die Teilnehmer verstehen die wesentlichen Konzepte einer funktionalen Programmiersprache und können diese anwenden. Sie beherrschen grundlegende Techniken zur Feststellung der Korrektheit imperativer bzw. funktionaler Programme und können diese auf einfache Programme anwenden.
Die Themen sind unter anderem:
