2012-13 Pomona College Catalog

Nov 28, 2024

2012-13 Pomona College Catalog [ARCHIVED CATALOG] Use the dropdown above to select the current 2024-25 catalog.

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.