Saarland University
Computer Science
Programming Systems
Teaching
ICL 2009


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

Introduction to Computational Logic: Lecture Notes

Lecture Notes (2009-8-2)

Lecture notes from previous runs of this course: Summer 2008 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: Mon Oct 16 13:11:03 2017