SFWR ENG 2DM3 DISCRETE MATHEMATICS AND LOGIC I

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 1ZZ5; or MATH 1AA3 and 1B03 Antirequisite(s): COMP SCI 1FC3, SFWR ENG 2E03, 2F03





There are no comments for this course.