Apr 19, 2024  
2013-2014 Academic Catalog 
    
Catalog Navigation
  Catalog Home
  Archived Catalogs
  Schools and Departments
  Undergraduate Degree Programs
  Graduate Degree Programs
  Courses
  Course Prefix Identification and Coding Rationale
  The University
  University Calendars: 2013-2014
  Libraries and Learning Technologies
  Academic Support Services
  AUC Press
  Undergraduate Admissions
  First-Year Experience Program
  Undergraduate Studies
  Academic Advising Center
  The Core Curriculum
  Undergraduate Academic Requirements & Regulations
  Undergraduate Student Finances
  Undergraduate Student Life
  Graduate Admissions
  Graduate Academic Requirements & Regulations
  Graduate Student Finances
  Research
  Community Based Learning
  Continuing Education and Training Programs
  Administration Personnel
  Student Enrollment Statistics
  Catalog PDF Extract
  My Portfolio
HELP
2013-2014 Academic Catalog [Published Catalog]

Add to Portfolio (opens a new window)

PHIL 562/5118 - Formal and Mathematical Logic (3 cr.)


Description
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.
 


Add to Portfolio (opens a new window)