COMP SCI 2FA3 - Foundations II

3 unit(s)

First-order logic; proof by induction; definition by recursion; models of computation; computational limits and complexity; higher-order logic; software engineering applications.
Three lectures, one tutorial (one hour); second term
Prerequisite(s): COMP SCI 1FC3 or COMP SCI 2DM3 or SFWR ENG 2DM3
Antirequisite(s): SFWR ENG 2E03, 2F03
Cross-list(s): SFWR ENG 2FA3
Not offered before 2014-15.