Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
02-coding.pdf | 2024-09-15 23:20 | 514K | ||
05-loop-progs.pdf | 2024-09-15 23:20 | 401K | ||
08-wild-computation.pdf | 2024-09-15 23:20 | 571K | ||
10-induction.pdf | 2024-09-15 23:20 | 514K | ||
10-register-mach.pdf | 2024-09-15 23:20 | 485K | ||
12-memoryless.pdf | 2024-09-15 23:20 | 534K | ||
17-closure.pdf | 2024-09-15 23:20 | 493K | ||
20-groups.pdf | 2024-09-15 23:20 | 880K | ||
20-models.pdf | 2024-09-15 23:20 | 398K | ||
20-recursion.pdf | 2024-09-15 23:20 | 1.6M | ||
22-minimization.pdf | 2024-09-15 23:20 | 579K | ||
24-fast-minimization..> | 2024-09-15 23:20 | 378K | ||
30-decidability.pdf | 2024-09-15 23:20 | 1.5M | ||
30-iteration.pdf | 2024-09-15 23:20 | 618K | ||
32-iteration.pdf | 2024-09-15 23:20 | 956K | ||
34-iteration.pdf | 2024-09-15 23:20 | 13M | ||
40-ffields.pdf | 2024-09-15 23:20 | 619K | ||
40-fundamentals.pdf | 2024-09-15 23:20 | 351K | ||
41-ffields.pdf | 2024-09-15 23:20 | 453K | ||
42-ffield-apps.pdf | 2024-09-15 23:20 | 601K | ||
42-ffields-apps.pdf | 2024-09-15 23:20 | 534K | ||
50-reductions.pdf | 2024-09-15 23:20 | 429K | ||
52-rational.pdf | 2024-09-15 23:20 | 545K | ||
60-arith-hier.pdf | 2024-09-15 23:20 | 367K | ||
70-intermediate.pdf | 2024-09-15 23:20 | 718K | ||
270-hypercomp.pdf | 2024-09-15 23:20 | 7.2M | ||
F23-00-primrec.pdf | 2024-09-15 23:20 | 390K | ||
F23-24-actions.pdf | 2024-09-15 23:20 | 534K | ||
F23-26-polya-redfiel..> | 2024-09-15 23:20 | 913K | ||
F23-40-fol-basics.pdf | 2024-09-15 23:20 | 418K | ||
F23-50-automatic.pdf | 2024-09-15 23:20 | 1.4M | ||
F23-iteration.pdf | 2024-09-15 23:20 | 13M | ||
cdm-intro-2023.pdf | 2024-09-15 23:20 | 2.1M | ||
hw-01.pdf | 2024-09-15 23:20 | 206K | ||
hw-02.pdf | 2024-09-15 23:20 | 215K | ||
hw-03.pdf | 2024-09-15 23:20 | 272K | ||
hw-04.pdf | 2024-09-15 23:20 | 203K | ||
hw-05.pdf | 2024-09-15 23:20 | 206K | ||
hw-06.pdf | 2024-09-15 23:20 | 200K | ||
hw-07.pdf | 2024-09-15 23:20 | 188K | ||
hw-08.pdf | 2024-09-15 23:20 | 200K | ||
hw-08.tex | 2024-09-15 23:20 | 12K | ||
hw-09.pdf | 2024-09-15 23:20 | 182K | ||
midterm-19.pdf | 2024-09-15 23:20 | 135K | ||
midterm-21.pdf | 2024-09-15 23:20 | 179K | ||
midterm-23.pdf | 2024-09-15 23:20 | 205K | ||
projects-23.pdf | 2024-09-15 23:20 | 1.2M | ||
syllabus-cdm-f23.pdf | 2024-09-15 23:20 | 176K | ||
syllabus-cdm-f24.pdf | 2024-09-15 23:20 | 176K | ||