High-level course outline:
- Propositional logic
- Syntax: Learn how to translate a statement about the world into a sentence in propositional logic.
- Semantics: Learn how a truth table encodes the meaning of a formula.
- Become comfortable with interpreting logical notation: inference rules
- Reasoning: Learn how to use automated reasoning on SAT formaule (SAT-solvers) to solve problems in propositional logic.
- Useful reading:
- Handbook of Satisfiability
- Exact Discrete Inference
- Approximate Discrete Inference