2013-14 Pomona College Catalog

Nov 21, 2024

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

CSCI 081 PO - Computability and 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: Either CSCI052 or CSCI060; and one of the following CSCI055, MATH055, or MATH103.