<?xml version="1.0"?>
<?xml-stylesheet type="text/css" href="http://step.ipgp.fr/skins/common/feed.css?207"?>
<rss version="2.0" xmlns:dc="http://purl.org/dc/elements/1.1/">
	<channel>
		<title>Langage mathématiques - Historique des versions</title>
		<link>http://step.ipgp.fr/index.php?title=Langage_math%C3%A9matiques&amp;action=history</link>
		<description>Historique pour cette page sur le wiki</description>
		<language>fr</language>
		<generator>MediaWiki 1.15.1</generator>
		<lastBuildDate>Fri, 05 Jun 2026 23:20:25 GMT</lastBuildDate>
		<item>
			<title>Ninto&amp;nbsp;:&amp;#32;Nouvelle page : {{Modules| nom=Langage mathématiques| description=  '''Résumé du programme :'''   Etudes des particularités du langage mathématique à partir d'exemples. Notions simples de  dé...</title>
			<link>http://step.ipgp.fr/index.php?title=Langage_math%C3%A9matiques&amp;diff=6532&amp;oldid=prev</link>
			<description>&lt;p&gt;Nouvelle page : {{Modules| nom=Langage mathématiques| description=  &amp;#39;&amp;#39;&amp;#39;Résumé du programme :&amp;#39;&amp;#39;&amp;#39;   Etudes des particularités du langage mathématique à partir d&amp;#39;exemples. Notions simples de  dé...&lt;/p&gt;
&lt;p&gt;&lt;b&gt;Nouvelle page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;{{Modules|&lt;br /&gt;
nom=Langage mathématiques|&lt;br /&gt;
description=&lt;br /&gt;
&lt;br /&gt;
'''Résumé du programme :''' &lt;br /&gt;
&lt;br /&gt;
Etudes des particularités du langage mathématique à partir d'exemples. Notions simples de &lt;br /&gt;
dénombrement et de cardinalité &lt;br /&gt;
  &lt;br /&gt;
− fonctions et ensembles (opérations ensemblistes, injection, surjection, bijection) &lt;br /&gt;
&lt;br /&gt;
− expressions mathématiques : notion de variable, paramètre, notation fonctionnelle, notation indicée &lt;br /&gt;
(suite);  &lt;br /&gt;
&lt;br /&gt;
− les énoncés: connecteurs, quantificateurs, négation d'énoncés usuels; implication, équivalence, &lt;br /&gt;
contraposition &lt;br /&gt;
&lt;br /&gt;
− raisonnement : analyse de raisonnements élémentaires à partir d'exemples; raisonnement par &lt;br /&gt;
contraposition, par l'absurde; démonstration d'une conjonction d'équivalences; raisonnement par &lt;br /&gt;
récurrence; recherche de démonstration et recherche de contre-exemple &lt;br /&gt;
&lt;br /&gt;
− é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) &lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
'''Compétences visées :''' &lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
'''Modalités d'évaluation'''&lt;br /&gt;
&lt;br /&gt;
CC et examen terminal &lt;br /&gt;
&lt;br /&gt;
|&lt;br /&gt;
responsable=[mailto:paul.rozière@pps.jussieu.fr Paul Rozière]|&lt;br /&gt;
equipe= |&lt;br /&gt;
annee=L1|&lt;br /&gt;
semestre=S1|&lt;br /&gt;
type=F et L|&lt;br /&gt;
credits=3}}&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
[[Catégorie:Modules]][[Catégorie:L1]]&lt;/div&gt;</description>
			<pubDate>Sat, 18 Oct 2008 11:43:03 GMT</pubDate>			<dc:creator>Ninto</dc:creator>			<comments>http://step.ipgp.fr/index.php/Discussion:Langage_math%C3%A9matiques</comments>		</item>
	</channel>
</rss>