Saarland University
Informatics
Programming Systems
Teaching
ICL 2006


Main page
Timetable
Literature
Lecture notes
Registration
Services
Exams and Grade
Login
Mailing list

Introduction to Computational Logic: Lecture Notes

  1. Formulas as terms
  2. Axiomatization of terms
  3. Structures and Specifications
  4. Equational Deduction
  5. Boolean Algebra
  6. Propositional Logic
  7. 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:

Last Change: Thu 01 Jan 1970 00:00:00 UTC