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. Num. 68. Intelligence artificielle.
22017 Bibliothèque Tangente. Num. 61. Kurt Go del et l'indécidabilité. p. 70-73.
32017 Bibliothèque Tangente. Num. 61. Les ensembles.
42015 Tangente. Num. 163. p. 10-12. Le génie interrompu d'Alan Turing.
52014 Bibliothèque Tangente. Num. 52. Mathématiques et informatique.
62014 Bibliothèque Tangente. Num. 52. Alonzo Church, Alan Turing et la calculabilité. p. 40-42.
72014 Tangente Hors-série. Num. 52. L'informatique riche des maths.
82014 Tangente Hors-série. Num. 52. p. 12-13. Alonzo Church, Alan Turing et la calculabilité.
92013 Bibliothèque Tangente. Num. 48. Ambassadeurs français des mathématiques.
102013 Bibliothèque Tangente. Num. 48. L'invraisemblable nombre Omega. p. 116-119.
112013 Bibliothèque Tangente. Num. 49. Algorithmes numériques impossibles. p. 58-62.
122013 Bibliothèque Tangente. Num. 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. Num. 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. Num. 48. Les ambassadeurs francophones des mathématiques.
182012 Tangente Hors-série. Num. 48. p. 46-48. L'invraisemblable nombre Omega.
192011 Bulletin de l'APMEP. Num. 492. p. 79-87. Les jeux diophantiens.Ressource en ligne
202010 Feuille de vigne. Num. 116.Ressource en ligne