* Ces horaires sont donnés à titre indicatif.
Calculs algébriques : manipulation des sommes et des produits de familles finies de nombres réels, sommes et produits télescopiques, sommes géométriques, factorisation de a^n-b^n par a-b, factorielle et coefficients binomiaux, formule du binôme de Newton, sommes doubles et produit de deux sommes finies.
Logique : connecteurs « et » et « ou », quantificateurs, implications, contraposition, équivalences, négation, types de preuves : disjonction de cas, contraposition, absurde, analyse-synthèse, récurrence. Principes de rédaction. Illustrer avec des exemples issus du lycée. Il s’agit de donner le vocabulaire et les notations. La manipulation se fera au fur et à mesure des UE de première année.
Ensemble : appartenance, inclusion, parties, opérations : union, intersection, complémentaire, produit cartésien d'un nombre fini d'ensembles, ensemble des parties d'un ensemble (recouvrement, partition). Il s’agit de donner le vocabulaire et les notations, la manipulation se fera au fur et à mesure des UE de première année. L’interprétation combinatoire de coefficient binomial “k parmi n” comme le nombre de k-parties d’un ensemble à n éléments. Triangle de Pascal.
Applications : image directe, image réciproque, injectivité, surjectivité, bijectivité, composition.
Nombres entiers et arithmétique : (Z/nZ hors programme) Divisibilité, diviseurs, multiples, division euclidienne, congruences, pgcd, ppcm, algorithme d’Euclide. Identité de Bézout, théorème de Gauss, équations ax + by = c. Nombres premiers, décomposition en facteurs premiers. Bases de la numération. Relations d'équivalence (la notion d'ensemble quotient est hors programme).