- Being able to formulate mathematical statements in logic (K2,K3)
- Understanding relations between model-theoretic and proof-theoretic concepts (K4)
- Proving properties of inference systems (K2,K4)
- Using inference systems to formally prove logical statements (K3)
- Understanding capabilities and limitations of formal systems (K4,K5)
|
Syntax and semantics of propositional and first-order logic; model existence theorem, compactness theorem, Löwenheim-Skolem theorem; various inference systems (e.g., sequent calculus, tableaux, resolution) and their properties (soundness, completeness); Gödel's incompleteness theorems.
|
