## Weekly outline

### General

### 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

### 8 March - 14 March

### Review and Synthesis