Seminar Semantik von intuitionistischen und klassischen Beweisen Universität Potsdam, Sommersemester 2006

Gliederung/Folien

Termin Thema es trägt vor Folien
09.06. Einführung Prof. Chr. Kreitz
16.06. Grundbegriffe der Kategorientheorie Dr. E. Richter pdf (I), pdf (II)
23.06. Universelle Konstruktionen und adjungierte Funktorpaare Dr. E. Richter pdf 

Veranstaltungen

Datenschutzerklärung · XHTML · CSS  Letzte Änderung:  tim at-Zeichen cs Punkt uni-potsdam Punkt de,  26.06.2006