703352 VU Weiterführende Themen in Logik und Lernen A: Selected Topics in Term Rewriting
Sommersemester 2023 | Stand: 02.05.2023 | LV auf Merkliste setzenStudierende, die diesen Kurs absolviert haben, verfügen über ein umfassendesVerständnis der Termersetzung. Sie sind in der Lage, dieTermersetzung durch eigenständige Forschung weiterzuentwickeln.
Der Kurs behandelt fortgeschrittene und aktuelle Entwicklungen der Termersetzung.
Kontinuierliche Beurteilung durch regelmäßige schriftliche und mündliche Beiträge. Am Ende des Semester wird eine optionale schriftliche Prüfung angeboten.
Kontinuierliche Bewertung durch regelmäßige schriftliche und mündliche Beiträge. Am Ende der Lehrveranstaltung wird ein optionaler schriftlicher Test angeboten.
Umfangreiche Vorlesungsfolien. Begleitende Literatur wird auf der Kurswebseite verlinkt.
Vertrautheit mit den Grundlagen der Termersetzung (Inhalt des Bachelor Kurses Termersetzungssysteme).
Der Kurs wird auf Englisch abgehalten.
- Fakultät für Mathematik, Informatik und Physik
- "Doctor of Philosophy" - Doktoratsstudium Informatik nach Curriculum 2009 (180 ECTS-AP, 6 Semester)
- Masterstudium Informatik nach dem Curriculum 2021 (120 ECTS-AP, 4 Semester)
- Interdisziplinäres und zusätzliches Angebot
- SDG 4 - Hochwertige Bildung: Inklusive, gleichberechtigte und hochwertige Bildung gewährleisten und Möglichkeiten lebenslangen Lernens für alle fördern
- SDG 9 - Industrie, Innovation und Infrastruktur: Eine widerstandsfähige Infrastruktur aufbauen, breitenwirksame und nachhaltige Industrialisierung fördern und Innovationen unterstützen
|
Gruppe 0
|
||||
|---|---|---|---|---|
| Datum | Uhrzeit | Ort | ||
|
Mo 06.03.2023
|
12.15 - 15.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 13.03.2023
|
12.15 - 15.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 20.03.2023
|
12.15 - 15.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 27.03.2023
|
12.15 - 15.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 17.04.2023
|
12.15 - 15.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 24.04.2023
|
12.15 - 15.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 08.05.2023
|
12.15 - 15.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 15.05.2023
|
12.15 - 14.45 | rr 18 rr 18 | Barrierefrei | |
|
Mo 22.05.2023
|
12.15 - 15.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 05.06.2023
|
12.15 - 15.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 12.06.2023
|
12.15 - 15.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 19.06.2023
|
12.15 - 15.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 26.06.2023
|
12.15 - 15.00 | 3W03 3W03 | Barrierefrei | |