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:

• Programming in Standard ML, by Robert Harper, CMU.
• Programmierung, by Gert Smolka. An introduction to programming using Standard ML (in German).
• Moscow ML. A nice implementation of Standard ML.
• Alice. Another implementation of Standard ML with a nice GUI.
• The Standard ML Basis Library
• Comp.Lang.ML FAQ