These pages contain lecture, tutorial and assessment material from COMP24411 Logic and Logic Programming as taught by Ron van der Meyden in session 1, 2000.

Course Outline:

Postscript version
PDF version