SoSe 2012 » Logik und Grundlagen
Prof. Dr. Otto

Übersicht

Aktuelles

18.06.2012	Uebungsblatt 5: kleine Korrekturen in 5.1 (e) und 3 (i).
26.04.2012	Veranstaltungs-Termine Am 14.5. fällt die Vorlesung aus. Stattdessen wird am 7.5. von 8:00 bis 11:30 eine Vorlesung doppelter Länge gehalten! Vorgesehene Termine der Gruppenübungen: 19.4. 03.5. 10.5. 31.5. 14.6. 28.6. 12.7.

Veranstalter

Name	Raum	Tel.
Otto, Martin	S2\|15 207	22861
Bárány, Vince	S2\|15 204	2215

Vorlesung

Tag	Uhrzeit	in Raum
Montags	9:50 - 11:30	S103-226

Literatur

Schindler, R.: Logische Grundlagen der Mathematik. Springer, 203pp., 2009.
Kay, R.: The Mathematics of Logic. CUP, 204pp., 2007
Forster, T.: Logic, Induction and Sets. CUP, 234pp., 2003

Lehrinhalte

Elementare Logik: Aussagenlogik und Logik erster Stufe; Syntax, Semantik und Beweiskalküle. Elementare axiomatische Mengenlehre; mengentheoretische Modellierung mathematischer Objekte; Ordinalzahlen, Kardinalzahlen. Berechenbarkeit, Entscheidbarkeit und Aufzählbarkeit anhand eines einfachen Berechnungsmodells.