|
|
|
Apr 26, 2024
|
|
CSCI081 PO - Computability and LogicWhen Offered: Fall 2018.
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: CSCI 054 PO or one of CSCI 052 PO and CSCI 060 HM ; plus one of the following courses: 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)
|
|
|
