Table of contents : Couverture Page de titre Avant-prpos Première partie : NOTIONS GÉNÉRALES 1. Éléments de logique et notions ensemblistes 2. Relations binaires Fonctions. assessment 3. Lois de composition, interne et externe. Structures algébriques 4. Structures d'ordre 5. Cardinaux finis. Analyse combinatoire Deuxième partie : LES ENTIERS RELATIFS ET LA DIVISIBILITÉ 6. L'annéau des entiers relatifs 7. Congruences arithmétiques 8. Division euclidienne. Numération 9. Plus petit commun multiple. Plus grand commun diviseur 10. Les nombrespremiers Troisième partie : LES NOMBRES RÉELS 11. Le corps des nombres rationnels 12. Le corps des nombres réels 13. Puissances d'exposants rationnels Quatrième partie : LES NOMBRES COMPLEXES 14. Le corps des nombres complexes 15. Les nombres complexes de module égal à un 16. Forme trigonométrique des nombres complexes Cinquième partie : APPLICATIONS ET RÉVISIONS 17. Progressions 18. Polynomes et fractions rationnelles 19 Équations et inéquations dans ℝ INDEX ALPHABÉTIQUE A Abel absorption (lois d’) absurde algèbre (——) affixe anneau antilogie antinomie antisymétrique application Archimède archimédien (——) (——) Argand argument automorphisme axiome B base (de numération) Bezout bi-implication bijection binome (de Newton) Boole borne C cardinal Cauchy chaîne classe (d'équivalence) combinaison complémentaire complémenté (treillis) complétif (système) complexe (nombre) compréhension composition 83 congruence conjonction conjugué connecteur contraposée corps couple Cramer D déduction dénombrable dérivées (notions) Descartes disjonction distributivité (——) diviseur duale (forme) E endomorphisme ensemble ensemble-quotient équation (——) (——) (——) équipotent équivalence (relation d’) équivalentes (propositions) (——) Eratosthène Euclide euclidienne (division) évaluation existentiel (quantificateur) extension (——) F famille factorielle factorisation (——) Fermat fini (cardinal) fonction fraction rationnelle G Galois Gauss graphe groupe H homogène (système) homomorphisme (——) I idéal implication implique inclusion infère infini (cardinal) injection intègre intersection intervalle inversible inversion (des fonctions circulaires) involution isomorphisme (——) L linéaire (application) —— (combinaison) M majorant maximal minimal minorant module —— (d’un nombre complexe) modulo Moivre N négation neutre Newton norme (algébrique) normé (polynome) noyau numération O opérant (groupe-) ordre (continu) —— (dense) —— (discret) —— (divisible) —— (relation d’) P partition Pascal Péano permise (partie) permutables (éléments) permutation p.g.c.d p.p.c.m polynome prédicat premier (nombre) préordre primaire (nombre) prolongement proposition progression (——) Pythagore Q quadratique (extension) quantificateur quaternion R racine carrée (——) racine nième (——) rationnel (nombre) réciproque (——) récurrence (——) réflexif régulier relatif (entier) restriction réunion Russell S section (commençante, finissante) segment simplexe sous-groupe stable (partie) substitution —— (méthode de) successeur suite surjection symétrique (——) T tautologie transfini transitivité —— (équivalence de) transposé treillis U union universel (quantificateur) V valeur absolue (——) (——) (——) variable vectoriel (espace) Table des matières