summaryrefslogtreecommitdiffstats
path: root/exercices-inf110.tex
Commit message (Collapse)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 ↵David A. Madore2023-12-011-5/+146
| | | | languages.
* 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
| | | | (Taken from INF105 test from 2018-02-06, slightly rewritten.)
* 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 ↵David A. Madore2023-11-211-0/+140
| | | | nor co-semi-decidable.
* 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-20 08:21:45 +0000