2014-15 Pomona College Catalog

Dec 24, 2024

2014-15 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; E. Bull; 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.