703302 VO Automata and Logic
winter semester 2023/2024 | Last update: 07.01.2025 | Place course on memo list703302
VO Automata and Logic
VO 2
4,5
weekly
annually
English
In-depth understanding in the field of finite automata and logic; students have a full command of the concepts and theoretical tools underlying computational verification and can also develop these independently if necessary.
(deterministic, non-deterministic, alternating) finite automata; regular expressions; (weak) monadic second-order logic; Presburger arithmetic; (alternating) Büchi automata; linear-time temporal logic; tree automata
written exam
Extensive slides. Accompanying literature will be linked from the course website.
None.
The course is taught in English.
see dates
- Faculty of Mathematics, Computer Science and Physics
- Master's Programme Computer Science according to the Curriculum 2021 (120 ECTS-Credits, 4 semesters)
- Faculty of Teacher Education
- SDG 4 - Quality education: Ensure inclusive and equitable quality education and promote lifelong learning opportunities for all.
- SDG 9 - Industry, Innovation, and Infrastructure: Build resilient infrastructure, promote inclusive and sustainable industrialization, and foster innovation.
|
Group 0
|
||||
|---|---|---|---|---|
| Date | Time | Location | ||
|
Mon 2023-10-02
|
08.15 - 09.45 | HSB 6 HSB 6 | Barrier-free | |
|
Mon 2023-10-09
|
08.15 - 09.45 | HSB 6 HSB 6 | Barrier-free | |
|
Mon 2023-10-16
|
08.15 - 09.45 | HSB 6 HSB 6 | Barrier-free | |
|
Mon 2023-10-23
|
08.15 - 09.45 | HSB 6 HSB 6 | Barrier-free | |
|
Mon 2023-10-30
|
08.15 - 09.45 | HSB 6 HSB 6 | Barrier-free | |
|
Mon 2023-11-06
|
08.15 - 09.45 | HSB 6 HSB 6 | Barrier-free | |
|
Mon 2023-11-13
|
08.15 - 09.45 | HSB 6 HSB 6 | Barrier-free | |
|
Mon 2023-11-20
|
08.15 - 09.45 | HSB 6 HSB 6 | Barrier-free | |
|
Mon 2023-11-27
|
08.15 - 09.45 | HSB 6 HSB 6 | Barrier-free | |
|
Mon 2023-12-04
|
08.15 - 09.45 | HSB 6 HSB 6 | Barrier-free | |
|
Mon 2023-12-11
|
08.15 - 09.45 | HSB 6 HSB 6 | Barrier-free | |
|
Mon 2024-01-08
|
08.15 - 09.45 | HSB 6 HSB 6 | Barrier-free | |
|
Mon 2024-01-15
|
08.15 - 09.45 | HSB 6 HSB 6 | Barrier-free | |
|
Mon 2024-01-22
|
08.15 - 09.45 | HSB 6 HSB 6 | Barrier-free | |
|
Mon 2024-01-29
|
08.15 - 09.45 | HSB 6 HSB 6 | Barrier-free | |