Nov 12, 2024  
2024-2025 Catalog 
    
Catalog Navigation
  Catalog Home

  Academic Calendar
  Academic Programs
  Course Descriptions


  Undergraduate Education
  General Education
  School of Engineering
  School of Natural Sciences
  School of Social Sciences, Humanities and Arts
  Graduate Studies
  Research at UC Merced


  About UC Merced
  Academic Policies
  Undergraduate Admissions
  Fees and Expenses
  Financial Aid and Scholarships
  Directions and Map
  Directory
  My Catalog
HELP
2024-2025 Catalog


Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
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
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



Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to My Catalog (opens a new window)