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; registration in any Software Engineering or Mechatronics Engineering program
Antirequisite(s): COMPSCI 2FA3, SFWRENG 2E03, 2F03