Saarland University

Informatics

Programming Systems

Teaching

ICL 2006

Main page

Timetable

Literature

Lecture notes

Registration

Services

Exams and Grade

Login

Mailing list

- Formulas as terms
- Axiomatization of terms
- Structures and Specifications
- Equational Deduction
- Boolean Algebra
- Propositional Logic
- Predicate Logic

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

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

The course assume 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