Home → Academics → Courses → CS320L

An introduction to the mathematical structures and concepts used in computing: sets, mathematical induction, ordered sets, boolean algebras, predicate calculus, trees, relations and lattice theory, formal theory of languages and automata theory. Formal and informal theories and corresponding mathematical proofs are taught.

Note

This course is cross-listed with the mathematics department.

Pre-requisites

CS110 and Math260 or permission of instructor.