COS 280 - Discrete Mathematics II

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