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
<bueno@fi.upm.es>. <herme@fi.upm.es>.
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 <bueno@fi.upm.es>,<herme@fi.upm.es>. 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
<logalg@dia.fi.upm.es> 
