summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Lambda-calculus: terms and bound variables.David A. Madore2023-10-201-1/+112
|
* Busy beaver function.David A. Madore2023-10-191-0/+95
|
* Decidable and semi-decidable sets.David A. Madore2023-10-191-1/+233
|
* Terminological cleanup.David A. Madore2023-10-191-26/+212
|
* Slightly more about Turing machines.David A. Madore2023-10-181-0/+107
|
* Turing machines and their equivalence with recursive functions.David A. Madore2023-10-181-5/+261
|
* The recursion theorem for general recursive functions, and the Halting problem.David A. Madore2023-10-181-9/+322
|
* General recursive functions: numbering, computation trees, universality, ↵David A. Madore2023-10-181-2/+238
| | | | normal form.
* Remove flawed part about eliminating recursivity.David A. Madore2023-10-181-105/+0
|
* General recursive function: introduction.David A. Madore2023-10-181-4/+231
| | | | NB: The part about elimination of recursivity is flawed. Will remove
* More about primitive recursive functions, and Kleene's recursion theorem.David A. Madore2023-10-171-12/+265
|
* Tiding of things to come.David A. Madore2023-10-171-0/+43
|
* Primitive recursive functions.David A. Madore2023-10-161-0/+197
|
* More slides on intro to computability.David A. Madore2023-10-121-0/+147
|
* Initial commit with a basic set of slides.David A. Madore2023-10-122-0/+222