![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 201024.201026.formal-spec-and-design-of.pdf | 2022-04-19 00:24 | 2.4M | |
| Document8.pdf | 2022-02-04 14:38 | 44K | |
| HW01 1303.pdf | 2022-02-07 14:56 | 138K | |
| HW02 Shift Reg(2).pdf | 2022-02-10 20:03 | 85K | |
| HW02_hint.txt | 2022-02-15 15:18 | 1.0K | |
| HW03 Region Labeling(1).pdf | 2022-02-20 13:10 | 73K | |
| HW04 Region Labeling Proof(1).pdf | 2022-03-01 13:35 | 96K | |
| HW05 Transpose(1).pdf | 2022-03-05 12:59 | 62K | |
| HW06 Hand Brake.pdf | 2022-03-12 13:04 | 47K | |
| HW07 Elevator.pdf | 2022-03-25 23:18 | 46K | |
| HW08 Zeros.pdf | 2022-04-09 13:13 | 177K | |
| HW09 Router.pdf | 2022-04-20 16:07 | 103K | |
| Lecture notes 01 Introduction.pdf | 2022-01-22 21:58 | 142K | |
| Lecture notes 02 Notation.pdf | 2022-01-26 15:56 | 271K | |
| Lecture notes 03 Proof Logic.pdf | 2022-02-10 20:06 | 187K | |
| Lecture notes 04 Proofs.pdf | 2022-02-20 13:11 | 165K | |
| Lecture notes 05 Theorems.pdf | 2022-03-12 13:03 | 154K | |
| Lecture notes 06 Architecture.pdf | 2022-03-26 00:03 | 161K | |
| Lecture notes 07 Shortest Path.pdf | 2022-04-09 13:13 | 173K | |
| graded/ | 2022-04-26 00:00 | - | |