Weekly outline
5 January - 11 January
Formalism and Z
- Introduction to formalism
- Introduction to Z
Reading: Textbook chs 1-4
12 January - 18 January
Introduction to Z and Modeling
- Elements of Z notation
- Modeling with sets and functions
Reading: Textbook chs 5-7
19 January - 25 January
Sets, Functions and Relations
- Sets, Functions and Relations
Reading: Textbook chs 8-9
26 January - 1 February
Logic et al
- Boolean Logic
- More topics in modeling and representation
Reading: Textbook chs 10-11
2 February - 8 February
Trees, Graphs and Graph Operations
- Trees, Graphs and Graph Operations
9 February - 15 February
LaTeX and CZT
- Introduction to LaTeX and CZT
- Writing correct specifications
Reading: Textbook ch 12
16 February - 22 February
Reasoning About State
- More about state
- Reasoning about state
Reading: Textbook chs 13-14
23 February - 29 February
Recursion and Induction
Reading: Chapter 15
1 March - 7 March
More on Modeling
- Some Textbook Cases
- A Detailed Study
- Reading: Textbook chs 17, 18; X Meets Z