CS245 Final: Final + Solution of Winter 2005 useful for practice

• School: University of Waterloo
• Department: Computer Science
• Course: CS245
• Professor: Nancy Day

Document Summary

End time: 5:00 p. m: write your name and student number at the bottom of every page, write all solutions on the exam. The booklets are for scratch work: enjoy the summer everyone! Question mark max marker question mark max marker. Uw student id number (page 1 of 14) Total correctness requires termination and partial correctness does not require termination. or. Total correctness = partial correctness + termination: (1 mark) write a formula that is an invariant of every loop. true or a a, etc. Using the proof procedure, you may not be able to nd a proof for a valid argument. Uw student id number (page 2 of 14) Prove the following using transformational proof: (p q) (p ((r q) p)) (q p) (p q) (p ((r q) p)) (p q) (p ( (r q) p)) (p p) ( q p) Uw student id number (page 3 of 14)