summaryrefslogtreecommitdiffstats
path: root/exercices-inf110.tex
Commit message (Expand)AuthorAgeFilesLines
* An exercise on Hindley-Milner type inference.David A. Madore2024-01-231-0/+105
* Simple exercise illustrating the s-m-n theorem for programmatic composition.David A. Madore2024-01-201-0/+40
* Clarification over previous addition.David A. Madore2024-01-201-1/+4
* Give another presentation of a proof in an exercise (at a student's request).David A. Madore2024-01-201-0/+70
* An exercise on computing a large number.David A. Madore2024-01-191-0/+130
* Fix wrong environment.David A. Madore2024-01-191-2/+2
* A tedious exercise in using Peano's axioms.David A. Madore2024-01-121-0/+53
* Two exercises on Löb's theorem.David A. Madore2024-01-121-0/+146
* An easy exercise on first-order logic.David A. Madore2024-01-121-0/+53
* An exercise on Girard's system F.David A. Madore2024-01-121-2/+209
* Exercise on the realizability of Plisko's formula.David A. Madore2024-01-111-1/+90
* Dragon riddle.David A. Madore2024-01-111-1/+108
* An exercise on refuting Tseitin's formula using open sets in the plane.David A. Madore2024-01-111-0/+153
* An exercise on Kleene's recursion theorem with a slight "paradox".David A. Madore2024-01-111-0/+55
* An exercise that will be used as a lemma for a later exercise.David A. Madore2024-01-081-0/+72
* An exercise about proving the Medvedev-validity of the Kreisel-Putnam formula.David A. Madore2024-01-051-0/+75
* An exercise about proving the irrealizability of the Kreisel-Putnam formula.David A. Madore2024-01-051-1/+119
* Another exercise on Kripke semantics.David A. Madore2024-01-051-4/+106
* Two more exercises on intuitionistic propositional calculus.David A. Madore2024-01-051-10/+145
* A simple exercise on Kripke semantics.David A. Madore2024-01-041-1/+79
* Exercise on comparison of double-negation elimination and excluded middle.David A. Madore2023-12-281-0/+243
* Fix a number of typos / thinkos / notational blunders in an exercise.David A. Madore2023-12-281-4/+4
* Give the proof in Coq as well.David A. Madore2023-12-161-0/+29
* More exercises in intiotionistic propositional logic.David A. Madore2023-12-161-1/+87
* An exercise involving call/cc.David A. Madore2023-12-151-0/+42
* An exercise on Curry-Howard.David A. Madore2023-12-151-0/+109
* Decide that label strings should be in English.David A. Madore2023-12-151-14/+14
* An exercise on a possible representation of pairs in functional programming l...David A. Madore2023-12-011-5/+146
* Another exercise on various "loopy" reductions.David A. Madore2023-12-011-1/+120
* Some exercises on the untyped lambda-calculus.David A. Madore2023-11-301-0/+286
* Fix various small mistakes or unclear points.David A. Madore2023-11-281-9/+8
* Exercise on computable inseparability.David A. Madore2023-11-211-0/+129
* Prepare exercise sheet for publication.David A. Madore2023-11-211-19/+23
* Exercise on looping Turing machines.David A. Madore2023-11-211-0/+71
* Exercise showing that the indices of total functions is not semi-decidable no...David A. Madore2023-11-211-0/+140
* The graph of the Ackermann function is p.r.David A. Madore2023-11-201-0/+235
* More exercises on computability.David A. Madore2023-11-191-13/+250
* Some exercises on computability.David A. Madore2023-11-171-0/+350
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-09 19:06:59 +0000