Apr 23, 2024  
2010-2011 Academic Catalog 
    
Catalog Navigation
  Catalog Home
  Archived Catalogs
  Schools
  Programs
  Courses
  Course Prefix Identification
  University Calendar: 2010-2011
  The University
  Student Responsibility
  Privacy Rights of Student Records
  Incoming Student Abroad, Outgoing Exchange Programs
  Summer and Winter Sessions
  Undergraduate Admissions
  First-Year Experience Program
  Undergraduate Academic Requirements & Regulations
  Undergraduate Student Finances
  Undergraduate Student Life
  The Core Curriculum
  Graduate Admissions
  Graduate Academic Requirements & Regulations
  Graduate Student Finances
  Research
  Continuing Education and Training Programs
  Personnel & Enrollment
  My Portfolio
HELP
2010-2011 Academic Catalog [Published Catalog]

Add to Portfolio (opens a new window)

PHIL 362 - Formal and Mathematical Logic

This course is an introduction to the ideas and methods of mathematical logic. The basis of predicate calculus (first order logic) will be presented in some details. More advanced topics such as Goedel’s completeness and incompleteness theorems, some of the philosophico-mathematical problems in set theory and alternative logics will be discussed.
Prerequisites
Prerequisites: PHIL 221 or MACT 200 or permission of the instructor.
Cross-listed
Same as MACT 362.
When Offered
Offered occasionally.
(3 cr.)


Add to Portfolio (opens a new window)