Ruprecht-Karls-UniversitätHeidelberg
Startseite der Universität Startseite der Fakulttät Mathematisches Institut

Arbeitsgruppe Mathematische Logik und Theoretische Informatik 


Mathematische Logik


 
 

Auf dieser Seite finden sich Übungsaufgaben, Skript und Literatur sowie weitere Informationen zur Vorlesung Mathematische Logik von Prof. K. Gloede im Wintersemester 2003/04.

Aktuelles 

04.12.03: Auf Beschluss des Fakultätsrates müssen ab diesem Semester alle Übungsscheine benotet werden. Näheres dazu in den Übungen.

Vorlesung 

Mo, Do 11-13 Uhr, INF 294, HS -104.

Prof. Dr. Klaus Gloede
INF 294, Zimmer 012
email: gloede@math.uni-heidelberg.de
Sprechstunde: Di 14-15 h (i.A. auch in der vorlesungsfreien Zeit)
Telefonisch ist Prof. Gloede nicht zu erreichen; Sie können Ihn jedoch außerhalb der Sprechstunde natürlich auch nach der Vorlesung persönlich ansprechen.

Assistenten 

Jan Reimann
INF 294, Zimmer 006
Tel.: 06221-54-6282
email: reimann@math.uni-heidelberg.de
Sprechstunde: Di 14-15 h (und n.V.)
persönliche home page: http://math.uni-heidelberg.de/logic/reimann/reimann.html

Paolo Di Muccio
INF 294, Zimmer 011
Tel.: 06221-54-5777
email: pmuccio@ix.urz.uni-heidelberg.de

Übungsaufgaben 

Literatur
und
Skripten 

Skript von Herrn Gloede

Literatur

Andere Skripten:


 

Zurück

Startseite der Arbeitsgruppe


Verantwortlich: Jan Reimann
Letzte Änderung: 18. November 2003