![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| lec01-intro.pdf | 2023-06-18 01:44 | 1.8M | |
| lec01-motivation.pdf | 2023-06-20 22:24 | 4.1M | |
| lec02-loops.pdf | 2023-06-23 01:04 | 4.1M | |
| lec02-program-logic.pdf | 2023-06-18 01:44 | 278K | |
| lec03-loop-reasoning.pdf | 2023-06-18 01:44 | 251K | |
| lec03-reasoning-wrapup.pdf | 2023-06-25 23:33 | 4.1M | |
| lec04-specifications.pdf | 2023-06-28 08:15 | 4.1M | |
| lec05-adt-and-ri.pdf | 2023-06-29 23:21 | 4.2M | |
| lec06-af-and-exposure.pdf | 2023-07-03 07:56 | 4.1M | |
| lec06-code/ | 2023-07-31 08:39 | - | |
| lec07-testing.pdf | 2023-07-04 23:34 | 4.2M | |
| lec08-testing-and-design.pdf | 2023-07-06 23:33 | 3.9M | |
| lec09-design.pdf | 2023-07-09 22:32 | 4.2M | |
| lec10-tools.pdf | 2023-07-12 08:16 | 3.9M | |
| lec11-equality.pdf | 2023-07-13 23:50 | 3.9M | |
| lec12-exception.pdf | 2023-07-17 01:27 | 4.0M | |
| lec13-subtyping-i.pdf | 2023-07-18 23:41 | 3.9M | |
| lec13-subtyping-ii.pdf | 2023-07-20 23:08 | 4.7M | |
| lec14-generics-i.pdf | 2023-07-25 23:07 | 4.4M | |
| lec15-generics-ii.pdf | 2023-07-25 23:06 | 4.2M | |
| lec16-html-js.pdf | 2023-07-27 22:17 | 4.1M | |
| lec16-html-ts-code/ | 2023-07-27 22:42 | - | |
| lec17-react-intro-code/ | 2023-07-31 08:39 | - | |
| lec17-react-intro.pdf | 2023-07-31 08:37 | 434K | |
| lec18-react-intro.pdf | 2023-08-02 01:26 | 3.8M | |
| lec19-debugging.pdf | 2023-08-04 01:14 | 4.0M | |
| lec20-design-patterns-i.pdf | 2023-08-06 22:57 | 4.0M | |
| lec21-servers-code/ | 2023-08-09 01:57 | - | |
| lec21-servers.pdf | 2023-08-08 23:27 | 4.0M | |
| lec22-design-patterns-ii.pdf | 2023-08-11 07:45 | 4.0M | |
| lec23-system-stuff.pdf | 2023-08-14 00:41 | 3.8M | |
| lec24-ethics.pdf | 2023-08-16 01:56 | 3.8M | |
| lec25-wrapup.pdf | 2023-08-17 23:54 | 3.8M | |