![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| lec01-intro.pptx | 2021-01-03 23:47 | 15M | |
| lec01-intro.pdf | 2021-01-03 23:47 | 9.4M | |
| reasoning2.docx | 2021-01-05 14:56 | 44K | |
| reasoning2.pdf | 2021-01-05 14:56 | 196K | |
| reasoning1.docx | 2021-01-06 23:04 | 38K | |
| reasoning1.pdf | 2021-01-06 23:04 | 161K | |
| lec02-program-logic.pptx | 2021-01-08 11:51 | 881K | |
| lec02-program-logic.pdf | 2021-01-08 11:51 | 495K | |
| lec03-loop-reasoning.pdf | 2021-01-13 17:04 | 329K | |
| lec03-loop-reasoning.pptx | 2021-01-13 17:04 | 183K | |
| lec04-specifications.pdf | 2021-01-15 09:11 | 335K | |
| lec04-specifications.pptx | 2021-01-15 09:12 | 236K | |
| lec05-adts.pdf | 2021-01-19 18:00 | 1.2M | |
| lec05-adts.pptx | 2021-01-20 12:28 | 343K | |
| lec06-representation-invariants.pptx | 2021-01-21 21:39 | 122K | |
| lec06-representation-invariants.pdf | 2021-01-21 21:40 | 289K | |
| lec07-abstraction-functions.pptx | 2021-01-21 22:18 | 110K | |
| lec07-abstraction-functions.pdf | 2021-01-21 22:20 | 333K | |
| lec08-testing.pptx | 2021-01-26 17:21 | 1.4M | |
| lec08-testing.pdf | 2021-01-26 17:21 | 395K | |
| lec09-design.pptx | 2021-01-28 15:30 | 266K | |
| lec09-design.pdf | 2021-01-28 15:30 | 538K | |
| lec10-equals.pptx | 2021-02-01 09:49 | 137K | |
| lec10-equals.pdf | 2021-02-01 09:49 | 275K | |
| lec11-exceptions.pdf | 2021-02-08 16:39 | 368K | |
| lec11-exceptions.pptx | 2021-02-08 16:39 | 249K | |
| lec12-subtyping.pdf | 2021-02-09 20:22 | 312K | |
| lec12-subtyping.pptx | 2021-02-09 20:22 | 154K | |
| lec13-generics.pptx | 2021-02-17 09:29 | 175K | |
| lec13-generics.pdf | 2021-02-17 09:29 | 389K | |
| lec14-callbacks.pptx | 2021-02-18 14:41 | 117K | |
| lec14-callbacks.pdf | 2021-02-18 14:41 | 230K | |
| lec15-code/ | 2021-02-21 18:05 | - | |
| lec15-code.zip | 2021-02-22 10:17 | 8.1K | |
| lec15-html-ts-overview.pptx | 2021-02-22 12:18 | 195K | |
| lec15-html-ts-overview.pdf | 2021-02-22 12:18 | 331K | |
| lec16-react-overview.pdf | 2021-02-23 18:21 | 267K | |
| lec16-react-overview.pptx | 2021-02-23 18:21 | 129K | |
| lec16-code.zip | 2021-02-24 17:42 | 175K | |
| lec17-debugging.pptx | 2021-02-28 12:58 | 1.3M | |
| lec17-debugging.pdf | 2021-02-28 12:59 | 1.7M | |
| lec18-servers.pptx | 2021-03-02 17:26 | 136K | |
| lec18-servers.pdf | 2021-03-02 17:26 | 352K | |
| lec19-patterns-1.pdf | 2021-03-04 16:04 | 560K | |
| lec19-patterns-1.pptx | 2021-03-04 16:04 | 343K | |
| lec20-patterns-2.pptx | 2021-03-04 16:18 | 265K | |
| lec20-patterns-2.pdf | 2021-03-04 16:18 | 276K | |
| lec21-systems.pdf | 2021-03-09 13:17 | 258K | |
| lec21-systems.pptx | 2021-03-09 13:17 | 235K | |
| lec23-wrapup.pdf | 2021-03-11 18:04 | 259K | |
| lec23-wrapup.pptx | 2021-03-11 18:05 | 105K | |
| lec13-generics-code/ | 2022-01-11 12:47 | - | |
| lec14-code/ | 2022-01-11 12:47 | - | |
| lec16-code/ | 2022-01-11 12:47 | - | |
| lec18-code/ | 2022-01-11 12:47 | - | |