AgregmathKL - Contributions de l’utilisateur [fr]

Théorème de Rice

2012-04-26T19:01:21Z

Turing :

Où l'on montre que toutes les propriétés non triviales sur les ensembles récursivement énumérables sont indécidables.

*[[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:dvt_rice.tex | Théorème de Rice]]
*[[Fichier:Pdf.png|alt=Tex|link=|24px]] [[Média:dvt_rice.pdf | Théorème de Rice]]

Recasements :
* [[913 -- Machines de Turing. Applications.]]
* [[914 -- Décidabilité et indécidabilité. Exemples.]]
* [[922 -- Ensembles récursifs, récursivement énumérables. Exemples.]]

Accueil

2012-04-09T00:15:13Z

Turing : /* Liste des leçons et des développements */

== Bienvenue sur AgregmathKL ! ==
Vous trouverez sur ce wiki, leçon par leçon, des résultats que vous pouvez y mettre, des propositions de développement ainsi que les références bibliographiques utiles.

== Liste des leçons et des développements==
[[Leçons d'algèbre]]

[[Leçons d'analyse]]

[[Leçons d'algèbre et d'analyse pour l'option informatique]]

[[Leçons d'informatique]]

[[Développements]]

== Liste des références ==

Consultez ici toutes les informations concernant la [[bibliographie]].

Les livres conseillés par David Cachera pour l'option informatique sont listés [[Media:Biblio_info.pdf|ici]].

== Une question ? ==
Posez la sur la [[page des questions]].

== Divers ==

J'(Simon)ai écrit [http://perso.eleves.bretagne.ens-cachan.fr/~sbill404/fichiers/dvpts.odt un texte] qui comprend les leçons déjà étudiées (au premier trimestre) qui figurent au programme de l'option info. Il contient les remarques du jury et des exemples de développements référencés (essentiellement volées sur le site de Laurent Pater et sur Dynamaths). Il vous intéressera sûrement moins si vous n'êtes pas en option D, mais au cas où...

Quant à moi j'(Pierre M.)ai répertorié [[Média : Listedesleçons.tex | dans ce document‎]] la liste des leçons (me basant sur celle de ce wiki même) avec les rapports des jurys 2009 et 2010. À titre personnel j'imprimerai le fichier tel quel et remplirai tout à la main.

== Liens utiles ==
Vous trouverez les emplois du temps, les pages d'anciens élèves, et d'autres choses fort utiles sur la [[Liens utiles| page qui porte bien son nom]]

== À propos du wiki ==
N'hésitez pas à proposer des modifications sur l'organisation du wiki ou autres à l'aide de la [[Page de suggestions]].

Si vous souhaitez vous inscrire pour partager votre travail, envoyez un mail à [[Utilisateur : basile | Basile Pillet]] ou à [[Utilisateur:Turing | Vincent Picard]] en indiquant le pseudo ainsi que l'adresse mail que vous souhaitez utiliser sur le forum.

Leçons d'informatique 20112012

2012-04-09T00:14:28Z

Turing : a déplacé Leçons d'Informatique vers Leçons d'informatique : Informatique est un nom commum : pas de majuscules

== Leçons d'informatique de l'année 2011/2012 ==

[[901 -- Structures de données : exemples et applications.]]

[[902 -- Diviser pour régner : exemples et applications.]]

[[903 -- Exemples d’algorithmes de tri. Complexité.]]

[[904 -- Problèmes NP-complets : exemples.]]

[[906 -- Programmation dynamique : exemples et applications.]]

[[907 -- Algorithmique du texte : exemples et applications.]]

[[908 -- Automates Finis, exemples et applications]]

[[909 -- Langages rationnels. Exemples et applications.]]

[[910 -- Langages algébriques. Exemples et applications.]]

[[911 -- Automates à pile. Exemples et applications.]]

[[912 -- Fonctions récursives primitives et non primitives. Exemples.]]

[[913 -- Machines de Turing. Applications.]]

[[914 -- Décidabilité et indécidabilité. Exemples.]]

[[915 -- Classes de complexité : exemples.]]

[[916 -- Formules du calcul propositionnel : représentation, formes normales, satisﬁabilité. Applications.]]

[[917 -- Logique du premier ordre : syntaxe et sémantique.]]

[[918 -- Systèmes formels de preuve en logique du premier ordre : exemples.]]

[[919 -- Uniﬁcation : algorithmes et applications.]]

[[920 -- Réécriture et formes normales. Exemples.]]

[[921 -- Algorithmes de recherche et structures de données associées.]]

[[922 -- Ensembles récursifs, récursivement énumérables. Exemples.]]

[[923 -- Analyses lexicale et syntaxique : applications.]]

[[924 -- Théories et modèles en logique du premier ordre. Exemples.]]

[[925 -- Graphes : représentations et algorithmes.]]

[[926 -- Analyse des algorithmes : complexité. Exemples.]]

[[927 -- Exemples de preuve d’algorithme : correction, terminaison.]]

Leçons d'Informatique

2012-04-09T00:14:28Z

Turing : a déplacé Leçons d'Informatique vers Leçons d'informatique : Informatique est un nom commum : pas de majuscules

#REDIRECTION [[Leçons d'informatique]]

Accueil

2012-04-09T00:12:48Z

Turing : /* Liste des leçons et des développements */

== Bienvenue sur AgregmathKL ! ==
Vous trouverez sur ce wiki, leçon par leçon, des résultats que vous pouvez y mettre, des propositions de développement ainsi que les références bibliographiques utiles.

== Liste des leçons et des développements==
[[Leçons d'algèbre]]

[[Leçons d'analyse]]

[[Leçons d'algèbre et d'analyse pour l'option informatique]]

[[Leçons d'Informatique]]

[[Développements]]

== Liste des références ==

Consultez ici toutes les informations concernant la [[bibliographie]].

Les livres conseillés par David Cachera pour l'option informatique sont listés [[Media:Biblio_info.pdf|ici]].

== Une question ? ==
Posez la sur la [[page des questions]].

== Divers ==

J'(Simon)ai écrit [http://perso.eleves.bretagne.ens-cachan.fr/~sbill404/fichiers/dvpts.odt un texte] qui comprend les leçons déjà étudiées (au premier trimestre) qui figurent au programme de l'option info. Il contient les remarques du jury et des exemples de développements référencés (essentiellement volées sur le site de Laurent Pater et sur Dynamaths). Il vous intéressera sûrement moins si vous n'êtes pas en option D, mais au cas où...

Quant à moi j'(Pierre M.)ai répertorié [[Média : Listedesleçons.tex | dans ce document‎]] la liste des leçons (me basant sur celle de ce wiki même) avec les rapports des jurys 2009 et 2010. À titre personnel j'imprimerai le fichier tel quel et remplirai tout à la main.

== Liens utiles ==
Vous trouverez les emplois du temps, les pages d'anciens élèves, et d'autres choses fort utiles sur la [[Liens utiles| page qui porte bien son nom]]

== À propos du wiki ==
N'hésitez pas à proposer des modifications sur l'organisation du wiki ou autres à l'aide de la [[Page de suggestions]].

Si vous souhaitez vous inscrire pour partager votre travail, envoyez un mail à [[Utilisateur : basile | Basile Pillet]] ou à [[Utilisateur:Turing | Vincent Picard]] en indiquant le pseudo ainsi que l'adresse mail que vous souhaitez utiliser sur le forum.

Accueil

2012-04-09T00:12:13Z

Turing : /* Liste des leçons et des développements */

== Bienvenue sur AgregmathKL ! ==
Vous trouverez sur ce wiki, leçon par leçon, des résultats que vous pouvez y mettre, des propositions de développement ainsi que les références bibliographiques utiles.

== Liste des leçons et des développements==
[[Leçons d'algèbre]]

[[Leçons d'analyse]]

[[Leçons d'algèbre et d'analyse pour l'option informatique]]

[[Développements]]

[[Leçons d'Informatique]]

== Liste des références ==

Consultez ici toutes les informations concernant la [[bibliographie]].

Les livres conseillés par David Cachera pour l'option informatique sont listés [[Media:Biblio_info.pdf|ici]].

== Une question ? ==
Posez la sur la [[page des questions]].

== Divers ==

J'(Simon)ai écrit [http://perso.eleves.bretagne.ens-cachan.fr/~sbill404/fichiers/dvpts.odt un texte] qui comprend les leçons déjà étudiées (au premier trimestre) qui figurent au programme de l'option info. Il contient les remarques du jury et des exemples de développements référencés (essentiellement volées sur le site de Laurent Pater et sur Dynamaths). Il vous intéressera sûrement moins si vous n'êtes pas en option D, mais au cas où...

Quant à moi j'(Pierre M.)ai répertorié [[Média : Listedesleçons.tex | dans ce document‎]] la liste des leçons (me basant sur celle de ce wiki même) avec les rapports des jurys 2009 et 2010. À titre personnel j'imprimerai le fichier tel quel et remplirai tout à la main.

== Liens utiles ==
Vous trouverez les emplois du temps, les pages d'anciens élèves, et d'autres choses fort utiles sur la [[Liens utiles| page qui porte bien son nom]]

== À propos du wiki ==
N'hésitez pas à proposer des modifications sur l'organisation du wiki ou autres à l'aide de la [[Page de suggestions]].

Si vous souhaitez vous inscrire pour partager votre travail, envoyez un mail à [[Utilisateur : basile | Basile Pillet]] ou à [[Utilisateur:Turing | Vincent Picard]] en indiquant le pseudo ainsi que l'adresse mail que vous souhaitez utiliser sur le forum.

Utilisateur:Turing

2012-04-09T00:07:24Z

Turing : A protégé « Utilisateur:Turing » ([edit=sysop] (infini) [move=sysop] (infini))

Vincent Picard

Agreg 2011 / Promotion info 2008

Utilisateur:Turing

2012-04-08T23:55:25Z

Turing : Page créée avec « Vincent Picard Agreg 2011 / Promotion info 2008 »

Vincent Picard

Agreg 2011 / Promotion info 2008

Accueil

2012-04-08T23:53:48Z

Turing : /* À propos du wiki */

== Bienvenue sur AgregmathKL ! ==
Vous trouverez sur ce wiki, leçon par leçon, des résultats que vous pouvez y mettre, des propositions de développement ainsi que les références bibliographiques utiles.

== Liste des leçons et des développements==
[[Leçons d'algèbre]]

[[Leçons d'analyse]]

[[Leçons d'algèbre et d'analyse pour l'option informatique]]

[[Développements]] (en vrac).

[[Leçons d'Informatique]]

== Liste des références ==

Consultez ici toutes les informations concernant la [[bibliographie]].

Les livres conseillés par David Cachera pour l'option informatique sont listés [[Media:Biblio_info.pdf|ici]].

== Une question ? ==
Posez la sur la [[page des questions]].

== Divers ==

J'(Simon)ai écrit [http://perso.eleves.bretagne.ens-cachan.fr/~sbill404/fichiers/dvpts.odt un texte] qui comprend les leçons déjà étudiées (au premier trimestre) qui figurent au programme de l'option info. Il contient les remarques du jury et des exemples de développements référencés (essentiellement volées sur le site de Laurent Pater et sur Dynamaths). Il vous intéressera sûrement moins si vous n'êtes pas en option D, mais au cas où...

Quant à moi j'(Pierre M.)ai répertorié [[Média : Listedesleçons.tex | dans ce document‎]] la liste des leçons (me basant sur celle de ce wiki même) avec les rapports des jurys 2009 et 2010. À titre personnel j'imprimerai le fichier tel quel et remplirai tout à la main.

== Liens utiles ==
Vous trouverez les emplois du temps, les pages d'anciens élèves, et d'autres choses fort utiles sur la [[Liens utiles| page qui porte bien son nom]]

== À propos du wiki ==
N'hésitez pas à proposer des modifications sur l'organisation du wiki ou autres à l'aide de la [[Page de suggestions]].

Si vous souhaitez vous inscrire pour partager votre travail, envoyez un mail à [[Utilisateur : basile | Basile Pillet]] ou à [[Utilisateur:Turing | Vincent Picard]] en indiquant le pseudo ainsi que l'adresse mail que vous souhaitez utiliser sur le forum.