2014-15 Pomona College Catalog

Apr 15, 2024

2014-15 Pomona College Catalog [ARCHIVED CATALOG] Use the dropdown above to select the current 2023-24 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.