summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Clarify wording.David A. Madore13 days1-1/+1
* Clarify syllabus re Coq.David A. Madore13 days1-1/+5
* Minor changes to test.David A. Madore13 days1-10/+11
* Various improvements, clarifications and rephrasings suggested by TZ.David A. Madore13 days1-28/+33
* Add a question asking for a proof in natural deduction style.David A. Madore14 days1-2/+64
* Clarify syntax with extra parentheses.David A. Madore14 days1-2/+2
* Instructions for test.David A. Madore2025-01-221-9/+12
* Add an exercise on the semantics of the propositional calculus.David A. Madore2025-01-221-0/+93
* Incorporate Coq exercises provided by TZ.David A. Madore2025-01-221-1/+363
* Answer key (on the Kreisel-Lacombe-Shoenfield theorem).David A. Madore2025-01-221-69/+449
* Continue writing test (proof of the Kreisel-Lacombe-Shoenfield theorem).David A. Madore2025-01-221-28/+172
* Start writing test for 2025-01-29.David A. Madore2025-01-211-0/+245
* Typo.David A. Madore2025-01-211-1/+1
* Update syllabus.David A. Madore2025-01-211-48/+42
* Add year info.David A. Madore2025-01-211-1/+1
* Cover page used to produce a full printable handout.David A. Madore2025-01-084-0/+86
* Fix display and numbering, esp. that of printed version.David A. Madore2025-01-083-112/+133
* Fix thinko.David A. Madore2024-11-151-1/+1
* Missing bit in rule.David A. Madore2024-01-261-2/+2
* Merge branch 'exam-20240126'David A. Madore2024-01-261-0/+1229
|\
| * Add various missing bits to answer key.David A. Madore2024-01-241-6/+120
| * Exercise had already been explained during course. Change it.David A. Madore2024-01-241-10/+9
| * Make changes suggested by TZ.David A. Madore2024-01-241-21/+50
| * Fill in number of pages and indication of grading.David A. Madore2024-01-221-3/+4
| * Second pass of proofreading.David A. Madore2024-01-221-124/+133
| * First pass of proofreading.David A. Madore2024-01-221-112/+145
| * A simple exercise about Coq.David A. Madore2024-01-221-0/+62
| * An exercise on Gödel's theorem.David A. Madore2024-01-221-0/+79
| * An exercise on Hindley-Milner.David A. Madore2024-01-221-0/+63
| * Improve that last exercise.David A. Madore2024-01-221-3/+25
| * An exercise on simple reading of lambda-terms.David A. Madore2024-01-221-0/+48
| * An exercise on semantics.David A. Madore2024-01-221-0/+145
| * First version of test for 2024-01-26.David A. Madore2024-01-221-0/+625
* | An exercise on Hindley-Milner type inference.David A. Madore2024-01-231-0/+105
|/
* Typo.David A. Madore2024-01-221-1/+1
* 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
* Adjust TeX sources to make compilation as handout with beamerarticle easier.David A. Madore2024-01-203-10/+39
* Typeset course syllabus.David A. Madore2024-01-191-0/+160
* An exercise on computing a large number.David A. Madore2024-01-191-0/+130
* Fix wrong environment.David A. Madore2024-01-191-2/+2
* Fix small mistakes noted during lecture on 2024-01-17.David A. Madore2024-01-171-3/+3
* A tedious exercise in using Peano's axioms.David A. Madore2024-01-121-0/+53
* Be more consistent about abbreviating logical rules.David A. Madore2024-01-121-2/+2
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2025-02-05 23:52:42 +0000