Saarland University
Computer Science
Programming Systems
Teaching
ICL 2007


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

Introduction to Computational Logic: Lecture Notes

Lecture Notes (2007-07-19)

Lecture notes from previous runs of this course: 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 01 Jan 1970 00:00:00 UTC