![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/tex.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 02-coding.pdf | 2023-12-03 12:13 | 514K | |
| 05-loop-progs.pdf | 2023-12-03 12:13 | 401K | |
| 08-wild-computation.pdf | 2023-12-03 12:13 | 571K | |
| 10-induction.pdf | 2023-12-03 12:13 | 514K | |
| 10-register-mach.pdf | 2023-12-03 12:13 | 485K | |
| 12-memoryless.pdf | 2023-12-03 12:13 | 534K | |
| 17-closure.pdf | 2023-12-03 12:13 | 493K | |
| 20-groups.pdf | 2023-12-03 12:13 | 880K | |
| 20-models.pdf | 2023-12-03 12:13 | 398K | |
| 20-recursion.pdf | 2023-12-03 12:13 | 1.6M | |
| 22-minimization.pdf | 2023-12-03 12:13 | 579K | |
| 24-fast-minimization..> | 2023-12-03 12:13 | 378K | |
| 30-decidability.pdf | 2023-12-03 12:13 | 1.5M | |
| 30-iteration.pdf | 2023-12-03 12:13 | 618K | |
| 32-iteration.pdf | 2023-12-03 12:13 | 956K | |
| 34-iteration.pdf | 2023-12-03 12:13 | 13M | |
| 40-ffields.pdf | 2023-12-03 12:13 | 619K | |
| 40-fundamentals.pdf | 2023-12-03 12:13 | 351K | |
| 41-ffields.pdf | 2023-12-03 12:13 | 453K | |
| 42-ffield-apps.pdf | 2023-12-03 12:13 | 601K | |
| 42-ffields-apps.pdf | 2023-12-03 12:13 | 534K | |
| 50-reductions.pdf | 2023-12-03 12:13 | 429K | |
| 52-rational.pdf | 2023-12-03 12:13 | 545K | |
| 60-arith-hier.pdf | 2023-12-03 12:13 | 367K | |
| 70-intermediate.pdf | 2023-12-03 12:13 | 718K | |
| F23-00-primrec.pdf | 2023-12-03 12:13 | 390K | |
| F23-24-actions.pdf | 2023-12-03 12:13 | 534K | |
| F23-26-polya-redfiel..> | 2023-12-03 12:13 | 913K | |
| F23-40-fol-basics.pdf | 2023-12-03 12:13 | 418K | |
| F23-50-automatic.pdf | 2023-12-03 12:13 | 1.4M | |
| F23-iteration.pdf | 2023-12-03 12:13 | 13M | |
| cdm-intro-2023.pdf | 2023-12-03 12:13 | 2.1M | |
| hw-01-sol.pdf | 2023-12-03 12:13 | 229K | |
| hw-01.pdf | 2023-12-03 12:13 | 206K | |
| hw-02-sol.pdf | 2023-12-03 12:13 | 273K | |
| hw-02.pdf | 2023-12-03 12:13 | 215K | |
| hw-03-sol.pdf | 2023-12-03 12:13 | 323K | |
| hw-03.pdf | 2023-12-03 12:13 | 272K | |
| hw-04-sol.pdf | 2023-12-03 12:13 | 274K | |
| hw-04.pdf | 2023-12-03 12:13 | 203K | |
| hw-05-sol.pdf | 2023-12-03 12:13 | 248K | |
| hw-05.pdf | 2023-12-03 12:13 | 206K | |
| hw-06-sol.pdf | 2023-12-03 12:13 | 258K | |
| hw-06.pdf | 2023-12-03 12:13 | 200K | |
| hw-07.pdf | 2023-12-03 12:13 | 188K | |
| hw-08.pdf | 2023-12-03 12:13 | 200K | |
| hw-08.tex | 2023-12-03 12:13 | 12K | |
| hw-09.pdf | 2023-12-03 12:13 | 148K | |
| midterm-19.pdf | 2023-12-03 12:13 | 135K | |
| midterm-21.pdf | 2023-12-03 12:13 | 179K | |
| midterm-23.pdf | 2023-12-03 12:13 | 205K | |
| projects-23.pdf | 2023-12-03 12:13 | 1.2M | |
| syllabus-cdm-f23.pdf | 2023-12-03 12:13 | 176K | |