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.2.6061
- Level:
- Graduate
- Credits:
- 4.0
Recently Given
- 2024–25–A (Dr. Moshe Kamensky)
- 2023–24–A (Prof. Assaf Hasson)
- 2022–23–A (Dr. Moshe Kamensky)
- 2021–22–A (Prof. Assaf Hasson)
- 2020–21–A (Prof. Menachem Kojman)
- 2019–20–A (Prof. Assaf Hasson)
- 2018–19–A (Dr. Moshe Kamensky)
- 2017–18–A (Dr. Moshe Kamensky)
- 2016–17–A (Prof. Assaf Hasson)
- 2015–16–A (Dr. Moshe Kamensky)