Inflation phenomene monétaire
Cours de Maths 2011-2012 Semestre d’Automne
LES REFERENCES DU COURS
Notes de cours 2011-2012 disponibles (au fil des semaines) sur la page: http://www.labri.fr/perso/hocquard/Teaching.html Autres documents sur le site : http://www.canalu.tv/producteurs/les_amphis_de_france_5/dossier_programmes/philosophie/ sciences_et_philosophie/le_monde_est_il_mathematique
2
ET ENCORE, POUR CEUX QUE PASSIONNE L’HISTOIRE DES IDÉES, DES CONCEPTS ET DE LEURS INVENTEURS…
http://turnbull.mcs.st-and.ac.uk/~history
3
Pourquoi les mathématiques ? http://autourdesmaths.fr/spip/spip.php?rubrique1 Pour entrevoir quelques exemples illustrant le rôle essentiel des mathématiques là où on ne le soupçonne pas toujours ! 4
LE PLAN DU COURS
Bases de logique, théorie des ensembles
Rappels…
5
2 ou 3 évaluations en TD Note de TD Examen final en janvier 2012 Note d’examen
6
7
8
9
BASES DE LOGIQUE ET THÉORIE
DES ENSEMBLES
Opérations logiques Ensembles et parties d’un ensemble ; quantificateurs Apprendre à raisonner par l’absurde Raisonner par contraposition Compter, calculer, ordonner, raisonner par récurrence Notion de fonction
10
OPÉRATIONS LOGIQUES
Objets, assertions, relations Vrai et Faux Quelques opérations entre assertions Règles de logique
11
Objets, assertions, relations
Les nombres (ℕ, ℤ, ��, ℚ, ℝ, ℂ, …)
12
ℕ : l’ensemble des entiers naturels ℤ : l’ensemble des entiers relatifs
�� : l’ensemble des nombres décimaux
ℚ : l’ensemble des nombres rationnels ℝ : l’ensemble des nombres réels ℂ : l’ensemble des nombres complexes
13
14
Les objets géométriques
Objets, assertions, relations
VRAI FAUX
15
ETABLIR GRÂCE À UN JEU D’AXIOMES QU’UNE ASSERTION EST VRAIE
C’est prouver un théorème … ou prouver un lemme … ou prouver un corollaire …
16
QUELQUES OPÉRATIONS ENTRE
ASSERTIONS
LA DISJONCTION : R OU S