COMP1002 Theory I

• Course notes for the logic part of COMP1002. 
• Slides. 
• Moodle.  The first assessed coursework will be a moodle quiz.  The deadline is 4th December.
• Tableau Implementation in Groovy.  This is the second assessed coursework.  It should handed-in electronically.  The deadline has not yet been set but it is likely to be mid-January 2011.
• Course assessment form, for my part of the course.
• First exercise sheet, for the problem classes on Tuesday 23rd November. Answers.
• Second exercise sheet, for the problem classes on Tueday 30th November. Answers.
• Third exercise sheet, for the problem classes on Tuesday 7th December.
• Fourth exercise sheet, for the problem classes on Tuesday 14th December.