Recommended text

Logic in Computer Science: modelling and reasoning about systems. by Michael Huth and Mark Ryan Second edition Cambridge University Press, 2004 ISBN: 052154310X

I'll be following this text fairly closely, so it's strongly recommended that you get a copy.

Lectures:

• Mondays at 15.00 in SLT
• Thursdays at 11.00 in Hall F, Arts Block

Labs:

• Tuesdays 12.00-14.00 in Lab 2

More course information will be available through the university's moodle system.