(No Longer Offered) Propositional logic, predicate logic, mathematical proofs and reasoning, induction, basic algorithms and asymptotic analysis, recurrence relations, basic graph theory and graph algorithms
This course is not being taught this quarter
