703608 Automatisches Theorembeweisen
Wintersemester 2015/2016 | Stand: 29.08.2016 | LV auf Merkliste setzen703608
Automatisches Theorembeweisen
VO 2
4
wöch.
2-Jahresrhythmus
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".
Automatisches Theorembeweisen (mit Gleichheit) für Prädikatenlogik, Resolution und Paramodulation, Anwendung von Automatischen Theorembeweisern für Prädikatenlogik
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 | ||
|
Fr 09.10.2015
|
13.15 - 15.00 | 3W03 3W03 | Barrierefrei | |
|
Fr 16.10.2015
|
13.15 - 15.00 | 3W03 3W03 | Barrierefrei | |
|
Fr 23.10.2015
|
13.15 - 15.00 | 3W03 3W03 | Barrierefrei | |
|
Fr 30.10.2015
|
13.15 - 15.00 | 3W03 3W03 | Barrierefrei | |
|
Fr 06.11.2015
|
13.15 - 15.00 | 3W03 3W03 | Barrierefrei | |
|
Fr 13.11.2015
|
13.15 - 15.00 | 3W03 3W03 | Barrierefrei | |
|
Fr 20.11.2015
|
13.15 - 15.00 | 3W03 3W03 | Barrierefrei | |
|
Fr 27.11.2015
|
13.15 - 15.00 | 3W03 3W03 | Barrierefrei | |
|
Fr 04.12.2015
|
13.15 - 15.00 | 3W03 3W03 | Barrierefrei | |
|
Fr 11.12.2015
|
13.15 - 15.00 | 3W03 3W03 | Barrierefrei | |
|
Fr 18.12.2015
|
13.15 - 15.00 | 3W03 3W03 | Barrierefrei | |
|
Fr 15.01.2016
|
13.15 - 15.00 | 3W03 3W03 | Barrierefrei | |
|
Fr 29.01.2016
|
13.15 - 15.00 | 3W03 3W03 | Barrierefrei | |
|
Do 06.10.2016
|
10.00 - 12.00 | Seminarraum 1 (ICT-Gebäude) Seminarraum 1 (ICT-Gebäude) | Barrierefrei | Klausur |