Saarland University
Computer Science
Programming Systems
Teaching
ICL 2008


Main page
Timetable
Literature
Lecture notes
Registration
Services
Exams and Grade
Login
Discussion Board

Introduction to Computational Logic: Lecture Notes

Lecture Notes (2008-07-14)

Lecture notes from previous runs of this course: Summer 2007, Summer 2006, Summer 2005, Summer 2004.

Biographies of important logicians are available at www-history.mcs.st-andrews.ac.uk.

The course assumes familarity with basic functional programming in the programming language Standard ML. Some useful links:

Last Change: Thu Dec 14 17:01:13 2017