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 2024 |
| Computability and Formal Languages | summer semester 2018 |
| Computability and Complexity | winter semester 2021/22 |
| Databases | summer semester 2016 |
| Database Theory | Winter Semester 2021/22 |
| Efficient problem solving methods for AI | Summer semester 2024 |
| Introduction to Formal Verification | winter semester 2022/23 |
| 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 |
| Logic programming lab | winter semester 2021/22 |
| SAT solver lab | winter semester 2022/23 |
| Theorem proving lab | summer semester 2022 |
| Python programming course | summer semester 2023 |
| SAT-Solver internship | summer semester 2020 |
| Software Verification | summer semester 2023 |
| Theoretical Computer Science III | Summer semester 2019 |
| Theoretical Computer Science: Logic | winter semester 2018/19 |
| Verification of Embedded Systems | winter semester 2022/23 |
| Preparatory course Theoretical Computer Science and Discrete Mathematics | winter semester 2018/19 |