703125 Termersetzungssysteme
Sommersemester 2014 | Stand: 17.03.2014 | LV auf Merkliste setzen703125
Termersetzungssysteme
VO 2
3
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
Vortrag, Beurteilung aufgrund eines einzigen Prüfungsaktes am Ende der Lehrveranstaltung.
schriftliche Prüfung
Course notes will be made available from the accompanying web site.
keine
Dieser Kurs wird besonders Studierenden empfohlen, die mehr über ein wichtiges Forschungsfeld in der Computational Logic Gruppe lernen möchten.
03.03.2014
- Fakultät für Mathematik, Informatik und Physik
|
Gruppe 0
|
||||
|---|---|---|---|---|
| Datum | Uhrzeit | Ort | ||
|
Mo 03.03.2014
|
14.15 - 16.00 | Seminarraum 2 (ICT-Gebäude) Seminarraum 2 (ICT-Gebäude) | Barrierefrei | |
|
Mo 10.03.2014
|
14.15 - 16.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 17.03.2014
|
14.15 - 16.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 24.03.2014
|
14.15 - 16.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 31.03.2014
|
14.15 - 16.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 07.04.2014
|
14.15 - 16.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 28.04.2014
|
14.15 - 16.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 05.05.2014
|
14.15 - 16.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 12.05.2014
|
14.15 - 16.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 19.05.2014
|
14.15 - 16.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 26.05.2014
|
14.15 - 16.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 02.06.2014
|
14.15 - 16.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 16.06.2014
|
14.15 - 16.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 23.06.2014
|
14.15 - 16.00 | 3W03 3W03 | Barrierefrei | |