![[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 | 2018-01-03 12:48 | 215K | |
| lec01-intro.pptx | 2018-01-03 12:47 | 200K | |
| lec02-program-logic.pdf | 2018-01-02 19:05 | 144K | |
| lec02-program-logic.pptx | 2018-01-02 19:05 | 110K | |
| lec03-loop-reasoning.pdf | 2018-01-01 19:39 | 143K | |
| lec03-loop-reasoning.pptx | 2018-01-01 19:39 | 119K | |
| lec04-specifications.pdf | 2018-01-11 15:53 | 221K | |
| lec04-specifications.pptx | 2018-01-11 15:53 | 221K | |
| lec05-adts.pdf | 2018-01-19 10:01 | 784K | |
| lec05-adts.pptx | 2018-01-19 10:00 | 157K | |
| lec06-representation-invariants.pdf | 2018-01-16 15:25 | 133K | |
| lec06-representation-invariants.pptx | 2018-01-16 15:25 | 89K | |
| lec07-abstraction-functions.pdf | 2018-01-16 15:28 | 190K | |
| lec07-abstraction-functions.pptx | 2018-01-16 15:28 | 82K | |
| lec08-testing.pdf | 2018-01-29 10:03 | 2.0M | |
| lec08-testing.pptx | 2018-01-28 12:13 | 1.4M | |
| lec09-equals.pdf | 2018-01-26 17:03 | 1.4M | |
| lec09-equals.pptx | 2018-01-26 17:03 | 139K | |
| lec10-exceptions.pdf | 2018-02-01 16:45 | 1.2M | |
| lec10-exceptions.pptx | 2018-02-01 14:21 | 242K | |
| lec11-design.pdf | 2018-01-29 10:02 | 824K | |
| lec11-design.pptx | 2018-01-29 10:02 | 157K | |
| lec12-subtyping.pdf | 2018-02-07 13:07 | 1.0M | |
| lec12-subtyping.pptx | 2018-02-07 10:46 | 145K | |
| lec13-generics.pdf | 2018-02-08 15:03 | 2.1M | |
| lec13-generics.pptx | 2018-02-08 14:59 | 163K | |
| lec14-debugging.pdf | 2018-02-21 17:33 | 1.2M | |
| lec14-debugging.pptx | 2018-02-21 17:33 | 1.4M | |
| lec15-events.pdf | 2018-02-15 18:13 | 952K | |
| lec15-events.pptx | 2018-02-15 18:13 | 149K | |
| lec16-graphics-code/ | 2018-02-23 16:42 | - | |
| lec16-graphics.pdf | 2018-02-23 16:37 | 1.1M | |
| lec16-graphics.pptx | 2018-02-23 16:37 | 197K | |
| lec17-gui-events-code/ | 2018-02-24 09:43 | - | |
| lec17-gui-events.pdf | 2018-02-24 09:42 | 625K | |
| lec17-gui-events.pptx | 2018-02-24 09:42 | 100K | |
| lec18-patterns-1.pdf | 2018-03-02 15:43 | 1.7M | |
| lec18-patterns-1.pptx | 2018-03-02 15:43 | 328K | |
| lec19-patterns-2.pdf | 2018-03-02 15:46 | 1.0M | |
| lec19-patterns-2.pptx | 2018-03-02 15:46 | 258K | |
| lec20-systems.pdf | 2018-03-07 08:34 | 815K | |
| lec20-systems.pptx | 2018-03-07 08:34 | 199K | |
| lec21-wrapup.pdf | 2018-03-08 17:51 | 370K | |
| lec21-wrapup.pptx | 2018-03-08 17:51 | 101K | |
| reasoning1.docx | 2018-01-01 18:56 | 37K | |
| reasoning1.pdf | 2018-01-01 18:57 | 104K | |
| reasoning2.docx | 2018-01-01 18:57 | 41K | |
| reasoning2.pdf | 2018-01-01 18:59 | 145K | |