COMPSCI 2FA3 - Discrete Mathematics with Applications II

3 unit(s)

Predicate logic and formal proofs, grammars and automata, modular arithmetic, and their applications to computing.
Three lectures, one tutorial (one hour); second term
Prerequisite(s): COMPSCI 1FC3 or 2DM3
Antirequisite(s): SFWRENG 2E03, 2F03, 2FA3