Jump to contentJump to search

Planned Lectures in Software Engineering and Programming Languages.

On this page you find a list of the lectures planned in the upcoming terms.

The following courses are given regularly:

half moduleIntroduction to Logic Programmingeach winter term
half moduleCompiler Constructioneach winter term
half moduleFrom NAND to Tetriseach summer term
half moduleFunctional Programmingeach winter term
half moduleSafety Critical Systemseach winter term
half moduleModelcheckingeach summer term
half moduleDynamic Programming Languageseach summer term
half moduleAdvanced Logic Programming

each summer term

(except those where we are assigned computer science 4)

Responsible for the content: