2019-2020 Academic Bulletin 
    
    Dec 26, 2024  
HELP
2019-2020 Academic Bulletin [ARCHIVED CATALOG]

MATH 315 - Introduction to Mathematical Logic


Credits: 4
An introduction to symbolic logic as a mathematical model of deductive thought. Topics covered include propositional logic, models, formal proofs, and the Completeness, Compactness, and Incompleteness Theorems. Additional topics from Computability theory or set theory may be included.

Prerequisite: MATH 205  with a grade of C or better. 

Distribution Requirements: SP.
Catalog Navigation
  Bulletin Home
  Academic Divisions and Departments
  Majors & Minors A-Z
  Course Search


  Academic Calendars
  Academic Honors
  Academic Records; Academic Standing
  Academic Resources, Regulations, and Policies
  Course Classification and Numbering
  Course Registration
  Curricular Options
  Distribution Requirements
  Graduation Requirements
  Honor Code
  Leaves of Absence and Withdrawal from the College
  Mission; Statement of Community; Educational Objectives
  Privacy Policy (FERPA)
  Transfer of Courses
  2019-2020 Academic Bulletin Change Log