course_outline
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| course_outline [2011/01/05 18:13] – jonathan | course_outline [2011/01/05 18:15] (current) – jonathan | ||
|---|---|---|---|
| Line 3: | Line 3: | ||
| It is important to do all the readings associated with the course from the textbook. There are some items in the readings that we will not have time to cover in class, but this material may be on the exam. | It is important to do all the readings associated with the course from the textbook. There are some items in the readings that we will not have time to cover in class, but this material may be on the exam. | ||
| - | ===== Week 1 ===== | + | ===== Week 1: Jan 4===== |
| Introduction - Administrivia. | Introduction - Administrivia. | ||
| Line 26: | Line 26: | ||
| What does it mean for a class to be correct? Proof obligations. | What does it mean for a class to be correct? Proof obligations. | ||
| - | **Readings**: | + | **Required |
| - | ===== Week 3 (March 16th) ===== | + | ===== Week 3 ===== |
| **Readings**: | **Readings**: | ||
| Line 39: | Line 39: | ||
| - | ===== Week 4 (March 23) ===== | + | ===== Week 4 ===== |
| | | ||
course_outline.1294251219.txt.gz · Last modified: 2011/01/05 18:13 by jonathan