Andreas Baudisch

Postal Address:
Humboldt-Universität zu Berlin
Institut für Mathematik
Sitz: Rudower Chaussee 25
D-10099 Berlin
030 / 2093-5824
Fax: 030 / 2093-5853
Office: Rudower Chaussee 25, Room 1.403
e-mail: baudisch@math.hu-berlin.de
Field of Interest : Model Theory

Publikationen

Lecture Camerino (June 2007): ps , pdf



Sommersemester 2013
Vorlesung „ Mathematische Logik“II

Literatur:

3~3~3 Logik. Spektrum Akad. Verlag, Heidelberg-Berlin-Oxford 1996.
Rautenberg, W.: Einführung in die mathematische Logik. Vieweg, Braunschweig-Wiesbaden 1996.
Rothmaler, P.: Einführung in die Modelltheorie. Spektrum, Akad. Verlag, Heidelberg, Berlin, Oxford 1995.
Schöning, U.: Logik für Informatiker, Spektrum Akad. Verlag, Heidelberg-Berlin-Oxford 1995.
Shoenfield, J.R.: Mathematical Logic. Addison-Wesley, Reading 1967 oder 200?.
Tuschik, H.-P.; Wolter, H.: Mathematische Logik - kurzgefasst. Spektrum Akad. Verlag, Heidelberg, Berlin, Oxford 2002


Zerlegungsbaum einer Formel pdf


Kapitel 10 pdf


Übungsaufgaben:

Serie 1: pdf

Serie 2: pdf

Serie 3: pdf

Serie 4: pdf

Serie 5: pdf

Serie 6: pdf

Serie 7: pdf

Serie 8: pdf

Serie 9: pdf

Serie 10: pdf

Serie 11: pdf

Serie 12: pdf




2. Klausurtermin Einführung in die math. Logik: Donnerstag, 14. März 2013, 10.00 Uhr, Raum 3.006 (RUD 25)