teach/inf110-lfi.git - INF110 (logique et fondements de l'informatique)

	Commit message (Expand)	Author	Age	Files	Lines
*	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	1	-0/+220