SS 2008 » Introduction to Mathematical Logic
Prof. Dr. Otto

ÜbersichtExercisesSolutions

Aktuelles

15.05.2008A mistake in the solution sketch for Exercise 1 on the first exercise sheet has been corrected. While the standard model of the ordered group of integer addition (without multiplication and 1) has as substructures just the one-element groupand isomorphic copies of itself, embedded via multiplication with a fixed natural number, as its substructures, these substructures are of distinct isomorphism types when multiplication is present as well!
14.05.2008In the diagram depicting the ordinal numbers (in the excursion included in exercise sheet 6), the finite multiples of omega should have been labelled omega 2, omega 3 (and not in the opposite order). Ordinal multiplication is not commutative, and this is the right convention. Sorry.
09.04.2008Exercise no.2 on sheet no.2 needs to be postponed, since we did not yet define logical equivalence and consequence. Sorry.

 

Veranstalter

Name Raum Tel.
Prof. Dr. Martin OttoS2|15 20722861

 

Aktuelles

Achtung: Vom 23.04.2018 bis 25.04.2018 ist das Studienbüro wegen Semestervorbereitung geschlossen! Die Sprechstunden entfallen!


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