|
Nov 08, 2024
|
|
|
|
College Catalog 2024-2025
|
MATH 313 - Advanced Symbolic LogicCross-Listed as A second course in symbolic logic which extends the methods of logic. A main purpose of this course is to study logic itself-to prove things about the system of logic learned in the introductory course. This course is thus largely logic about logic. Topics include second order logic and basic set theory; soundness, consistency and completeness of first order logic; incompleteness of arithmetic; Turing computability; modal logic; and intuitionistic logic. Prerequisite(s): PHIL 111 or MATH 279 or permission of instructor. Alternate years. (4 Credits)
|
|