703302 VO Automata and Logic
winter semester 2022/2023 | Last update: 01.10.2022 | 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
- 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 2022-10-03
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrier-free | |
|
Mon 2022-10-10
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrier-free | |
|
Mon 2022-10-17
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrier-free | |
|
Mon 2022-10-24
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrier-free | |
|
Mon 2022-10-31
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrier-free | |
|
Mon 2022-11-07
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrier-free | |
|
Mon 2022-11-14
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrier-free | |
|
Mon 2022-11-21
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrier-free | |
|
Mon 2022-11-28
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrier-free | |
|
Mon 2022-12-05
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrier-free | |
|
Mon 2022-12-12
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrier-free | |
|
Mon 2023-01-09
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrier-free | |
|
Mon 2023-01-16
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrier-free | |
|
Mon 2023-01-23
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrier-free | |
|
Mon 2023-01-30
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrier-free | |
| Group | Booking period | Date of exam | |
|---|---|---|---|
| 703302-0 | 2022-09-01 00:00 - 2023-02-03 23:59 | ||
| Middeldorp A. | |||
| 703302-0 | 2023-01-30 21:00 - 2023-02-19 23:59 |
2023-02-23
9:00 - 10:45
HSB 3
|
|
|
Note: 2nd exam |
Middeldorp A. | ||