602016 Einführung in die mathematische Logik

Wintersemester 2002/2003 | Stand: 12.06.2002 LV auf Merkliste setzen
Institut für Philosophie Institut für Philosophie
ao. Univ.-Prof. Veit Pittioni ao. Univ.-Prof. Veit Pittioni
602016
Einführung in die mathematische Logik
VO 2
wöch.
keine Angabe
keine Angabe
Einführung in die begrifflichkeit und methoden der mathematischen logik
Wir beginnen mit der sprache der logik und danach entwickeln wir die aussagen-logik relativ ausführlich. Die prädikatenlogik wird schon wesentlich kürzer behan-delt. Die metalogik wird sowohl in ihren allgemeinen zielsetzungen als auch an hand einiger ihrer wichtigsten theoreme vorgestellt. Prominenten raum nimmt dabei der unvollständigkeitssatz von Gödel ein. Auch ein kleine einführung in die mo-delltheorie soll vorgetragen werden.
Mein skriptum
Beginn: 7.10.2002
Mo. 10.30 - 12.15 Uhr, UR 15