Course Material by Christoph Kreitz

Course Notes (Unterlagen zu Vorlesungen)
Since 1989 I have given computer science courses at the Darmstadt University of Technology, the University of Halle, and at Cornell University - both at the undergraduate and the graduate level. For the courses in Germany I have developed more or less elaborated manuscripts and/or sets of slides that I made publicly available to the students. Written notes for the lectures at Cornell are available as well.
The course pages accessible through this page link to the latest versions, which are available online in postscript or PDF format. Manuscripts are also provided in 2:1 reduced postscript format and slides in 4:1 reduction. A list of web pages related to teaching is given to simplify cross references. It also includes pointers to software tools that were written or customized for particular courses.
Related Sites
Tools Institutions People Courses Misc.


CS 786: Computational Type Theory
Cornell University, Spring 2000

CS 671: Introduction to Automated Reasoning
Cornell University, Fall 1997-2002

CS486: Applied Logic
Cornell University, Spring 1999-2003

Cogst 773: Cognitive Studies Proseminar
Cornell University, Fall 1999 (Slides of October 5 lecture)

CS 715: PRL Seminar
Cornell University, 1997-2000

Brown Bag Seminar
Cornell University, 1997-2001 (Slides the most recent lecture)


Entwurf zuverlässiger Software.
Vorlesung, Universität Halle (Kompletter Foliensatz)

Grundlagen der Datenbanken.
Vorlesung, Universität Halle (Kompletter Foliensatz).

Inferenzmethoden.
Vorlesung, Technische Universität Darmstadt (Kompletter Foliensatz).

Automatisierte Logik und Programmierung.
Vorlesung, Technische Universität Darmstadt (Skriptum, 350 Seiten)

Grundlagen der Informatik I: Programmierung
Vorlesung, Technische Universität Darmstadt (Skriptum, 200 Seiten)

Grundlagen der Informatik IV: Theoretische Informatik.
Vorlesung/Repetitorium, Technische Universität Darmstadt (Skriptum, 40 Seiten)

BACK
Back to main page

AltStyle によって変換されたページ (->オリジナル) /