Saarland University
Computer Science
Programming Systems
Teaching
ICL 2004


Main page
Timetable
Literature
Lecture notes
Registration
Services
Exams
Mailing list

Introduction to Computational Logic: Lecture Notes

There are lecture notes Gert Smolka has written for previous runs of this course. They are in German. The most recent version is from Summer 2003.

The course assumes familarity with basic functional programming and Standard ML as it is taught in our beginners course Programmierung.

1. Typtheorie
   • Skript (pdf 2004/5/18)
2. Aussagenlogik
   • Skript (pdf 2003/6/2)
   • Folien Solving Boolean Equations with BDDs and Clause Forms (pdf 2004/6/2)
3. Programme, Verifikation und Berechenbarkeit
   • Programme (pdf 2003/7/2)
   • Verifikation (pdf 2004/6/23)
   • Berechenbarkeit (pdf 2004/7/11)
4. Prädikatenlogik
   • Skript (pdf 2004/7/14)
5. Grundlagen
   • Mengenlehre (pdf 2004/6/30) (aus dem Skript für Programmierung)
   • Regelsysteme und Abschlussoperatoren (pdf 2004/7/20)