summaryrefslogtreecommitdiffstats
path: root/transp-inf110-03-quantif.tex
Commit message (Expand)AuthorAgeFilesLines
* Missing bit in rule.HEADmasterDavid A. Madore2024-01-261-2/+2
* Adjust TeX sources to make compilation as handout with beamerarticle easier.David A. Madore2024-01-201-2/+11
* Fix small mistakes noted during lecture on 2024-01-17.David A. Madore2024-01-171-3/+3
* Be more consistent about abbreviating logical rules.David A. Madore2024-01-121-2/+2
* Fix a typo and make small improvement noted during lecture on 2024-01-09.David A. Madore2024-01-091-5/+5
* The set of theorems is not computable.David A. Madore2024-01-091-5/+37
* More around Gödel and whatnot.David A. Madore2024-01-091-13/+159
* Gödel's theorem.David A. Madore2024-01-081-3/+168
* More about first-order arithmetic.David A. Madore2024-01-081-4/+111
* An example proof in Heyting arithmetic.David A. Madore2024-01-081-5/+43
* Start writing about first-order arithmetic.David A. Madore2024-01-081-0/+71
* Curry-Howard and equality for first-order logic.David A. Madore2024-01-081-0/+98
* Try to improve explanations of what sort of quantifications are allowed.David A. Madore2024-01-081-23/+92
* Add minor clarifications here and there.David A. Madore2024-01-081-9/+17
* Rework presentation of first-order logic.David A. Madore2024-01-071-103/+165
* Slightly rework slide on \exists versus sum types.David A. Madore2024-01-071-1/+19
* Continue reworking the introduction to quantifiers (maybe done?).David A. Madore2024-01-061-1/+156
* Rework the introduction to quantifiers (work in progress!).David A. Madore2024-01-061-23/+162
* Fix various mistakes and make some improvements noted during lecture on 2023-...David A. Madore2023-12-201-33/+33
* Change my mind about name of third part.David A. Madore2023-12-191-0/+681
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-09 14:32:57 +0000