Programmiersprachen und formale Methoden

  • 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

Diese Beschreibung ist rechtlich nicht verbindlich! Weitere Informationen finden Sie in der detaillierten Modulbeschreibung.