Justine ReynaudCours de logique
The course is split into 11 topics, numbered 0 to 10. Each topic corresponds to roughly a week's worth of the course.
The pages linked to below contain the lecture notes, covering the material introduced in the lectures. They also contain interactive exercises for you to do.
- Topic 0 is a (re)introduction to the basic concepts of Propositional Logic.
[...]- Topic 1 is Entailment and Deduction.
[...]- Topic 2 is Proof for Propositional Logic.
[...]- Topic 3 is Predicate Logic.
[...]- Topic 4 is Proof for Predicate Logic.
[...]- Topic 5 is Specification and Verification.
[...]- Topic 6 is Programs with Loops.
[...]- Topic 7 is Programs with Arrays.
[...]- Topic 8 is Semantics of Predicate Logic.
[...]- Topic 9 is Automating Logic.
[...]- Topic 10 is Undecidability.