Introduction to logic and proof techniques; functions, relations, and sets; counting; trees and graphs; concepts are illustrated using computational tools. Three lectures, one tutorial (two hours); second term Prerequisite(s): Credit or registration in one of ARTS&SCI 1D06, ISCI 1A24, MATH 1A03, 1M03, 1N03, 1X03, 1Z04, 1ZA3 Antirequisite(s): SFWR ENG 2DM3
