Computación Lógica (Doctorado 2001-02)

Welcome to the home page of Computación Lógica, a one-semester course on applied computional logic covering both theory and practice. This course is part of the Ph.D. program of the Department of Artificial Intelligence, School of Computer Science, Technical University of Madrid.

The course is taught this year by:

who is a member of the CLIP (Computational Logic, Implementation and Parallelism) research group.

Please note that this information is all under (permanent?) construction. Comments, questions, raves, rants, etc., as well as administrative questions regarding e.g. grading, changes in the schedule, etc., regarding this course should be directed by email to <>. <>.

Note to web surfers: You are welcome to use all or part of this course material, but if you do so we ask you to please quote the origin. We would also very much appreciate if you let us know that you are using it and send us any errors you may find by email to <>,<>. Thanks in advance.
Main information on the course:
Course Slides (in English): On-line versions of the course slides. The principal pointers point to the html versions, suitable for WWW browsing. The ps pointers point to the full size postscript versions, suitable for viewing on-line with, for example, ghostscript/ghostview. The ps-2perpage pointers point to the reduced postscript versions (two or more slides per page), which are suitable for printing. Note that some slides may have not been updated yet for this academic year, and that any file may be (hopefully) improved at any time.

Last modified: Thu Feb 19 21:17:05 1998 <>