index
:
teach/inf110-lfi.git
master
INF110 (logique et fondements de l'informatique)
git repository hosting
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
Files
Lines
*
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
*
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
*
Give another presentation of a proof in an exercise (at a student's request).
David A. Madore
2024-01-20
1
-0
/
+70
*
Adjust TeX sources to make compilation as handout with beamerarticle easier.
David A. Madore
2024-01-20
3
-10
/
+39
*
Typeset course syllabus.
David A. Madore
2024-01-19
1
-0
/
+160
*
An exercise on computing a large number.
David A. Madore
2024-01-19
1
-0
/
+130
*
Fix wrong environment.
David A. Madore
2024-01-19
1
-2
/
+2
*
Fix small mistakes noted during lecture on 2024-01-17.
David A. Madore
2024-01-17
1
-3
/
+3
*
A tedious exercise in using Peano's axioms.
David A. Madore
2024-01-12
1
-0
/
+53
*
Be more consistent about abbreviating logical rules.
David A. Madore
2024-01-12
1
-2
/
+2
*
Two exercises on Löb's theorem.
David A. Madore
2024-01-12
1
-0
/
+146
*
An easy exercise on first-order logic.
David A. Madore
2024-01-12
1
-0
/
+53
*
An exercise on Girard's system F.
David A. Madore
2024-01-12
1
-2
/
+209
*
Exercise on the realizability of Plisko's formula.
David A. Madore
2024-01-11
1
-1
/
+90
*
Dragon riddle.
David A. Madore
2024-01-11
1
-1
/
+108
*
An exercise on refuting Tseitin's formula using open sets in the plane.
David A. Madore
2024-01-11
1
-0
/
+153
*
An exercise on Kleene's recursion theorem with a slight "paradox".
David A. Madore
2024-01-11
1
-0
/
+55
*
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
*
An exercise that will be used as a lemma for a later exercise.
David A. Madore
2024-01-08
1
-0
/
+72
*
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
*
An exercise about proving the Medvedev-validity of the Kreisel-Putnam formula.
David A. Madore
2024-01-05
1
-0
/
+75
*
An exercise about proving the irrealizability of the Kreisel-Putnam formula.
David A. Madore
2024-01-05
1
-1
/
+119
*
Another exercise on Kripke semantics.
David A. Madore
2024-01-05
1
-4
/
+106
*
Two more exercises on intuitionistic propositional calculus.
David A. Madore
2024-01-05
1
-10
/
+145
[next]