| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Clarify wording. | David A. Madore | 13 days | 1 | -1/+1 |
| | | |||||
| * | Clarify syllabus re Coq. | David A. Madore | 13 days | 1 | -1/+5 |
| | | |||||
| * | Minor changes to test. | David A. Madore | 13 days | 1 | -10/+11 |
| | | |||||
| * | Various improvements, clarifications and rephrasings suggested by TZ. | David A. Madore | 14 days | 1 | -28/+33 |
| | | |||||
| * | Add a question asking for a proof in natural deduction style. | David A. Madore | 14 days | 1 | -2/+64 |
| | | |||||
| * | Clarify syntax with extra parentheses. | David A. Madore | 14 days | 1 | -2/+2 |
| | | |||||
| * | Instructions for test. | David A. Madore | 2025-01-22 | 1 | -9/+12 |
| | | |||||
| * | Add an exercise on the semantics of the propositional calculus. | David A. Madore | 2025-01-22 | 1 | -0/+93 |
| | | |||||
| * | Incorporate Coq exercises provided by TZ. | David A. Madore | 2025-01-22 | 1 | -1/+363 |
| | | |||||
| * | Answer key (on the Kreisel-Lacombe-Shoenfield theorem). | David A. Madore | 2025-01-22 | 1 | -69/+449 |
| | | |||||
| * | Continue writing test (proof of the Kreisel-Lacombe-Shoenfield theorem). | David A. Madore | 2025-01-22 | 1 | -28/+172 |
| | | |||||
| * | Start writing test for 2025-01-29. | David A. Madore | 2025-01-21 | 1 | -0/+245 |
| | | |||||
| * | Typo. | David A. Madore | 2025-01-21 | 1 | -1/+1 |
| | | |||||
| * | Update syllabus. | David A. Madore | 2025-01-21 | 1 | -48/+42 |
| | | |||||
| * | Add year info. | David A. Madore | 2025-01-21 | 1 | -1/+1 |
| | | |||||
| * | Cover page used to produce a full printable handout. | David A. Madore | 2025-01-08 | 4 | -0/+86 |
| | | |||||
| * | Fix display and numbering, esp. that of printed version. | David A. Madore | 2025-01-08 | 3 | -112/+133 |
| | | |||||
| * | Fix thinko. | David A. Madore | 2024-11-15 | 1 | -1/+1 |
| | | |||||
| * | Missing bit in rule. | David A. Madore | 2024-01-26 | 1 | -2/+2 |
| | | |||||
| * | Merge branch 'exam-20240126' | David A. Madore | 2024-01-26 | 1 | -0/+1229 |
| |\ | |||||
| | * | Add various missing bits to answer key. | David A. Madore | 2024-01-24 | 1 | -6/+120 |
| | | | |||||
| | * | Exercise had already been explained during course. Change it. | David A. Madore | 2024-01-24 | 1 | -10/+9 |
| | | | |||||
| | * | Make changes suggested by TZ. | David A. Madore | 2024-01-24 | 1 | -21/+50 |
| | | | |||||
| | * | Fill in number of pages and indication of grading. | David A. Madore | 2024-01-22 | 1 | -3/+4 |
| | | | |||||
| | * | Second pass of proofreading. | David A. Madore | 2024-01-22 | 1 | -124/+133 |
| | | | |||||
| | * | First pass of proofreading. | David A. Madore | 2024-01-22 | 1 | -112/+145 |
| | | | |||||
| | * | A simple exercise about Coq. | David A. Madore | 2024-01-22 | 1 | -0/+62 |
| | | | |||||
| | * | An exercise on Gödel's theorem. | David A. Madore | 2024-01-22 | 1 | -0/+79 |
| | | | |||||
| | * | An exercise on Hindley-Milner. | David A. Madore | 2024-01-22 | 1 | -0/+63 |
| | | | |||||
| | * | Improve that last exercise. | David A. Madore | 2024-01-22 | 1 | -3/+25 |
| | | | |||||
| | * | An exercise on simple reading of lambda-terms. | David A. Madore | 2024-01-22 | 1 | -0/+48 |
| | | | |||||
| | * | An exercise on semantics. | David A. Madore | 2024-01-22 | 1 | -0/+145 |
| | | | |||||
| | * | First version of test for 2024-01-26. | David A. Madore | 2024-01-22 | 1 | -0/+625 |
| | | | |||||
| * | | An exercise on Hindley-Milner type inference. | David A. Madore | 2024-01-23 | 1 | -0/+105 |
| |/ | |||||
| * | Typo. | David A. Madore | 2024-01-22 | 1 | -1/+1 |
| | | |||||
| * | Simple exercise illustrating the s-m-n theorem for programmatic composition. | David A. Madore | 2024-01-20 | 1 | -0/+40 |
| | | |||||
| * | Clarification over previous addition. | David A. Madore | 2024-01-20 | 1 | -1/+4 |
| | | |||||
| * | Give another presentation of a proof in an exercise (at a student's request). | David A. Madore | 2024-01-20 | 1 | -0/+70 |
| | | |||||
| * | Adjust TeX sources to make compilation as handout with beamerarticle easier. | David A. Madore | 2024-01-20 | 3 | -10/+39 |
| | | |||||
| * | Typeset course syllabus. | David A. Madore | 2024-01-19 | 1 | -0/+160 |
| | | |||||
| * | An exercise on computing a large number. | David A. Madore | 2024-01-19 | 1 | -0/+130 |
| | | |||||
| * | Fix wrong environment. | David A. Madore | 2024-01-19 | 1 | -2/+2 |
| | | |||||
| * | Fix small mistakes noted during lecture on 2024-01-17. | David A. Madore | 2024-01-17 | 1 | -3/+3 |
| | | |||||
| * | A tedious exercise in using Peano's axioms. | David A. Madore | 2024-01-12 | 1 | -0/+53 |
| | | |||||
| * | Be more consistent about abbreviating logical rules. | David A. Madore | 2024-01-12 | 1 | -2/+2 |
| | | |||||
| * | Two exercises on Löb's theorem. | David A. Madore | 2024-01-12 | 1 | -0/+146 |
| | | |||||
| * | An easy exercise on first-order logic. | David A. Madore | 2024-01-12 | 1 | -0/+53 |
| | | |||||
| * | An exercise on Girard's system F. | David A. Madore | 2024-01-12 | 1 | -2/+209 |
| | | |||||
| * | Exercise on the realizability of Plisko's formula. | David A. Madore | 2024-01-11 | 1 | -1/+90 |
| | | |||||
| * | Dragon riddle. | David A. Madore | 2024-01-11 | 1 | -1/+108 |
| | | |||||
 |
index : teach/inf110-lfi.git | |
| INF110 (logique et fondements de l'informatique) | git repository hosting |
| summaryrefslogtreecommitdiffstats |