May 21, 2024  
2014-2015 Graduate Catalogue 
    
Catalog Navigation
  Catalog Home
  Greetings from the Provost and Board of Trustees Chair
  Administrative Officers
  Graduate Council Membership
  The University of North Carolina
  University of North Carolina Wilmington
  Equal Opportunity, Diversity, and Unlawful Harassment
  The Campus
  Student Life
  Expenses
  Financial Aid
  Academic Regulations and Procedures
  The Graduate School
  – Course Descriptions
  -College of Arts and Sciences
  -Interdisciplinary Programs
  -Cameron School of Business
  -Watson College of Education
  -College of Health and Human Services
  Special Academic Programs
  Graduate Faculty
  Graduate Mentor Award
  University Calendar
  Archived Catalogues
HELP
2014-2015 Graduate Catalogue Archived Catalogue

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

MAT 581 - Introduction to Mathematical Logic

Credits: 3
(481)  Prerequisite: Permission of department. The formal study of truth and provability. Propositional calculus; predicate calculus. Gödel’s completeness theorem, applications to formal number theory and incompleteness. Additional topics chosen from areas such as undecidability or non–standard analysis.


Click here for the Fall 2024 Class Schedule.



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