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

	Commit message (Expand)	Author	Age	Files	Lines
*	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