summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Untyped lambda-calculus and a recursive type.David A. Madore2023-11-011-0/+36
* Typo.David A. Madore2023-11-011-1/+1
* Various minor corrections and clarifications.David A. Madore2023-10-301-9/+13
* Some comments and final thoughts.David A. Madore2023-10-301-11/+109
* Equivalence of functions representable in the lambda-calculus and recursive f...David A. Madore2023-10-301-4/+205
* Representation of p.r. functions by terms of the lambda-calculus.David A. Madore2023-10-301-12/+138
* Representation of functions by terms of the lambda-calculus.David A. Madore2023-10-301-2/+38
* A remark on arity.David A. Madore2023-10-301-0/+53
* Outermost-leftmost (normal order) reduction; Church numerals.David A. Madore2023-10-251-2/+99
* More about beta-reduction.David A. Madore2023-10-201-16/+119
* 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, 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 17:52:13 +0000