2019-20 Pomona College Catalog 
    
    Mar 28, 2024  
2019-20 Pomona College Catalog [ARCHIVED CATALOG] Use the dropdown above to select the current 2023-24 catalog.

Add to Portfolio (opens a new window)

CSCI081 PO - Computability and Logic

When 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



Add to Portfolio (opens a new window)