ICS 241 — Discrete Mathematics for Computer Science II
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.