![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| lec01-intro.pdf | 2015-09-30 16:56 | 276K | |
| lec01-intro.pptx | 2015-09-30 16:56 | 252K | |
| lec02-program-logic.pdf | 2015-10-02 11:34 | 187K | |
| lec02-program-logic.pptx | 2015-10-02 09:45 | 148K | |
| lec03-loop-reasoning.pdf | 2015-10-01 14:54 | 183K | |
| lec03-loop-reasoning.pptx | 2015-10-01 14:54 | 148K | |
| lec04-specifications.pdf | 2015-10-13 18:24 | 270K | |
| lec04-specifications.pptx | 2015-10-12 11:21 | 255K | |
| lec05-adts.pdf | 2015-10-09 16:52 | 172K | |
| lec05-adts.pptx | 2015-10-09 16:52 | 137K | |
| lec06-representation-invariants.pdf | 2015-10-13 18:45 | 204K | |
| lec06-representation-invariants.pptx | 2015-10-13 18:44 | 99K | |
| lec07-abstraction-functions.pdf | 2015-10-13 18:55 | 245K | |
| lec07-abstraction-functions.pptx | 2015-10-13 18:55 | 88K | |
| lec08-testing.pdf | 2015-10-16 17:45 | 1.1M | |
| lec08-testing.pptx | 2015-10-16 17:45 | 1.4M | |
| lec09-equals.pdf | 2015-10-23 19:33 | 229K | |
| lec09-equals.pptx | 2015-10-23 19:32 | 185K | |
| lec10-exceptions.pdf | 2015-10-27 19:03 | 288K | |
| lec10-exceptions.pptx | 2015-10-27 19:03 | 282K | |
| lec11-design.pdf | 2015-10-20 14:38 | 323K | |
| lec11-design.pptx | 2015-10-20 14:38 | 194K | |
| lec12-subtyping.pdf | 2015-10-31 17:44 | 237K | |
| lec12-subtyping.pptx | 2015-10-31 17:43 | 192K | |
| lec13-generics.pdf | 2015-11-05 16:58 | 277K | |
| lec13-generics.pptx | 2015-11-05 16:59 | 216K | |
| lec14-debugging.pdf | 2015-11-13 16:21 | 1.6M | |
| lec14-debugging.pptx | 2015-11-13 16:21 | 1.4M | |
| lec15-events.pdf | 2015-11-16 09:47 | 233K | |
| lec15-events.pptx | 2015-11-16 09:47 | 194K | |
| lec16-graphics-code/ | 2015-11-22 21:22 | - | |
| lec16-graphics.pdf | 2015-11-22 21:32 | 386K | |
| lec16-graphics.pptx | 2015-11-22 21:32 | 237K | |
| lec17-gui-events-code/ | 2015-11-24 14:23 | - | |
| lec17-gui-events.pdf | 2015-11-24 14:57 | 212K | |
| lec17-gui-events.pptx | 2015-11-24 14:57 | 136K | |
| lec18-patterns-1.pdf | 2015-12-01 14:58 | 465K | |
| lec18-patterns-1.pptx | 2015-12-04 11:12 | 359K | |
| lec19-patterns-2.pdf | 2015-12-03 16:13 | 255K | |
| lec19-patterns-2.pptx | 2015-12-03 16:12 | 273K | |
| lec20-systems.pdf | 2015-12-08 16:55 | 214K | |
| lec20-systems.pptx | 2015-12-08 16:54 | 215K | |
| lec21-wrapup.pdf | 2015-12-11 11:40 | 152K | |
| lec21-wrapup.pptx | 2015-12-11 11:20 | 108K | |
| reasoning1.docx | 2015-09-30 16:00 | 40K | |
| reasoning1.pdf | 2015-09-30 16:24 | 135K | |
| reasoning2.docx | 2015-10-01 15:00 | 50K | |
| reasoning2.pdf | 2015-10-01 15:16 | 167K | |