teach/inf110-lfi.git - INF110 (logique et fondements de l'informatique)

	Commit message (Collapse)	Author	Age	Files	Lines
*	Fix a typo and make small improvement noted during lecture on 2024-01-09.	David A. Madore	2024-01-09	1	-5/+5
\|
*	The set of theorems is not computable.	David A. Madore	2024-01-09	1	-5/+37
\|
*	More around Gödel and whatnot.	David A. Madore	2024-01-09	1	-13/+159
\|
*	Gödel's theorem.	David A. Madore	2024-01-08	1	-3/+168
\|
*	More about first-order arithmetic.	David A. Madore	2024-01-08	1	-4/+111
\|
*	An example proof in Heyting arithmetic.	David A. Madore	2024-01-08	1	-5/+43
\|
*	Start writing about first-order arithmetic.	David A. Madore	2024-01-08	1	-0/+71
\|
*	Curry-Howard and equality for first-order logic.	David A. Madore	2024-01-08	1	-0/+98
\|
*	Try to improve explanations of what sort of quantifications are allowed.	David A. Madore	2024-01-08	1	-23/+92
\|
*	Add minor clarifications here and there.	David A. Madore	2024-01-08	1	-9/+17
\|
*	Rework presentation of first-order logic.	David A. Madore	2024-01-07	1	-103/+165
\|
*	Slightly rework slide on \exists versus sum types.	David A. Madore	2024-01-07	1	-1/+19
\|
*	Continue reworking the introduction to quantifiers (maybe done?).	David A. Madore	2024-01-06	1	-1/+156
\|
*	Rework the introduction to quantifiers (work in progress!).	David A. Madore	2024-01-06	1	-23/+162
\|
*	Fix various mistakes and make some improvements noted during lecture on ↵	David A. Madore	2023-12-20	1	-33/+33
\| \| \| \|	2023-12-19.
*	Change my mind about name of third part.	David A. Madore	2023-12-19	1	-0/+681