Logic
Course topics
- An axiom system for predicate calculus and the completeness theorem.
- Introduction to model theory: The compactness Theorem, Skolem–Löwenheim Theorems, elementary substructures.
- Decidability and undecidability of theories, Gödel first Incompleteness Theorem.
Course Information
- University course catalogue:
- 201.1.6061
- Level:
- Advanced Undergraduate
- Credits:
- 4.0