Accueil Publimath  Aide à la recherche  Requête : "problème de la décision"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
19 fiches trouvées

12015 Bibliothèque Tangente. N° 55. Les démonstrations.
22015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 130-131.
32015 Bibliothèque Tangente. N° 55. Une preuve de maths est un programme informatique ! p. 138-142.
42015 Bibliothèque Tangente. N° 55. Prouver rapidement qu'une propriété est vérifiée... ou pas. p. 132-133.
52015 La logique.
62015 Tangente. N° 163. p. 10-12. Le génie interrompu d'Alan Turing.
72014 Bulletin de l'APMEP. N° 510. p. 471-484. Apprenez à programmer avec une machine de Turing.Ressource en ligne
82012 Tangente Sup. N° 63-64. Prévoir pour décider.
92010 Bibliothèque Tangente. N° 39. Mathématiques discrètes et combinatoire.
102009 CultureMATH. Algorithmes et puzzles : une ultime approche de Turing.Ressource en ligne
112007 Les métamorphoses du calcul.
122004 Histoires de probabilités et de statistiques. Tables de natalité, tables de mortalité. p. 91-118.
132004 Histoires de probabilités et de statistiques.
142004 Histoires de probabilités et de statistiques. Le joueur et le banquier : sur une correspondance des frères Huygens. p. 77-90.
152001 Repères-IREM, N°45. p. 56-59. Vache folle : probabilités, réalités et ... pesanteur(s).Ressource en ligne
161995 La machine de Turing.
171995 La machine de Turing.
181976 Hasardons-nous. Etude d'un problème de décision. p. 73-94.Ressource en ligne
191976 Hasardons-nous.Ressource en ligne