http://step.ipgp.fr/index.php?action=history&feed=atom&title=Langage_math%C3%A9matiques 2026-06-06T01:54:17Z Historique pour cette page sur le wiki MediaWiki 1.15.1 http://step.ipgp.fr/index.php?title=Langage_math%C3%A9matiques&diff=6532&oldid=prev 2008-10-18T11:43:03Z

<p>Nouvelle page : {{Modules| nom=Langage mathématiques| description= &#39;&#39;&#39;Résumé du programme :&#39;&#39;&#39; Etudes des particularités du langage mathématique à partir d&#39;exemples. Notions simples de dé...</p> <p><b>Nouvelle page</b></p><div>{{Modules|<br /> nom=Langage mathématiques|<br /> description=<br /> <br /> '''Résumé du programme :''' <br /> <br /> Etudes des particularités du langage mathématique à partir d'exemples. Notions simples de <br /> dénombrement et de cardinalité <br /> <br /> − fonctions et ensembles (opérations ensemblistes, injection, surjection, bijection) <br /> <br /> − expressions mathématiques : notion de variable, paramètre, notation fonctionnelle, notation indicée <br /> (suite); <br /> <br /> − les énoncés: connecteurs, quantificateurs, négation d'énoncés usuels; implication, équivalence, <br /> contraposition <br /> <br /> − raisonnement : analyse de raisonnements élémentaires à partir d'exemples; raisonnement par <br /> contraposition, par l'absurde; démonstration d'une conjonction d'équivalences; raisonnement par <br /> récurrence; recherche de démonstration et recherche de contre-exemple <br /> <br /> − équipotence, cardinalité d'un ensemble, combinatoire : quelques méthodes usuelles de dénombrement : principe des tiroirs, principe d'inclusion-exclusion et applications; cardinalité infinie : N, Z, Q, R (théorème de Cantor) <br /> <br /> <br /> '''Compétences visées :''' <br /> <br /> <br /> <br /> '''Modalités d'évaluation'''<br /> <br /> CC et examen terminal <br /> <br /> |<br /> responsable=[mailto:paul.rozière@pps.jussieu.fr Paul Rozière]|<br /> equipe= |<br /> annee=L1|<br /> semestre=S1|<br /> type=F et L|<br /> credits=3}}<br /> <br /> <br /> [[Catégorie:Modules]][[Catégorie:L1]]</div>

Ninto