Welcome to
First-Order Logic
COMP4415
Session 1, 2008
Announcements
2 Feb: Website under revision.
28 Feb: Website revised.
24 April: please email Alfredo to get your A2 mark
24 April: Assignment 5 is now available.
1 May: Assignment 6 is now available.
9 May: Assignment 7 is now available.
15 May: Assignment 8 is now available.
22 May: Assignment 9 is now available.
30 May: Assignment 10 is now available.