A continuation of COMP 138, this course introduces further mathematical concepts used in computing science. Topics covered include graph theory in terms of directed graphs, binary trees, languages, grammars, machines, an introduction to proofs and mathematical induction, and algorithm analysis.
Prerequisite: A grade of C or better in COMP 138 or instructor's written consent
Note: Same as COMP 139