Modulbeschreibung
Programmiersprachen und formale Methoden
ECTS-Punkte:
4
Lernziele:
-
To develop an understanding of programming in paradigms and languages outside the mainstream imperative/OO paradigm.
-
To be able to program in the functional and logical styles.
-
To understand the formal foundations of the programming languages covered.
Kurse in diesem Modul
Programmiersprachen und formale Methoden:
-
Functional Programming (Haskell)
-
Logic Programming (Prolog)
-
Formal foundations: Formal Proof & Lambda Calculus
-
General Programming language concepts (e.g. paradigms, types, evaluation strategies)
-
Special topics (depending on interest and time available, e.g. type systems, formal modelling and verification of software)
-
Comparisons and reflection.
This course will be taught in English.
Vorlesung mit 2 Lektionen pro Woche
Uebung mit 2 Lektionen pro Woche
Disclaimer
Diese Beschreibung ist rechtlich nicht verbindlich! Weitere Informationen finden Sie in der detaillierten Modulbeschreibung.