May 14, 2024  
2013-14 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
  Academic Colleges, Departments, and Programs
  Academic Program Requirements
  Courses
  Administration and Faculty
  Academic Calendars
  Schedule of Classes
  Files for Off-Line Viewing (PDF, EPUB, Kindle)
  Addendum
  My Portfolio
HELP
2013-14 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)