Description including Unit Aims The unit provides an introduction to logical propositions, basic set theory and cardinality, functions and relations, and proof techniques. These notions are ...

Les procédés usuels de réduction, et en particulier l'algorithme LLL, deviennent plus performants lorsqu'on les adapte à ces structures, Numerous important lattices (𝔻₄, 𝔼₈, the Coxeter-Todd lattice ...