25 May:
The eleventh assignment is now available.
If you want to preprare for the next lecture, a brief introduction to modal logic is available from the Stanford Encyclopedia of Philosophy. There is also Chapter 11 of the textbook, on Temporal Logic, which a specific kind of modal logic.
18 May:
The tenth assignment is now available.
The lecture notes I handed out in class are available in PDF form here.
11 May:
The nineth assignment is now available.
11 May:
The lecture notes I handed out in class are available in PDF form
here
4 May:
The eighth assignment is now available.
27 April:
The seventh assignment is now available.
20 April:
The sixth assignment is now available.
20 April:
Minor change in the order of lectures:
Intro to Modal Logic will be in Week 12, not Week 11.
The course introduction has been updated.
6 April:
The fifth assignment is now available.
It is due at the next lecture, in 2 weeks.
30 March:
The fourth assignment is now available.
27 March:
I don't have any supplemental material on the Tseitin transformation,
but you can look at the folowing presentations, which discuss it.
This one
addresses transforming formulas,
while
this one and
this
one address transforming circuits (but this is essentially the same problem).
23 March:
The third assignment is now available.
16 March:
The second assignment is now available.
9 March:
The first assignment is now available.
2 March:
The
course introduction
has been finalized.
2 February:
Website under revision.
2 February:
COMP 4415 gives you the basis to continue your study of logic in computer science.
The Logic Summer School is a highly recommended in-depth introduction to many aspects of logic important to computer science. It is now part of a wider school covering several AI topics. The school is held for 2 weeks, usually in late January, and the fee for students is very low.
The European Masters in Computational Logic is a two year degree taken in two of five European universities.There are scholarships available for non-European students.