| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Turing machines and their equivalence with recursive functions. | David A. Madore | 2023-10-18 | 1 | -5/+261 |
| * | The recursion theorem for general recursive functions, and the Halting problem. | David A. Madore | 2023-10-18 | 1 | -9/+322 |
| * | General recursive functions: numbering, computation trees, universality, norm... | David A. Madore | 2023-10-18 | 1 | -2/+238 |
| * | Remove flawed part about eliminating recursivity. | David A. Madore | 2023-10-18 | 1 | -105/+0 |
| * | General recursive function: introduction. | David A. Madore | 2023-10-18 | 1 | -4/+231 |
| * | More about primitive recursive functions, and Kleene's recursion theorem. | David A. Madore | 2023-10-17 | 1 | -12/+265 |
| * | Tiding of things to come. | David A. Madore | 2023-10-17 | 1 | -0/+43 |
| * | Primitive recursive functions. | David A. Madore | 2023-10-16 | 1 | -0/+197 |
| * | More slides on intro to computability. | David A. Madore | 2023-10-12 | 1 | -0/+147 |
| * | Initial commit with a basic set of slides. | David A. Madore | 2023-10-12 | 1 | -0/+220 |
 |
index : teach/inf110-lfi.git | |
| INF110 (logique et fondements de l'informatique) | git repository hosting |
| summaryrefslogtreecommitdiffstats |