![[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 | 2022-03-30 01:10 | 1.8M | |
| lec02-program-logic.pdf | 2022-03-31 20:45 | 278K | |
| lec03-loop-reasoning.pdf | 2022-04-03 19:22 | 251K | |
| lec04-loop-development.pdf | 2022-04-05 21:58 | 191K | |
| lec04.5-reasoning-wrapup.pdf | 2022-04-09 16:51 | 189K | |
| lec05-specifications.pdf | 2022-04-12 21:50 | 436K | |
| lec06-adts.pdf | 2022-04-12 21:50 | 336K | |
| lec07-abstraction-functions.pdf | 2022-04-20 11:35 | 249K | |
| lec08-representation-invariants.pdf | 2022-04-20 11:35 | 291K | |
| lec09-testing.pdf | 2022-04-20 11:35 | 182K | |
| lec09-testing-ii.pdf | 2022-04-26 19:04 | 160K | |
| lec10-equals-ii.pdf | 2022-04-26 19:04 | 618K | |
| lec10-equals.pdf | 2022-04-26 19:04 | 154K | |
| lec11-assertions.pdf | 2022-04-26 19:04 | 109K | |
| lec11-exceptions.pdf | 2022-05-04 04:20 | 359K | |
| lec12-module-design.pdf | 2022-05-04 04:20 | 516K | |
| lec13-subtyping.pdf | 2022-05-04 04:20 | 232K | |
| lec14-generics.pdf | 2022-05-10 02:50 | 204K | |
| lec14-generics-ii.pdf | 2022-05-12 02:02 | 552K | |
| lec15-guis.pdf | 2022-05-19 20:45 | 472K | |
| lec16-javascript.pdf | 2022-05-19 20:45 | 209K | |
| lec17-react.pdf | 2022-05-19 20:45 | 268K | |
| lec18-debugging.pdf | 2022-05-23 21:39 | 677K | |
| lec19-servers.pdf | 2022-05-23 21:39 | 175K | |
| lec19-servers-ii.pdf | 2022-05-29 19:42 | 196K | |
| lec20-patterns.pdf | 2022-05-29 19:42 | 272K | |
| lec20-patterns-ii.pdf | 2022-06-03 09:55 | 419K | |
| lec21-startups.pdf | 2022-06-08 11:59 | 385K | |
| lec17-code/ | 2022-06-16 17:50 | - | |
| lec19-code-ii/ | 2022-06-16 17:50 | - | |
| lec07-code/ | 2022-06-16 17:51 | - | |
| lec14-code/ | 2022-06-16 17:51 | - | |
| lec15-code/ | 2022-06-16 17:51 | - | |
| lec16-code/ | 2022-06-16 17:51 | - | |
| lec19-code/ | 2022-06-16 17:52 | - | |
| lec01-motivation.pdf | 2022-06-22 01:22 | 502K | |
| lec02-loops.pdf | 2022-06-24 01:42 | 485K | |
| lec03-reasoning-wrapup.pdf | 2022-06-27 12:04 | 507K | |
| lec04-specifications.pdf | 2022-06-29 10:00 | 571K | |
| lec05-adt-and-ri.pdf | 2022-07-01 12:27 | 618K | |
| lec06-af-and-exposure.pdf | 2022-07-06 11:01 | 470K | |
| lec07-testing.pdf | 2022-07-08 12:23 | 522K | |
| lec08-testing-and-design.pdf | 2022-07-11 11:54 | 333K | |
| lec09-design.pdf | 2022-07-13 12:07 | 588K | |
| lec10-equality-and-hashcode.pdf | 2022-07-15 09:49 | 348K | |
| lec11-exception.pdf | 2022-07-18 16:15 | 463K | |
| lec12-subtyping-i.pdf | 2022-07-20 12:33 | 330K | |
| lec13-subtyping-ii.pdf | 2022-07-22 12:14 | 1.1M | |
| lec14-generics-i.pdf | 2022-07-25 03:05 | 819K | |
| lec15-generics-ii.pdf | 2022-07-27 10:04 | 609K | |
| lec16-html-js.pdf | 2022-07-29 10:29 | 550K | |
| lec16-html-ts-code/ | 2022-07-29 10:40 | - | |
| lec17-react-intro.pdf | 2022-08-01 09:27 | 447K | |
| lec17-react-intro-code/ | 2022-08-01 09:37 | - | |
| lec18-react-intro.pdf | 2022-08-04 19:33 | 319K | |
| lec19-debugging.pdf | 2022-08-05 11:52 | 459K | |
| lec20-design-patterns-i.pdf | 2022-08-08 11:52 | 397K | |
| lec21-servers.pdf | 2022-08-10 11:22 | 476K | |
| lec22-design-patterns-ii.pdf | 2022-08-12 12:07 | 609K | |
| lec23-system-integration.pdf | 2022-08-15 12:01 | 325K | |
| lec24-ethics.pdf | 2022-08-17 11:54 | 163K | |
| lec25-wrapup.pdf | 2022-08-19 12:25 | 202K | |
| lec06-code/ | 2023-06-16 11:43 | - | |
| lec21-servers-code/ | 2023-06-16 11:43 | - | |