CS3511 Discrete Methods Practicals will start in week 31. (In 2007, this is the week of Monday 5 Feb.) The information below is only approximate, until your tutorial starts (which is when I will have updated the information from last year). Place: Meston 011 Time: Tuesday afternoon, one group from 13:00-15:00 (max. 25 pers.) one group from 15:00-17:00 (max. 25 pers.) Week 31: Propositional Logic Exercises (in powerpoint): ( here) Answers (in powerpoint): ( here) Week 32: Propositional and Predicate Logic Exercises to start with: ( here) Further exercises (in pdf format): ( here) Answers (in pdf format): ( here) Week 33: Predicate Logic Exercises (in pdf format): ( here) These exercises should suffice for this week and the next. Answers (in pdf format): ( here) Week 34: Predicate logic We continue with last week's exercises. Week 35: Natural Deduction Exercises from the book. In Rosen, 6th edition, these are, from p.72-74, Ex. 7,8,9a,18,23,26,29,35. Answers (in Word format): ( here) Week 36: Proofs Selected exercises from the book Answers (in tex format): ( here) Week 37: Sets Selected exercises from the book Answers (in tex format): ( here) Week 38: Easter vacation Week 39: Easter vacation Week 40: Easter vacation Week 41: NO PRACTICALS THIS WEEK Week 42: Functions Selected exercises from the book Answers (in tex format): ( here) Week 43: Relations Selected exercises from the book Week 44: Induction Selected exercises from the book: ( here) Answers (in tex format): ( here) Week 45: No practicals Week 46: Exam week Week 47: Exam week Week 48: Exam week; end of session