2011-12 Pomona College Catalog

Nov 25, 2024

2011-12 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): C. Stone; Staff

Computability and Logic. 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.