|
Oct 05, 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 Repeats Allowed for Credit: 0
Crosslisted with: PHIL 160 Normal Letter Grade with Pass/No Pass option
GE Requirements - Upper Division: Crossroads
- Approaches to Knowledge: Social Science
- Intellectual Experience: Scientific Method
Requisites and Restrictions Prerequisite Courses: PHIL 005 Instructor Permission Required: No
View course scheduling information
Add to My Catalog (opens a new window)
|
|