![[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 | 2016-09-28 09:28 | 252K | |
| lec01-intro.pptx | 2016-09-28 09:27 | 221K | |
| lec02-program-logic.pdf | 2016-09-28 18:38 | 188K | |
| lec02-program-logic.pptx | 2016-09-28 18:37 | 142K | |
| lec03-loop-reasoning.pdf | 2016-09-29 17:24 | 184K | |
| lec03-loop-reasoning.pptx | 2016-09-29 17:24 | 149K | |
| lec04-specifications.pdf | 2016-10-06 16:51 | 271K | |
| lec04-specifications.pptx | 2016-10-06 16:51 | 247K | |
| lec05-adts.pdf | 2016-10-07 17:56 | 240K | |
| lec05-adts.pptx | 2016-10-07 17:56 | 188K | |
| lec06-representation-invariants.pdf | 2016-10-14 09:32 | 191K | |
| lec06-representation-invariants.pptx | 2016-10-14 09:32 | 99K | |
| lec07-abstraction-functions.pdf | 2016-10-11 19:00 | 245K | |
| lec07-abstraction-functions.pptx | 2016-10-11 19:00 | 89K | |
| lec08-testing.pdf | 2016-10-14 16:56 | 1.1M | |
| lec08-testing.pptx | 2016-10-14 16:56 | 1.4M | |
| lec09-equals.pdf | 2016-10-21 16:32 | 230K | |
| lec09-equals.pptx | 2016-10-13 21:09 | 178K | |
| lec10-exceptions.pdf | 2016-10-27 15:43 | 288K | |
| lec10-exceptions.pptx | 2016-10-27 15:43 | 274K | |
| lec11-design.pdf | 2016-10-20 16:15 | 324K | |
| lec11-design.pptx | 2016-10-20 16:15 | 188K | |
| lec12-subtyping.pdf | 2016-11-04 09:47 | 236K | |
| lec12-subtyping.pptx | 2016-11-04 09:29 | 183K | |
| lec13-generics.pdf | 2016-11-16 09:46 | 280K | |
| lec13-generics.pptx | 2016-11-16 09:46 | 207K | |
| lec14-debugging.pdf | 2016-11-23 17:13 | 1.6M | |
| lec14-debugging.pptx | 2016-11-21 09:34 | 1.4M | |
| lec15-events.pdf | 2016-11-15 09:56 | 233K | |
| lec15-events.pptx | 2016-11-15 09:56 | 186K | |
| lec16-graphics-code/ | 2016-11-20 17:07 | - | |
| lec16-graphics.pdf | 2016-11-20 16:56 | 386K | |
| lec16-graphics.pptx | 2016-11-20 16:56 | 229K | |
| lec17-gui-events-code/ | 2016-11-23 17:31 | - | |
| lec17-gui-events.pdf | 2016-11-23 17:52 | 215K | |
| lec17-gui-events.pptx | 2016-11-23 17:52 | 131K | |
| lec18-patterns-1.pdf | 2016-11-29 16:18 | 465K | |
| lec18-patterns-1.pptx | 2016-11-29 16:17 | 368K | |
| lec19-patterns-2.pdf | 2016-12-02 22:01 | 255K | |
| lec19-patterns-2.pptx | 2016-12-02 22:01 | 273K | |
| lec20-systems.pdf | 2016-12-07 11:50 | 214K | |
| lec20-systems.pptx | 2016-12-07 10:15 | 217K | |
| lec21-wrapup.pdf | 2016-12-08 15:48 | 149K | |
| lec21-wrapup.pptx | 2016-12-08 15:48 | 108K | |
| reasoning1.docx | 2016-09-28 09:28 | 41K | |
| reasoning1.pdf | 2016-09-28 09:29 | 136K | |
| reasoning2.docx | 2016-09-29 16:58 | 49K | |
| reasoning2.pdf | 2016-09-29 16:58 | 175K | |