703822 VU Ausgewählte Kapitel der Termersetzung
Wintersemester 2019/2020 | Stand: 21.10.2019 | LV auf Merkliste setzenStudents who have completed this course will have a thorough understanding of term rewriting. They are prepared to further develop term rewriting with independent research contributions.
The course will cover advanced and current developments in term rewriting:
- confluence criteria
- context-sensitive rewriting
- proof terms
- tree automata techniques
- ...
Beurteilung aufgrund von regelmäßigen schriftlichen und/oder mündlichen Beiträgen der Teilnehmerinnen und Teilnehmer.
Lehrveranstaltungsprüfung gemäß § 7 Satzungsteil, Studienrechtliche Bestimmungen
Wird im Rahmen der ersten Lehrveranstaltung besprochen.
Familiarity with the basics of term rewriting.
Hinweis für Studierende nach dem Bachelorstudium Informatik 2007W: Die Lehrveranstaltung Ausgewählte Kapitel der Termersetzung VU 3 kann als Wahlmodul verwendet werden. Eine Zuordnungsbestätigung ist notwendig.
- Fakultät für Mathematik, Informatik und Physik
|
Gruppe 0
|
||||
|---|---|---|---|---|
| Datum | Uhrzeit | Ort | ||
|
Mo 07.10.2019
|
13.15 - 16.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 14.10.2019
|
13.15 - 16.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 21.10.2019
|
13.15 - 16.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 28.10.2019
|
13.15 - 16.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 04.11.2019
|
13.15 - 16.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 11.11.2019
|
13.15 - 16.00 | HSB 7 HSB 7 | Barrierefrei | |
|
Mo 18.11.2019
|
13.15 - 16.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 25.11.2019
|
13.15 - 16.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 02.12.2019
|
13.15 - 16.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 09.12.2019
|
13.15 - 16.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 13.01.2020
|
13.15 - 16.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 20.01.2020
|
13.15 - 16.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 27.01.2020
|
13.15 - 16.00 | 3W03 3W03 | Barrierefrei | |