2015-16 Pomona College Catalog 
    
    Nov 22, 2024  
HELP
2015-16 Pomona College Catalog [ARCHIVED CATALOG] Use the dropdown above to select the current 2024-25 catalog.

Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Portfolio (opens a new window)

CSCI081 PO - Computability and Logic

When Offered: Each semester.
Instructor(s): K. Bruce; E. Bull; Staff
Credit: 1

An introduction to formal systems, mathematical models of machines and computability. Topics include predicate logic, regular languages, context free languages and recursive and recursively enumerable sets. Students will learn to understand and construct formal proofs. Prerequisites: Either CSCI 052 PO  or CSCI 060 HM ; and one of the following CSCI 055 PO , MATH 055 HM , or MATH 103 PO .


Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Portfolio (opens a new window)
Catalog Navigation
  Catalog Home

  New and Revised Courses
  Courses
  Claremont Colleges Course Schedule
  Departments, Programs and Areas of Study
  Degree Requirements & Academic Regulations
  Majors and Minors
  Special Programs and Opportunities


  Academic Calendar
  About the College
  Academics at Pomona
  Admissions
  Campus Life
  Financial Aid
  Financial Information


  Faculty
  Administration
  Board of Trustees


  Campus Facilities
  Campus Map and Directions


  Archived Pomona College Catalogs


  My Portfolio