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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Fix a number of typos / thinkos / notational blunders in an exercise.	David A. Madore	2023-12-28	1	-4/+4
\|
*	Give the proof in Coq as well.	David A. Madore	2023-12-16	1	-0/+29
\|
*	More exercises in intiotionistic propositional logic.	David A. Madore	2023-12-16	1	-1/+87
\|
*	An exercise involving call/cc.	David A. Madore	2023-12-15	1	-0/+42
\|
*	An exercise on Curry-Howard.	David A. Madore	2023-12-15	1	-0/+109
\|
*	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 ↵	David A. Madore	2023-12-01	1	-5/+146
\| \| \| \|	languages.
*	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
\| \| \| \|	(Taken from INF105 test from 2018-02-06, slightly rewritten.)
*	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 ↵	David A. Madore	2023-11-21	1	-0/+140
\| \| \| \|	nor co-semi-decidable.
*	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