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:
Bachelor | ||
---|---|---|
half module | Introduction to Logic Programming | each winter term |
half module | Compiler Construction | each winter term |
half module | From NAND to Tetris | each summer term |
Master | ||
---|---|---|
half module | Functional Programming | each winter term |
half module | Safety Critical Systems | each winter term |
half module | Modelchecking | each summer term |
half module | Dynamic Programming Languages | each summer term |
half module | Advanced Logic Programming | each summer term (except those where we are assigned computer science 4) |