https://minerve.ens-rennes.fr/index.php?action=history&feed=atom&title=Th%C3%A9or%C3%A8me_de_Cook 2026-05-07T02:10:43Z Historique pour cette page sur le wiki MediaWiki 1.24.0 https://minerve.ens-rennes.fr/index.php?title=Th%C3%A9or%C3%A8me_de_Cook&diff=2702&oldid=prev 2015-02-26T20:16:51Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr style='vertical-align: top;'> <td colspan='2' style="background-color: white; color:black; text-align: center;">← Version précédente</td> <td colspan='2' style="background-color: white; color:black; text-align: center;">Version du 26 février 2015 à 20:16</td> </tr><tr><td colspan="2" class="diff-lineno">Ligne 6 :</td> <td colspan="2" class="diff-lineno">Ligne 6 :</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>== Recasements ==</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>== Recasements ==</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">* [[904 -- Problèmes NP-complets : exemples.]]</del></div></td><td colspan="2">&#160;</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* [[913 -- Machines de Turing. Applications.]]</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* [[913 -- Machines de Turing. Applications.]]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* [[915 -- Classes de complexité : exemples.]]</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* [[915 -- Classes de complexité : exemples.]]</div></td></tr> <tr><td colspan="2" class="diff-lineno">Ligne 13 :</td> <td colspan="2" class="diff-lineno">Ligne 12 :</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>== Références ==</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>== Références ==</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* Olivier Carton. Langages formels, calculabilité et complexité.</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* Olivier Carton. Langages formels, calculabilité et complexité.</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">[[Category: Développement de la leçon 913]]</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">[[Category: Développement de la leçon 915]]</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">[[Category: Développement de la leçon 916]]</ins></div></td></tr> </table>

Mathias Millet https://minerve.ens-rennes.fr/index.php?title=Th%C3%A9or%C3%A8me_de_Cook&diff=667&oldid=prev 2012-06-16T12:19:49Z

<p>Page créée avec « Où l&#039;on (re)découvre avec nostalgie son premier problème NP-complet… == Développement == *<a href="/index.php/Fichier:Tex.png" title="Fichier:Tex.png">24px</a> [[Média:dvt_cook.tex | Théorème de … »</p> <p><b>Nouvelle page</b></p><div>Où l'on (re)découvre avec nostalgie son premier problème NP-complet…<br /> <br /> == Développement ==<br /> *[[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:dvt_cook.tex | Théorème de Cook]]<br /> *[[Fichier:Pdf.png|alt=Tex|link=|24px]] [[Média:dvt_cook.pdf | Théorème de Cook]]<br /> <br /> == Recasements ==<br /> * [[904 -- Problèmes NP-complets : exemples.]]<br /> * [[913 -- Machines de Turing. Applications.]]<br /> * [[915 -- Classes de complexité : exemples.]]<br /> * [[916 -- Formules du calcul propositionnel : représentation, formes normales, satisfiabilité. Applications.]]<br /> <br /> == Références ==<br /> * Olivier Carton. Langages formels, calculabilité et complexité.</div>

Kevin