Nov 27, 2024  
Undergraduate Calendar 2013-2014 
    
Undergraduate Calendar 2013-2014 [-ARCHIVED CALENDAR-]

Add to Favourites (opens a new window)

SFWR ENG 2DM3 - Discrete Mathematics and Logic 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 , MATH 1ZC3 
Antirequisite(s): COMP SCI 1FC3, SFWR ENG 2E03, 2F03



Add to Favourites (opens a new window)