703607 Computationale Logik
Wintersemester 2013/2014 | Stand: 01.10.2013 | LV auf Merkliste setzen703607
Computationale Logik
VO 2
4
wöch.
jährlich
Englisch
Logik ist definiert als das Studium des Prinzip des Schließens. Die Vorlesung erweitert die einführende Logikvorlesung im Grundstudium. Der Stoff des Bachelorvorlesung wird vorausgesetzt. Die Vorlesung ist Teil des Wahlmoduls "Automatisches Beweisen".
Syntax, Semantik und formale Systeme der Prädikatenlogik (mit Gleichheit), Erweiterungen der Prädikatenlogik, wie Modallogik oder zweistufiger Logik, 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.
02.10.2013
- Fakultät für Mathematik, Informatik und Physik
|
Gruppe 0
|
||||
|---|---|---|---|---|
| Datum | Uhrzeit | Ort | ||
|
Mi 02.10.2013
|
13.15 - 15.00 | 3W03 3W03 | Barrierefrei | |
|
Mi 09.10.2013
|
13.15 - 15.00 | 3W03 3W03 | Barrierefrei | |
|
Mi 16.10.2013
|
13.15 - 15.00 | 3W03 3W03 | Barrierefrei | |
|
Mi 23.10.2013
|
13.15 - 15.00 | 3W03 3W03 | Barrierefrei | |
|
Mi 30.10.2013
|
13.15 - 15.00 | 3W03 3W03 | Barrierefrei | |
|
Mi 06.11.2013
|
13.15 - 15.00 | 3W03 3W03 | Barrierefrei | |
|
Mi 13.11.2013
|
13.15 - 15.00 | 3W03 3W03 | Barrierefrei | |
|
Mi 20.11.2013
|
13.15 - 15.00 | 3W03 3W03 | Barrierefrei | |
|
Mi 27.11.2013
|
13.15 - 15.00 | 3W03 3W03 | Barrierefrei | |
|
Mi 04.12.2013
|
13.15 - 15.00 | 3W03 3W03 | Barrierefrei | |
|
Mi 11.12.2013
|
13.15 - 15.00 | 3W03 3W03 | Barrierefrei | |
|
Mi 08.01.2014
|
13.15 - 15.00 | 3W03 3W03 | Barrierefrei | |
|
Mi 15.01.2014
|
13.15 - 15.00 | 3W03 3W03 | Barrierefrei | |
|
Mi 22.01.2014
|
13.15 - 15.00 | 3W03 3W03 | Barrierefrei | |
|
Mi 29.01.2014
|
13.15 - 15.00 | 3W03 3W03 | Barrierefrei | |