![[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 | - | ||
| TypeErasure.java | 2019-12-18 15:40 | 1.2K | |
| lec01-intro.pdf | 2020-01-06 15:35 | 6.9M | |
| lec01-intro.pptx | 2020-01-06 15:35 | 13M | |
| lec02-program-logic.pdf | 2020-01-08 11:38 | 157K | |
| lec02-program-logic.pptx | 2020-01-08 11:38 | 117K | |
| lec03-loop-reasoning.pdf | 2020-01-08 18:42 | 142K | |
| lec03-loop-reasoning.pptx | 2020-01-08 18:41 | 117K | |
| lec04-specifications.pdf | 2020-01-15 10:11 | 148K | |
| lec04-specifications.pptx | 2020-01-15 10:11 | 155K | |
| lec05-adts.pdf | 2020-01-20 18:02 | 371K | |
| lec05-adts.pptx | 2020-01-20 18:02 | 338K | |
| lec06-representation-invariants.pdf | 2020-01-21 14:32 | 168K | |
| lec06-representation-invariants.pptx | 2020-01-21 14:32 | 119K | |
| lec07-abstraction-functions.pdf | 2020-01-21 14:40 | 259K | |
| lec07-abstraction-functions.pptx | 2020-01-21 14:40 | 110K | |
| lec08-testing.pdf | 2020-01-29 10:10 | 1.0M | |
| lec08-testing.pptx | 2020-01-29 10:10 | 1.4M | |
| lec09-design.pdf | 2020-01-30 13:14 | 321K | |
| lec09-design.pptx | 2020-01-30 13:10 | 243K | |
| lec10-equals.pdf | 2020-02-05 12:39 | 174K | |
| lec10-equals.pptx | 2020-02-05 12:39 | 133K | |
| lec11-exceptions.pdf | 2020-02-10 12:03 | 256K | |
| lec11-exceptions.pptx | 2020-02-10 12:02 | 245K | |
| lec12-subtyping.pdf | 2020-02-12 11:50 | 186K | |
| lec12-subtyping.pptx | 2020-02-12 11:50 | 150K | |
| lec13-generics.pdf | 2020-02-11 15:38 | 224K | |
| lec13-generics.pptx | 2020-02-11 15:38 | 170K | |
| lec14-callbacks.pdf | 2020-02-20 21:47 | 144K | |
| lec14-callbacks.pptx | 2020-02-20 21:47 | 111K | |
| lec14-code/ | 2020-01-22 13:18 | - | |
| lec15-code/ | 2019-12-18 15:40 | - | |
| lec15-javascript-overview.pdf | 2020-02-23 22:51 | 173K | |
| lec15-javascript-overview.pptx | 2020-02-23 22:36 | 111K | |
| lec16-code.zip | 2020-02-28 11:06 | 154K | |
| lec16-code/ | 2020-02-25 16:23 | - | |
| lec16-react-overview.pdf | 2020-02-26 17:09 | 122K | |
| lec16-react-overview.pptx | 2020-02-26 17:03 | 127K | |
| lec17-debugging.pdf | 2020-02-27 17:03 | 2.6M | |
| lec17-debugging.pptx | 2020-02-27 16:30 | 1.2M | |
| lec18-code/ | 2020-03-03 13:19 | - | |
| lec18-servers.pdf | 2020-03-04 10:32 | 339K | |
| lec18-servers.pptx | 2020-03-04 10:32 | 130K | |
| lec19-patterns-1.pdf | 2020-03-05 14:18 | 545K | |
| lec19-patterns-1.pptx | 2020-03-05 14:17 | 339K | |
| lec20-patterns-2.pdf | 2020-03-05 14:18 | 318K | |
| lec20-patterns-2.pptx | 2020-03-05 14:18 | 265K | |
| lec21-systems.pdf | 2020-03-11 17:23 | 425K | |
| lec21-systems.pptx | 2020-03-11 17:51 | 232K | |
| lec22-connection-to-ethics.pdf | 2020-03-11 17:49 | 63K | |
| lec22-connection-to-ethics.pptx | 2020-03-11 17:49 | 61K | |
| lec23-wrapup.pdf | 2020-03-06 19:37 | 159K | |
| lec23-wrapup.pptx | 2020-03-06 19:37 | 106K | |
| reasoning1.docx | 2020-01-03 17:41 | 35K | |
| reasoning1.pdf | 2020-01-03 17:41 | 114K | |
| reasoning2.docx | 2020-01-03 17:41 | 44K | |
| reasoning2.pdf | 2020-01-03 17:41 | 151K | |