May 31, 2026  
2025-2026 Undergraduate Catalogue 
    
Catalog Navigation
  Catalogue Home
  Archived Catalogues
  Greetings from the Chancellor and Board of Trustees Chair

  About the University
  Financial Information
  The Campus and Student Life
  University Admission Requirements
  University Calendar
  University Regulations

  Center for Academic Advising
  Course Descriptions
  Degree Programs and Requirements
  Distance Education, Joint and Pre-Professional Programs
  Enrichment Courses and Programs
  Honors College
  University Studies
  –Cameron School of Business
  –College of Health and Human Services
  –College of Humanities, Social Sciences, and the Arts
  –College of Science and Engineering
  –Watson College of Education

  Faculty Emeriti
  Special Academic Centers

  Addendum
HELP
2025-2026 Undergraduate Catalogue
Facebook this Page (opens a new window)
Tweet this Page (opens a new window)

MAT 481  -  Introduction to Mathematical Logic

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.

Credit Hours: 3

Prerequisite Courses: MAT 275  and MAT 336  
Crosslisting: MAT 581  
Course Repeatability: Course may not be repeated.


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