602012 Formale Logik II
Sommersemester 2014 | Stand: 18.12.2013 | LV auf Merkliste setzen602012
Formale Logik II
VO 2
4
14tg.
jährlich
Deutsch
Vermittlung fortgeschrittener Kenntnisse der formalen Logik; Prädikatenlogik und natürliches Schließen, Einführung in Gödels Unvollständigkeitsresultate.
In der Vorlesung werden die Prädikatenlogik erster Stufe, darauf aufbauende formale Systeme sowie die metalogische Untersuchung deren Eigenschaften behandelt. Die Schwerpunkte werden auf der Darstellung der von Gerhard Gentzen begründeten beweistheoretischen Verfahren und den berühmten Unvollständigkeitssätze von Kurt Gödel liegen.
Vorlesung
Schriftlich (Uebungsaufgaben)
Peter J. Cameron: Sets, Logic, and Categories; New York - Berlin 1999
14.03.2014
Gruppe 0
|
||||
---|---|---|---|---|
Datum | Uhrzeit | Ort | ||
Fr 14.03.2014
|
09.30 - 11.45 | Mehrzweckraum Mehrzweckraum | Barrierefrei Induktionsschleifen für Gehöreingeschränkte | |
Fr 28.03.2014
|
09.30 - 11.45 | Mehrzweckraum Mehrzweckraum | Barrierefrei Induktionsschleifen für Gehöreingeschränkte | |
Fr 11.04.2014
|
09.30 - 11.45 | Mehrzweckraum Mehrzweckraum | Barrierefrei Induktionsschleifen für Gehöreingeschränkte | |
Fr 09.05.2014
|
09.30 - 11.45 | Mehrzweckraum Mehrzweckraum | Barrierefrei Induktionsschleifen für Gehöreingeschränkte | |
Fr 16.05.2014
|
09.30 - 11.45 | Mehrzweckraum Mehrzweckraum | Barrierefrei Induktionsschleifen für Gehöreingeschränkte | |
Fr 23.05.2014
|
09.30 - 11.45 | Mehrzweckraum Mehrzweckraum | Barrierefrei Induktionsschleifen für Gehöreingeschränkte | |
Fr 06.06.2014
|
09.30 - 11.45 | Mehrzweckraum Mehrzweckraum | Barrierefrei Induktionsschleifen für Gehöreingeschränkte | |
Fr 13.06.2014
|
09.30 - 11.45 | Mehrzweckraum Mehrzweckraum | Barrierefrei Induktionsschleifen für Gehöreingeschränkte | |
Fr 27.06.2014
|
09.30 - 11.45 | Mehrzweckraum Mehrzweckraum | Barrierefrei Induktionsschleifen für Gehöreingeschränkte |