Dec 26, 2024  
2014-15 Undergraduate Catalogue 
    
Catalog Navigation
  Catalogue Home
  Greetings from the Provost and Board of Trustees Chair
  University Calendar
  Administrative Officers
  The University
  Equal Opportunity, Diversity, and Unlawful Harassment
  The Campus
  Admissions
  Expenses
  Scholarships and Financial Aid
  University Regulations
  Student Life
  Student Support Offices and Services
  University College
  Academic Programs
  Enrichment Courses and Programs
  Degree Programs and Requirements
  –College of Arts and Sciences
  –College of Health and Human Services
  –Cameron School of Business
  –Watson College of Education
  Special Academic Programs
  Course Descriptions
  Special Academic Centers
  Faculty
  Archived Catalogues
  Expired Catalogues
HELP
2014-15 Undergraduate Catalogue Archived Catalogue

Facebook this Page (opens a new window)
Tweet this Page (opens a new window)

MAT 481 - Introduction to Mathematical Logic

Credits: 3
(MAT 581 ) Prerequisite: MAT 275  and MAT 336 . The formal study of truth and provability. Propositional calculus; predicate calculus. Godel’s completeness theorem, applications to formal number theory and incompleteness. Additional topics chosen from areas such as undecidability or nonstandard analysis.


Click here for the Spring 2025 Class Schedule.



Facebook this Page (opens a new window)
Tweet this Page (opens a new window)