Funktionale Programmierung und Verifikation

Worum geht's

Du lernst die Grundlagen funktionaler Programmierung sowie Techniken zur Verifikation von Programmen. Das Modul behandelt sowohl Korrektheit und Terminierung imperativer Programme als auch Semantik und Verifikation funktionaler Programme; zudem übst du das Programmieren in einer funktionalen Sprache und wendest Verifikationsmethoden auf kleine Programme an. Am Ende kannst du einfache algorithmische Probleme funktional lösen und grundlegende Verifikationen durchführen.

Was du danach kannst

• Grundkonzepte funktionaler Programmiersprachen verstehen
• kleine algorithmische Probleme in einer funktionalen Sprache lösen
• sich selbstständig in andere funktionale Sprachen einarbeiten können
• Techniken zur Verifikation imperativer Programme anwenden (Floyd/Hoare, Terminierung, Prozeduren)
• Semantik und Verifikation funktionaler Programme kennen und anwenden

Aus was das Modul besteht

• Vorlesungstellt Konzepte der Programmverifikation und der Programmiersprache vor und erläutert sie an Beispielen
• Übungvertieft Verständnis, trainiert Verifikation kleiner Programme und praktische Anwendung der Programmiersprache an Programmieraufgaben

Lehrmethode

• Folien- oder Tafelpräsentationzur Einführung und Erklärung der Konzepte
• Übungsaufgabenzur Vertiefung, zum Training von Verifikationstechniken und zur Praxis in der Programmiersprache
• gegebenenfalls Online-Programmierung/Animationenzur Unterstützung beim Erlernen und Üben