Provides instruction for program correctness, recurrence relations and their solutions, divide and conquer relations, graph theory, trees and their applications, Boolean algebra, introduction to formal languages, and automata theory.
Prerequisites
ICS 141 with grade C or better, or consent.