Résultats de la recherche

Créer la page « Turing » sur ce wiki ! Voyez également les résultats de votre recherche.

Correspondances dans les titres des pages

• 913 -- Machines de Turing. Applications.
  830 o (125 mots) - 22 avril 2022 à 09:38

Correspondances dans le texte des pages

• Bibliographie
  [[Girard-Turing | Girard, Turing, ''La machine de Turing'']]
  8 Kio (979 mots) - 2 septembre 2020 à 18:26
• Leçons d'informatique 20112012
  [[913 -- Machines de Turing. Applications.]]
  2 Kio (202 mots) - 16 décembre 2014 à 20:13
• Universalité d'un langage rationnel
  * (913 - Machines de Turing. Applications.)
  741 o (98 mots) - 26 février 2015 à 21:16
• Théorème de Rice
  * [[913 -- Machines de Turing. Applications.]]
  630 o (98 mots) - 26 février 2015 à 21:17
• Théorème de Cook
  * [[913 -- Machines de Turing. Applications.]]
  720 o (102 mots) - 26 février 2015 à 21:16
• Leçons 2012 - 2013
  ...er:Pdf.png|alt=Pdf|link=|24px]] [[Média:913_2012-2013.pdf|913 Machines de Turing. Applications.
  14 Kio (2 149 mots) - 1 décembre 2013 à 19:16
• Indécidabilité de la terminaison d'un système de réécriture
  * [[913 -- Machines de Turing. Applications.]]
  754 o (110 mots) - 31 mars 2015 à 14:21