summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Remove spurious \iftrue / \if that were used for testing.HEADmasterDavid A. Madore2026-01-251-5/+0
* Finish proofreading exam questions.David A. Madore2026-01-251-52/+59
* Wrap up exercise 3 and answer key.David A. Madore2026-01-251-12/+47
* An exercise showing that Scott's formula is not provable.David A. Madore2026-01-201-0/+80
* Write answer key for the exercise on the Kleene tree.David A. Madore2026-01-201-16/+141
* Add an exercise on the Kleene tree.David A. Madore2026-01-201-0/+166
* Start writing 2026 test with questions provided by TZ.David A. Madore2026-01-201-0/+545
* Standardize premble.David A. Madore2026-01-191-3/+5
* Rocq is the new Coq.David A. Madore2026-01-191-13/+13
* A few clarifications on the syllabus.David A. Madore2026-01-191-7/+7
* Moodle is the new eCampus.David A. Madore2026-01-191-1/+1
* Syllabus for 2025–2026 (and commit past years' versions).David A. Madore2026-01-193-18/+337
* Thinko.David A. Madore2025-12-151-1/+1
* Various updates (mostly typos/thinkos, but also phase out "tautology").David A. Madore2025-12-051-16/+16
* Typo.David A. Madore2025-11-141-1/+1
* Reading recommendations.David A. Madore2025-11-071-0/+186
* Update preamble.David A. Madore2025-11-071-2/+2
* Use "newtxtext" package for Times as it also provides a monospace font.David A. Madore2025-11-031-2/+2
* Historically, Turing did not actually prove the undecidability of the halting...David A. Madore2025-10-311-6/+7
* Add an easy computability exercise.David A. Madore2025-10-311-1/+97
* Also update cover page.David A. Madore2025-10-301-2/+2
* Note Coq→Rocq name change.David A. Madore2025-10-302-4/+4
* Prepare for 2025-2026 academic year.David A. Madore2025-10-303-9/+9
* An easy computability exercise.David A. Madore2025-07-121-0/+30
* Fix typo.David A. Madore2025-06-191-1/+1
* Kreisel-Putnam formula was backwards: fix this.David A. Madore2025-04-251-5/+5
* Merge branch 'exam-20250129'David A. Madore2025-01-302-2/+1301
|\
| * Clarify wording.David A. Madore2025-01-241-1/+1
| * Clarify syllabus re Coq.David A. Madore2025-01-241-1/+5
| * Minor changes to test.David A. Madore2025-01-231-10/+11
| * Various improvements, clarifications and rephrasings suggested by TZ.David A. Madore2025-01-231-28/+33
| * Add a question asking for a proof in natural deduction style.David A. Madore2025-01-231-2/+64
| * Clarify syntax with extra parentheses.David A. Madore2025-01-231-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
generated by cgit v1.2.3 (git 2.39.1) at 2026-02-12 20:01:09 +0000