Teaching - WS 2026 / 2027
Bachelor Program
| Course number (LFU:Online) | Type/hours | Semester | Title / Course Material |
|---|---|---|---|
| 703139 | VU3 | 26W | Advanced Functional Programming |
| 703024 + 703206 + 703025 | VO2 + PS1 | 26W | Funktionale Programmierung |
| 703026 + 703214 | VO3 + UE2 | 26w | Logic |
Master Program
| Course number (LFU:Online) | Type/hours | Semester | Title / Course Material |
|---|---|---|---|
| 703302 + 703303 | VO2 + PS2 | 26W | Automata and Logic |
| 703317 | VU3 | 26W | Computability Theory |