SFWRENG 2FA3 - Discrete Mathematics and 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): SFWRENG 2DM3
Antirequisite(s): COMPSCI 2FA3, SFWR ENG 2E03, 2F03