|
|
|
Apr 24, 2024
|
|
CSCI081 PO - Computability and LogicWhen Offered: Each spring.
Instructor(s): K. Bruce; E. Bull; Y. Wu; Staff
Credit: 1
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 CSCI 052 PO or CSCI 060 HM ; and one of the following CSCI 055 PO , MATH 055 HM , or MATH 103 PO .
Satisfies the following General Education Requirement(s), subject to conditions explained in the Degree Requirements section of this Catalog:
Area 5
Add to Portfolio (opens a new window)
|
|
|
