Mar 28, 2024  
2019-2020 Catalog 
    
2019-2020 Catalog [ARCHIVED CATALOG]

Add to My Catalog (opens a new window)

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

GE Requirements
  • Upper Division: Crossroads
  • Approaches to Knowledge: Natural Science
  • Approaches to Knowledge: Social Science
  • Badge: Scientific Method
  • Badge: Quantitative and Numerical Analysis

Requisites and Restrictions
Prerequisite: PHIL 005
Instructor Permission Required: No


View course scheduling information




Add to My Catalog (opens a new window)