| |
Nov 25, 2024
|
|
|
|
|
MATH 160: Mathematical Logic
Units: 4
Introduction to the meta-theory of first-order logic. Topics include the consistency, compactness, completeness and soundness proofs for propositional and first-order logic; model theory; the axiomatization of number theory; Gödel’s incompleteness theorems and related results.
Course Details
Repeatable for Credit: No
Crosslisted with: PHIL 160
Normal Letter Grade with Pass/No Pass option
Requisites and Restrictions
Prerequisite: PHIL 005
Instructor Permission Required: No
View course scheduling information
Add to My Catalog (opens a new window)
|
|
