Computation & Discrete Math
Under Construction
Computation
| Topic | |
|---|---|
| Fundamentals | ks |
| Primitive Recursive Functions | ks |
| Coding Functions | ks |
| Loop Programs | ks |
| Wild Computation | ks |
| Register Machines | ks |
| Register Machines paper | Shepherdson, Sturgis |
| Turing Machines | ks |
| Turing Machine paper | Turing |
| Other Models | ks |
| Decidability | ks |
| Fundamental | ks |
| Reductions | ks |
| Arithmetical Hierarchy | ks |
| Intermediate Degrees | ks |
| FRACTRAN | Conway |
| (2,3) Machine | Smith |
| Algortihms paper | Y. Moschovakis |
| Harder Hardness | ks |