| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Typo.HEADmaster | David A. Madore | 5 days | 1 | -1/+1 |
| * | Reading recommendations. | David A. Madore | 12 days | 1 | -0/+186 |
| * | Update preamble. | David A. Madore | 12 days | 1 | -2/+2 |
| * | Use "newtxtext" package for Times as it also provides a monospace font. | David A. Madore | 2025-11-03 | 1 | -2/+2 |
| * | Historically, Turing did not actually prove the undecidability of the halting... | David A. Madore | 2025-10-31 | 1 | -6/+7 |
| * | Add an easy computability exercise. | David A. Madore | 2025-10-31 | 1 | -1/+97 |
| * | Also update cover page. | David A. Madore | 2025-10-30 | 1 | -2/+2 |
| * | Note Coq→Rocq name change. | David A. Madore | 2025-10-30 | 2 | -4/+4 |
| * | Prepare for 2025-2026 academic year. | David A. Madore | 2025-10-30 | 3 | -9/+9 |
| * | An easy computability exercise. | David A. Madore | 2025-07-12 | 1 | -0/+30 |
| * | Fix typo. | David A. Madore | 2025-06-19 | 1 | -1/+1 |
| * | Kreisel-Putnam formula was backwards: fix this. | David A. Madore | 2025-04-25 | 1 | -5/+5 |
| * | Merge branch 'exam-20250129' | David A. Madore | 2025-01-30 | 2 | -2/+1301 |
| |\ | |||||
| | * | Clarify wording. | David A. Madore | 2025-01-24 | 1 | -1/+1 |
| | * | Clarify syllabus re Coq. | David A. Madore | 2025-01-24 | 1 | -1/+5 |
| | * | Minor changes to test. | David A. Madore | 2025-01-23 | 1 | -10/+11 |
| | * | Various improvements, clarifications and rephrasings suggested by TZ. | David A. Madore | 2025-01-23 | 1 | -28/+33 |
| | * | Add a question asking for a proof in natural deduction style. | David A. Madore | 2025-01-23 | 1 | -2/+64 |
| | * | Clarify syntax with extra parentheses. | David A. Madore | 2025-01-23 | 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 |
 |
index : teach/inf110-lfi.git | |
| INF110 (logique et fondements de l'informatique) | git repository hosting |
| summaryrefslogtreecommitdiffstats |