2022-2023 University Catalog [ARCHIVED CATALOG]
|
PHIL 325 - Logic II
Covers a selection of advanced topics in logic: computability, Turing machines, soundness and completeness theorems, undecidability of predicate logic, Skolem-Löwenheim theorems, nonstandard models, and Gödel’s incompleteness theorems.
Credits: 1.00
Corequisite: None
Prerequisites:
Major/Minor Restrictions: None
Class Restriction: None
Area of Inquiry: Human Thought and Expression
Liberal Arts CORE: None
Click here for Course Offerings by term
|
