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.
BACK
Back to main page
Related Sites
Tools Institutions People Courses Misc.
Nuprl 4.2 for CS671






Cornell CS
Darmstadt, Informatik
Halle, Informatik


Wolfgang Bibel
Bob Constable
Claire Cardie

CU Academic Calendar
CUCS Course Info
All CUCS Courses
CUCS 2001 Roster

CS 671 Home Page
CS 486 Home Page
CS 312 Home Page
Brown Bag Seminar
PRL Seminar

ATP Course Materials
Advice on Writing
Education Mailbase
Software similarity tester

CU Computing Facilities
CU Projection Equipment

HDA, TU Darmstadt



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