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

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