Jan 14, 2025  
2020-2021 Undergraduate Catalogue 
    
Catalog Navigation
  Catalogue Home
  Archived Catalogues
  Greetings from the Chancellor 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
  University Studies
  Degree Programs and Requirements
  –College of Arts and Sciences
  –College of Health and Human Services
  –Cameron School of Business
  –Watson College of Education
  Distance Education, Joint and Pre-Professional Programs
  Enrichment Courses and Programs
  Course Descriptions
  Special Academic Centers
  Faculty
  Addendum 2020-21 Catalogue
HELP
2020-2021 Undergraduate Catalogue Archived 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. Maximum Repeatable Hours: 3


Click here for the Spring 2025 Class Schedule.



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