Overview of the topics covered
The content on this page was translated automatically.
| Topics | last held |
|---|---|
| Algorithms and data structures | summer semester 2023 |
| Automata, Games, Logics | summer semester 2025 |
| Computability and Formal Languages | summer semester 2018 |
| Computability and Complexity | winter semester 2025/26 |
| Databases | summer semester 2016 |
| Database Theory | winter semester 2025/26 |
| Efficient problem solving methods for AI | summer semester 2024 |
| Introduction to Formal Verification | winter semester 2025/26 |
| Formal languages and logic | summer semester 2024 |
| Functional Programming (Priv.-Doz. Dr. Jörg Kreiker) | winter semester 2011/12 |
| Fundamentals of program security | summer semester 2016 |
| Compiler construction lab | summer semester 2024 |
| Laboratory Heuristic Search | winter semester 2025/26 |
| Laboratory Logic Programming | winter semester 2024/25 |
| Lab SAT-Solver | summer semester 2025 |
| Theorem proving lab | summer semester 2022 |
| Python programming course | summer semester 2023 |
| SAT-Solver practical course | summer semester 2020 |
| Software Verification | summer semester 2025 |
| Theoretical Computer Science III | Summer semester 2019 |
| Theoretical Computer Science: Logic | winter semester 2018/19 |
| Verification of Embedded Systems | winter semester 2024/25 |
| Preparatory course Theoretical Computer Science and Discrete Mathematics | winter semester 2018/19 |