2012-13 Pomona College Catalog 
    
    Apr 16, 2024  
HELP
2012-13 Pomona College Catalog [ARCHIVED CATALOG] Use the dropdown above to select the current 2023-24 catalog.

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

CSCI 081 PO - Computability & Logic


CrsNo CSCI081 PO


When Offered: Each semester.

Instructor(s): K. Bruce; C. Stone; Staff

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: CSCI 052 PO  and CSCI 055 PO  or CSCI 060 HM  and MATH 055 HM .


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

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


  Academic Calendar
  About the College
  Academics at Pomona
  Admissions
  Campus Life
  Financial Aid
  Financial Information
  Special Programs and Opportunities


  Faculty
  Administration
  Board of Trustees


  Campus Facilities
  Campus Map and Directions


  Archived Pomona College Catalogs


  My Portfolio