Accueil Publimath  Aide à la recherche  Requête : "décidabilité et indécidabilité"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
55 fiches trouvées Réponses 1 à 20 Suivant Fin

12018 Tangente Hors-série. N° 68. Intelligence artificielle.
22017 Bibliothèque Tangente. N° 61. Kurt Go del et l'indécidabilité. p. 70-73.
32017 Bibliothèque Tangente. N° 61. Les ensembles.
42015 Tangente. N° 163. p. 10-12. Le génie interrompu d'Alan Turing.
52014 Bibliothèque Tangente. N° 52. Alonzo Church, Alan Turing et la calculabilité. p. 40-42.
62014 Bibliothèque Tangente. N° 52. Mathématiques et informatique.
72014 Tangente Hors-série. N° 52. L'informatique riche des maths.
82014 Tangente Hors-série. N° 52. p. 12-13. Alonzo Church, Alan Turing et la calculabilité.
92013 Bibliothèque Tangente. N° 48. L'invraisemblable nombre Omega. p. 116-119.
102013 Bibliothèque Tangente. N° 49. Algorithmes numériques impossibles. p. 58-62.
112013 Bibliothèque Tangente. N° 48. Ambassadeurs français des mathématiques.
122013 Bibliothèque Tangente. N° 49. Les maths de l'impossible.
132013 Destination géométrie et topologie avec Thurston.
142013 Destination Géométrie et topologie avec Thurston. Les tresses : de la topologie à la cryptographie. p. 27 - 43Ressource en ligne
152013 Tangente. N° 155. p. 36-37. L'infini, c'est de l'hébreu.
162012 La logique, un aiguillon pour la pensée.
172012 Tangente Hors-série. N° 48. Les ambassadeurs francophones des mathématiques.
182012 Tangente Hors-série. N° 48. p. 46-48. L'invraisemblable nombre Omega.
192011 Bulletin de l'APMEP. N° 492. p. 79-87. Les jeux diophantiens.Ressource en ligne
202010 Feuille de vigne. N° 116.Ressource en ligne