COMP SCI 2DM3 - Foundations I

3 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, 1ZC3
Antirequisite(s): COMP SCI 1FC3, SFWR ENG 2E03, 2F03
Cross-list(s): SFWR ENG 2DM3
Not offered before 2014-15.