×
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
☰
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 →