Dec 17, 2025  
2025-2026 Undergraduate Catalog 
    
2025-2026 Undergraduate Catalog
Add to My Catalog Bookmarks (opens a new window)

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



Add to My Catalog Bookmarks (opens a new window)