703141 VU Termersetzungssysteme
Wintersemester 2023/2024 | Stand: 28.03.2024 | LV auf Merkliste setzenUniv.-Prof. Dr. Aart Middeldorp
Univ.-Prof. Dr. Aart Middeldorp, +43 512 507 53205
Fabian Sebastian Mitterwallner, MSc Fabian Sebastian Mitterwallner, MSc, +43 512 507 53410
Fabian Sebastian Mitterwallner, MSc Fabian Sebastian Mitterwallner, MSc, +43 512 507 53410
703141
VU Termersetzungssysteme
VU 3
5
wöch.
jährlich
Englisch
Absolventinnen und Absolventen dieses Moduls verstehen die Konzepte von Termersetzungssystemen als formales Berechnungsmodell, welches die Grundlage für die funktionale Programmierung darstellt. Zudem lernen sie wesentliche Eigenschaften von Termersetzungssystemen kennen, sowie Methoden, um diese Eigenschaften nachzuweisen.
Abstrakte Reduktionssysteme; Gleichungslogik; Termersetzungsysteme und ihre Eigenschaften; Terminierung; Konfluenz; Vervollständigung; Strategien
Kontinuierliche Beurteilung durch regelmäßige schriftliche und mündliche Beiträge. Am Ende des Semester wird eine optionale schriftliche Prüfung angeboten.
Unterlagen werden auf der Kurswebseite zur Verfügung gestellt.
keine
Dieser Kurs wird besonders Studierenden empfohlen, die mehr über ein wichtiges Forschungsfeld in der Computational Logic Gruppe lernen möchten.
siehe Termine
- Fakultät für Mathematik, Informatik und Physik
- 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 02.10.2023
|
12.15 - 14.45 | HS 11 HS 11 | Barrierefrei | |
|
Mo 09.10.2023
|
12.15 - 14.45 | HS 11 HS 11 | Barrierefrei | |
|
Mo 16.10.2023
|
12.15 - 14.45 | HS 11 HS 11 | Barrierefrei | |
|
Mo 23.10.2023
|
12.15 - 14.45 | HS 11 HS 11 | Barrierefrei | |
|
Mo 30.10.2023
|
12.15 - 14.45 | HS 11 HS 11 | Barrierefrei | |
|
Mo 06.11.2023
|
12.15 - 14.45 | HS 11 HS 11 | Barrierefrei | |
|
Mo 13.11.2023
|
12.15 - 14.45 | HS 11 HS 11 | Barrierefrei | |
|
Mo 20.11.2023
|
12.15 - 14.45 | HS 11 HS 11 | Barrierefrei | |
|
Mo 27.11.2023
|
12.15 - 14.45 | HS 11 HS 11 | Barrierefrei | |
|
Mo 04.12.2023
|
12.15 - 14.45 | HS 11 HS 11 | Barrierefrei | |
|
Mo 11.12.2023
|
12.15 - 14.45 | HS 11 HS 11 | Barrierefrei | |
|
Mo 08.01.2024
|
12.15 - 14.45 | HS 11 HS 11 | Barrierefrei | |
|
Mo 15.01.2024
|
12.15 - 14.45 | HS 11 HS 11 | Barrierefrei | |
|
Mo 22.01.2024
|
12.15 - 14.45 | HS 11 HS 11 | Barrierefrei | |
|
Mo 29.01.2024
|
12.15 - 14.45 | HS 11 HS 11 | Barrierefrei | |