# Class Notes for CS245 at University of Waterloo (UW)

- 78 Results
- About UW

## CS245 Lecture Notes - Linear Temporal Logic, Temporal Logic, Modal Logic

112

O ce hours: monday and wednesday, after class, dc2336, or by appointment. 2. 6. 2 temporal logic model checking of reactive programs . We will use the

View Document## Assignment #7 + Solution Winter 2009

124

Due: thu 26 mar 2009 10am in the cs245 drop boxes. There may be multiple correct answers to this question: (40 marks) for each of the following program

View Document## CS245 Lecture Notes - Propositional Calculus, Eugenius Warming

42

Due: thu 22 jan 2009 10am in the cs245 drop boxes. There are multiple correct answers to some of these questions: (9 marks) express each of the followi

View Document## Assignment #2 + Solution Winter 2009

62

Due: thu 29 jan 2009 10am in the cs245 drop boxes. There may be multiple correct answers to some of these questions: (25 marks) for each of the followi

View Document## CS245 Lecture Notes - Lecture 1: University Of Waterloo, Parallelogram, Quadrilateral

28

## CS245 Lecture Notes - Lecture 2: Binary Tree, Structural Induction, Logical Possibility

25

Sketch of solutions (1) translation of the argument from english into propositional logic: p 1: t b m, p 2: t, p 3: m h, p 4: h, c: b. T b m h b m t b

View Document## Assignment #4 + Solution Winter 2009

78

Due: thu 5 mar 2009 10am in the cs245 drop boxes. There may be multiple correct answers to some of these questions: (8 marks) determine whether the fol

View Document## Assignment #5 + Solution Winter 2009

112

Due: thu 12 mar 2009 10am in the cs245 drop boxes. There may be multiple correct answers to some of these questions: (9 marks) formalize the following

View Document