Vue d'ensemble
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.
Trimestres : Hiver 2016
Chargés de cours : Eslava Fernández, Laura (Winter)