2020-21 Pomona College Catalog 
    
    Nov 22, 2024  
HELP
2020-21 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: Last offered fall 2018.
Instructor(s): K. Bruce; E. Bull; Y. Wu; 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: CSCI 054 PO  or CSCI 060 HM ; plus one of the following courses: MATH 055 HM , or MATH 103 PO .
Satisfies the following General Education Requirement(s), subject to conditions explained in the Degree Requirements section of this Catalog:
Area 5


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


  The Writing Center
  Study Abroad
  Model U.N.
  Curricular Support
  Pre-Professional Education
  Career Development
  Admissions Decision Rescission Policy
  Final Exam Schedule 2021-22
  My Portfolio