Lehrveranstaltungen im Sommersemester 2000

 
  • Vorlesung Geschichte der Algebra; Mo 11-13 Uhr; Hörsaal N 9; Prof. Felgner

  •  
  • Vorlesung Mathematik IV für Bioinformatiker (Diskrete Mathematik und Logik); Mi 10-12 Uhr; Hörsaal 1B01; Prof. Felgner

  •  
  • Übungen zur Vorlesung Mathematik IV für Bioinformatiker (Diskrete Mathematik und Logik); Do 16-18 Uhr; Seminarraum S8; Torsten Schatz

  •  
  • Seminar (Mathematische Logik, Mengenlehre); Mo 14-16 Uhr; Seminarraum S 9; Prof. Felgner

  •  

     

    Arbeitsgemeinschaft Modelltheorie und Mengenlehre

    5. Juni 2000
    14 c.t. Eberhard Guhe
    Der Originalbeweis des Gödelschen Vollständigkeitssatzes
    26. Juni 2000
    14 c.t. Ulrich Felgner Aronszajn-Bäume
    3. Juli 2000
    14 c.t. Reinhard Kahle Die Hilbert-Paradoxie
    17. Juli 2000
    14 c.t. Martin Leitz-Martini Existenz alpha+-saturierter Ultraprodukte

     

     Zurück zur Homepage des Arbeitsbereichs Mathematische Logik