|
May 01, 2024
|
|
|
|
MATH 4040 - Intermediate Logic This course covers mathematical metatheory of logic (including formal syntax and semantics, soundness and completeness of proof systems, and Godel’s incompleteness results), applications of logic (including puzzle solving and axiomatization of various branches of mathematics such as set theory and arithmetic), and alternative systems of logic (including axiom systems and diagrammatic logic).
Prerequisites/Corequisites: Prerequisite: PHIL 2140 Introduction to Logic or CSCI 2200 Foundations of Computer Science
When Offered: Spring term even-numbered years.
Cross Listed: PHIL 4140.
Credit Hours: 4
Add to Portfolio (opens a new window)
|
|