|
Nov 27, 2024
|
|
|
|
SFWR ENG 2DM3 - Discrete Mathematics and Logic I3 unit(s)
Syntax and semantics of formal languages; propositional logic; proof systems; sets, functions, relations, and algebras; graphs and trees; finite state machines; software engineering applications. Three lectures, one tutorial (one hour); first term Prerequisite(s): MATH 1ZB3 , MATH 1ZC3 Antirequisite(s): COMP SCI 1FC3, SFWR ENG 2E03, 2F03
Add to Favourites (opens a new window)
|
|