Apr 25, 2024  
2017-2018 Undergraduate Catalogue 
    
Catalog Navigation
  Catalog Home
  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
  Archived Catalogues
  Expired Catalogues
HELP
2017-2018 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 Fall 2024 Class Schedule.



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