Discrete Structures for Computer Science

(4,0) 4 alternate years

Formal logic and proof techniques; recursion, recurrence relations and combinational methods; analysis of algorithms; algebraic structures; trees and graphs; Boolean algebra and computer logic; models of computation and formal languages. Emphasis will be on applications to computer science. Prerequisites: CSCI121 with a grade of C or better, and either MATH112 or 151 with a grade of C or better.

Source: Academic Catalog 2011-12