CS110 -- Combinatorics for Computer Science 1
CS208 -- Logic and Algorithms