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
  2. Aussagenlogik
  3. Programme, Verifikation und Berechenbarkeit
  4. Prädikatenlogik
  5. Grundlagen
Last Change: Wed Nov 7 11:54:44 2018 |