summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* 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, norm...David A. Madore2023-10-181-2/+238
* Remove flawed part about eliminating recursivity.David A. Madore2023-10-181-105/+0
* General recursive function: introduction.David A. Madore2023-10-181-4/+231
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-23 16:59:45 +0000