Mathématiques et Statistiques (Sci) : Logic and combinatorics. Mathematical reasoning and methods of proof. Sets, relations, functions, partially ordered sets, lattices, Boolean algebra. Propositional and predicate calculi. Recurrences and graph theory.
Terms: This course is not scheduled for the 2018-2019 academic year.
Instructors: There are no professors associated with this course for the 2018-2019 academic year.