602017 Übungen zur mathematischen Logik
Wintersemester 2002/2003 | Stand: 12.06.2002 | LV auf Merkliste setzen602017
Übungen zur mathematischen Logik
UE 1
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.
Teilnehmer an den logikübungen müssen sich bei mir persönlich anmelden. Ende der anmeldefrist: 15. 11. 2002
Beginn: 7.10.2002
Beginn: 7.10.2002
Mo. 12.15 - 13 Uhr, UR 15
- Geisteswissenschaftliche Fakultät