×
Logic and Computation
1. Introduction
Propositional Logic
2. Formulas
3. Truth Tables
4. Logical Consequence
5. Formal Proofs
6. Examples of Formal Proofs
7. Soundness Theorem
8. Completeness Theorem
First-Order Logic
9. Syntax
10. Theories & Models
11. Examples of Theories
12. Formal Proofs
13. Examples of Formal Proofs
14. (Questions & Answers)
15. Soundness Theorem
16. Completeness Theorem
17. Compactness
Computability
18. Axioms & Computability
19. Turing Machines
20. Uncomputable Functions
21. Incompleteness Theorems
☰
Logic and Computation
Eric Blais
14. (Questions & Answers)
← Examples of Formal Proofs
Soundness Theorem →
(No lecture notes for the Q&A session held in class.)
← Examples of Formal Proofs
Soundness Theorem →