COSC 5P02
Logic in Computer Science

• The logic program (keyboard overlay)

• Tue & Thu, 2:00pm-3:30pm, Fall 2010
• Room: MCJ205
  

• Course material
  

Term Test 1 (30 min): October 05, 2010 (in class)

Term Test 2 (30 min): November 02, 2010 (in class)

Term Test 3 (30 min): November 23, 2010 (in class)

Final exam (oral, 45 min): Friday, December 03, 2010, Schedule

• Logic in Computer Science, 2nd edition, M. Huth & M. Ryan, Cambridge University Press (2004), ISBN 0-521-54310-X
• Mathematical Introduction to Logic, 2nd edition, H.B. Enderton, Academic Press (2001), ISBN 0-12-238452-0
• Logic for Mathematics and Computer Science, S.N. Burris, Pearson Education (1998), ISBN 0-13-285974-2