2018-2019 University Catalogue [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öweheim theorems, nonstandard models, and Gödel’s incompleteness theorems.
Credits: 1.00 Corequisite: None Prerequisites: PHIL 225 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
|