SS 2012 » Logik und Grundlagen
Prof. Dr. Otto

ÜbersichtMaterialien

Aktuelles

18.06.2012Uebungsblatt 5: kleine Korrekturen in 5.1 (e) und 3 (i).
26.04.2012Veranstaltungs-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, MartinS2|15 20722861
Bárány, VinceS2|15 2042215

 

Vorlesung

TagUhrzeitin Raum
Montags9:50 - 11:30S103-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.

 

Aktuelles

Ordnungen, Formulare, etc.

Dokumente wie Prüfungsplan-formulare, Studien- und Prüfungspläne oder Modulhandbücher finden Sie im Downloadbereich

Sabine Bartsch
Iryna Bysaha
Meike Mühlhäußer
Alexandra Neutsch
Bettina Plutz (in Elternzeit)

Sprechzeiten:
Mo13:30-15:30
Mi, Do10:30-12:30

studienbuero(at)mathematik.tu-darmstadt.de

Studienberatung

Dr.-Ing. Cornelia Seeberg

Sprechzeiten:
Mo13:30-15:00
Mi10:30-12:00

Die Sprechstunden finden in Raum S2|15 241 statt. Es ist keine Terminvereinbarung notwendig.

Weitere Fragen bitte per Mail an:

studienberatung(at)mathematik.tu-darmstadt.de

 

 

A A A | Print Drucken | Impressum Impressum | Contact Kontakt
    zum Seitenanfangzum Seitenanfang