2VO+1UE geblockt als 4VO+2UE in der zweiten Hälfte des WS11/12;
Beginn Di 22.Nov. 2011.
Vortragende: Sophie Frisch; die Übungen macht Frau Eichlseder.Ort und Zeit:
VO Di 12-14 C307, Do 16-18 C208; UE Mi 8-10.Zur Ergänzung der Vorlesung gibt es ein Seminar. Dort kann auf Wunsch Gödels Unvollständigkeitssatz erarbeitet werden, oder auch andere Themen wie Ultraprodukte.
Aussagenlogik und ihre Entsprechung in der Theorie der
Booleschen Algebren und der Verbandstheorie;
Sprachen erster Ordnung bis hin zum Gödelschen
Vollstaendigkeitssatz (jede widerspruchsfreie Theorie
hat ein Modell); Ultraprodukte wären natürlich lustig,
werden sich zeitlich aber nicht ausgehen.
Berechenbare und nicht berechenbare Funktionen,
primitiv rekursive Funktionen und μ-operator, Turing Maschinen,
Halteproblem; rekursive und rekursiv aufzählbare Mengen;
und aus Gründen der mathematischen Allgemeinbildung die
elementarsten Tatsachen über Ordinalzahlen und
Kardinalzahlen.
Es wird empfohlen, in erster Linie nach der eigenen Vorlesungsmitschrift zu lernen. Daneben gibt es auch Bücher, siehe unten. Die VO folgt größtenteils dem Buch von Cori und Lascar.