703607 Computationale Logik
Wintersemester 2015/2016 | Stand: 30.03.2016 | LV auf Merkliste setzen703607
Computationale Logik
VO 2
4
wöch.
2-Jahresrhythmus
Englisch
Absolventen und Absolventinnen dieser Lehrveranstaltung kennen verschiedene erst- und höherstufige Logiken sowie deren Vor- und Nachteile. Sie sind vertraut mit geeigneten Kalkülen für das formale Schließen in diesen Logiken.
Semantik und Beweissysteme für Prädikatenlogik mit Gleichheit, Erweiterungen der Prädikatenlogik, wie Modallogik oder zweistufiger Logik, Satz von Herbrand, Curry-Howard Isomorphismus
Vortrag, Beurteilung aufgrund eines einzigen Prüfungsaktes am Ende der Lehrveranstaltung.
Lehrveranstaltungsprüfung gemäß § 7 Satzungsteil, Studienrechtliche Bestimmungen
Wird im Rahmen der ersten Lehrveranstaltung besprochen.
siehe Termine
- Fakultät für Mathematik, Informatik und Physik
|
Gruppe 0
|
||||
|---|---|---|---|---|
| Datum | Uhrzeit | Ort | ||
|
Mi 07.10.2015
|
12.15 - 14.00 | 3W04 3W04 | Barrierefrei | |
|
Mi 14.10.2015
|
12.15 - 14.00 | 3W04 3W04 | Barrierefrei | |
|
Mi 21.10.2015
|
12.15 - 14.00 | 3W04 3W04 | Barrierefrei | |
|
Mi 28.10.2015
|
12.15 - 14.00 | 3W04 3W04 | Barrierefrei | |
|
Mi 04.11.2015
|
12.15 - 14.00 | 3W04 3W04 | Barrierefrei | |
|
Mi 11.11.2015
|
12.15 - 14.00 | 3W04 3W04 | Barrierefrei | |
|
Mi 18.11.2015
|
12.15 - 14.00 | 3W04 3W04 | Barrierefrei | |
|
Mi 25.11.2015
|
12.15 - 14.00 | 3W04 3W04 | Barrierefrei | |
|
Mi 02.12.2015
|
12.15 - 14.00 | 3W04 3W04 | Barrierefrei | |
|
Mi 09.12.2015
|
12.15 - 14.00 | 3W04 3W04 | Barrierefrei | |
|
Mi 16.12.2015
|
12.15 - 14.00 | 3W04 3W04 | Barrierefrei | |
|
Mi 13.01.2016
|
12.15 - 14.00 | 3W04 3W04 | Barrierefrei | |
|
Mi 20.01.2016
|
12.15 - 14.00 | 3W03 3W03 | Barrierefrei | |
|
Mi 27.01.2016
|
12.15 - 14.00 | 3W04 3W04 | Barrierefrei | |
|
Fr 04.03.2016
|
13.00 - 15.00 | HS 10 HS 10 | Barrierefrei | 1st exam |
|
Fr 30.09.2016
|
09.00 - 11.00 | HS 11 HS 11 | Barrierefrei | 2nd exam |