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

	Commit message (Expand)	Author	Age	Files	Lines
*	Decide that label strings should be in English.	David A. Madore	2023-12-15	1	-14/+14
*	An exercise on a possible representation of pairs in functional programming l...	David A. Madore	2023-12-01	1	-5/+146
*	Another exercise on various "loopy" reductions.	David A. Madore	2023-12-01	1	-1/+120
*	Some exercises on the untyped lambda-calculus.	David A. Madore	2023-11-30	1	-0/+286
*	Fix various small mistakes or unclear points.	David A. Madore	2023-11-28	1	-9/+8
*	Exercise on computable inseparability.	David A. Madore	2023-11-21	1	-0/+129
*	Prepare exercise sheet for publication.	David A. Madore	2023-11-21	1	-19/+23
*	Exercise on looping Turing machines.	David A. Madore	2023-11-21	1	-0/+71
*	Exercise showing that the indices of total functions is not semi-decidable no...	David A. Madore	2023-11-21	1	-0/+140
*	The graph of the Ackermann function is p.r.	David A. Madore	2023-11-20	1	-0/+235
*	More exercises on computability.	David A. Madore	2023-11-19	1	-13/+250
*	Some exercises on computability.	David A. Madore	2023-11-17	1	-0/+350