Université Joseph Fourier Grenoble I Mathématiques Informatique et Mathématiques Appliquées Licence Sciences et Technologies 1e année

Niveau: Supérieur, Licence, Bac+3
Université Joseph Fourier, Grenoble I Mathématiques, Informatique et Mathématiques Appliquées Licence Sciences et Technologies 1e année Langage mathématique Eric Dumas, Emmanuel Peyre et Bernard Ycart Ce chapitre vous explique la règle du jeu mathématique. Rien n'est vraiment nou- veau ni compliqué. Pour donner des exemples d'énoncés, nous ferons appel à quelques notions de base sur les nombres entiers, que vous connaissez depuis longtemps. Table des matières 1 Cours 2 1.1 Assertions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 1.2 Ensembles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 1.3 Quantificateurs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 1.4 Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 1.5 Cardinaux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

• infini au fini


• symboles de comparaison


• connecteurs de base


• outils de base du raisonnement mathématique


• cardinaux infinis


• maths en l1˙gne langage mathématique


• table de vérité