index
:
teach/inf110-lfi.git
master
INF110 (logique et fondements de l'informatique)
git repository hosting
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
Files
Lines
*
Minor changes.
David A. Madore
2023-11-01
1
-4
/
+4
*
Googological meditation.
David A. Madore
2023-11-01
1
-5
/
+39
*
Untyped lambda-calculus and a recursive type.
David A. Madore
2023-11-01
1
-0
/
+36
*
Typo.
David A. Madore
2023-11-01
1
-1
/
+1
*
Various minor corrections and clarifications.
David A. Madore
2023-10-30
1
-9
/
+13
*
Some comments and final thoughts.
David A. Madore
2023-10-30
1
-11
/
+109
*
Equivalence of functions representable in the lambda-calculus and recursive f...
David A. Madore
2023-10-30
1
-4
/
+205
*
Representation of p.r. functions by terms of the lambda-calculus.
David A. Madore
2023-10-30
1
-12
/
+138
*
Representation of functions by terms of the lambda-calculus.
David A. Madore
2023-10-30
1
-2
/
+38
*
A remark on arity.
David A. Madore
2023-10-30
1
-0
/
+53
*
Outermost-leftmost (normal order) reduction; Church numerals.
David A. Madore
2023-10-25
1
-2
/
+99
*
More about beta-reduction.
David A. Madore
2023-10-20
1
-16
/
+119
*
Lambda-calculus: terms and bound variables.
David A. Madore
2023-10-20
1
-1
/
+112
*
Busy beaver function.
David A. Madore
2023-10-19
1
-0
/
+95
*
Decidable and semi-decidable sets.
David A. Madore
2023-10-19
1
-1
/
+233
*
Terminological cleanup.
David A. Madore
2023-10-19
1
-26
/
+212
*
Slightly more about Turing machines.
David A. Madore
2023-10-18
1
-0
/
+107
*
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
2
-0
/
+222