cs245-w05-nday-midterm-exam - University of Waterloo...

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: University of Waterloo Midterm Examination Term: Winter Year: 2005 Student Name UW Student ID Number Course Abbreviation and Number CS 245 Course Title Logic and Computation Sections SE112 - 001 and CS245 - 001, 002, 003 Instructor Shalini Aggarwal, Nancy Day Date of Exam Thursday, February 10, 2005 Time Period Start time: 4:30 p.m. End time: 6:30 p.m. Duration of Exam 2 hours Number of Exam Pages 13 pages (including this cover sheet) Exam Type Closed book Additional Materials Allowed NO ADDITIONAL MATERIALS ALLOWED Write your name and student number at the bottom of every page. Write all solutions on the exam. The booklets are for scratch work. There are blank truth tables on the last page for use with any question. Good luck everyone! Question Mark Max Marker Question Mark Max Marker 1 5 7 9 2 5 8 6 3 7 9 9 4 12 10 14 5 9 11 11 6 13 Total 100 Name UW Student ID (page 1 of 13) 1 (5 Marks) Short Answer 1. Can transformational proof be used to show an argument in propositional logic is valid? If so, what do you prove in transformational proof about an argument of the form p q where p and q may be compound formulas?...
View Full Document

Page1 / 13

cs245-w05-nday-midterm-exam - University of Waterloo...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online