SFWRENG 2FA3 — Discrete Mathematics and Applications II
Predicate logic and formal proofs, grammars and automata, modular arithmetic, and their applications to computing.
Terms offered: Winter
Antirequisites: COMPSCI 2FA3, SFWRENG 2E03, SFWRENG 2F03
Predicate logic and formal proofs, grammars and automata, modular arithmetic, and their applications to computing.
Terms offered: Winter
Antirequisites: COMPSCI 2FA3, SFWRENG 2E03, SFWRENG 2F03