Apr 19, 2024  
2021-2022 Undergraduate Bulletin 
    
Catalog Navigation
  Bulletin Home
  Table of Contents
  The University
  General Student Policies and Procedures
  Undergraduate Admissions
  Tuition and Expenses
  Financial Aid
  Student Affairs and Services
  Academic Policies and Procedures
  Academic Resources
  Colleges and Departments
  Degree Requirements
  Programs
  Courses
  Administration and Faculty
  Schedule of Classes
  Academic Calendar
  My Portfolio
HELP
2021-2022 Undergraduate Bulletin [ARCHIVED CATALOG]

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

MA 454 - Foundations of Mathematics

Credits: 3

Prerequisite: MA 182  and MA 301  
Predicate calculus, first order logic, Godel’s completeness theorem for first-order logic, Turing machines, discussion of Godel’s first incompleteness theorem, axiomatic systems for different number systems, for groups and for set theory.


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