May 01, 2024  
2007-2008 Academic Catalog 
    
Catalog Navigation
  Catalog Home
  Archived Catalogs
  Academic Organizations
  Programs
  Courses
  University Calendar: 2007-2008
  Undergraduate Degree Programs
  Graduate Degree Programs
  The University
  Academic Organization and Support Services
  Undergraduate Admissions
  Academic Requirements & Regulations
  Undergraduate Student Finances
  Undergraduate Student Life
  The Core Curriculum
  Fields of Undergraduate Study: Academic Degrees & Course Listings
  Study Abroad, Exchange Programs & Summer & Winter Sessions
  Graduate Admissions
  General Academic Requirements & Regulations
  Graduate Student Finances
  Graduate Student Life
  Fields of Graduate Study: Academic Degrees and Course Listings
  Summer & Winter Sessions
  Research
  Continuing Education and Training Programs
  Appendix: Personnel & Enrollment
  My Portfolio
HELP
2007-2008 Academic Catalog [Published Catalog]

Add to Portfolio (opens a new window)

MATH 362 - Formal and Mathematical Logic

Introduction to the goals and methods of mathematical logic. Propositional and predicate calculus (first order logic) are presented in detail. Goedel’s completeness and incompleteness theorems, and some of the philosophico-mathematical problems in set theory, and alternative logics are discussed.
Prerequisites
Prerequisites: MATH 200 or PHIL 221 or consent of the instructor.
Cross-listed
Same as PHIL 362.
When Offered
Offered occasionally.
(3 cr.)


Add to Portfolio (opens a new window)