Concepts of modern algebra, set theory, Boolean algebra and predicate logic, elements of graph theory, and their application to computer science. This course emphasizes a syntactic approach to proof discovery.
Prerequisite(s): Grade of C or higher in COS 160 and MAT 145. Co-requisite(s): Credits: 4
Course Typically Offered: Fall Course Type: Computer Science