Course - Logic MT24
This course is a very rigorous introduction to the basics of mathematical logic. The course is divided into two halves, the first covering propositional logic and the second covering first-order logic. Both halves follow the same structure; first discussing the syntax, then the semantics, then a proof, followed by the completeness and compactness of that proof system.
- Course Webpage
- Lecture Notes
- Related:
- Other courses this term: [[Courses MT24]]U
Notes
- [[Notes - Logic MT24, Propositional logic]]U
- [[Notes - Logic MT24, Proofs in propositional logic]]U
- [[Notes - Logic MT24, Example proofs in propositional logic]]U
- [[Notes - Logic MT24, First-order logic]]U
- [[Notes - Logic MT24, Proofs in first-order logic]]U
- [[Notes - Logic MT24, Example proofs in first-order logic]]U
- [[Notes - Logic MT24, Gödel’s completeness theorem]]U
- [[Notes - Logic MT24, Compactness theorems]]U
- [[Notes - Logic MT24, Löwenheim-Skolem theorem]]U
- [[Notes - Logic MT24, Isomorphisms and equivalences of structures]]U
- [[Notes - Logic MT24, Unbounded dense linear orders]]U
- [[Notes - Logic MT24, Axiomatisations]]U
Problem Sheets
To-Do List
- [ ] All propositional proofs in lecture notes
- [ ] All propositional proofs in sheets
- [ ] All first-order proofs in lecture notes
- [ ] All first-order proofs in sheets