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

  dans Afficher les fiches par  
63 fiches trouvées Reponses 1 à 20 Suivant Fin

12020 Around the Domino Problem - Combinatorial Structures and Algebraic Tools.Ressource en ligne
22019 Bibliothèque Tangente. N° 33. Edition 2019. L'invraisemblable nombre Omega. p. 72-77.
32019 Bibliothèque Tangente. N° 33. Edition 2019. Les nombres.
42019 Bibliothèque Tangente. N° 68. Intelligence artificielle.
52019 Généalogie des mathématiques.Ressource en ligne
62018 Tangente Hors-série. N° 68. Intelligence artificielle.
72017 Bibliothèque Tangente. N° 61. Kurt Gödel et l'indécidabilité. p. 70-73.
82017 Bibliothèque Tangente. N° 61. Les ensembles.
92015 Tangente. N° 163. p. 10-12. Le génie interrompu d'Alan Turing.
102014 Bibliothèque Tangente. N° 52. Alonzo Church, Alan Turing et la calculabilité. p. 40-42.
112014 Bibliothèque Tangente. N° 52. Mathématiques et informatique.
122014 Tangente Hors-série. N° 52. L'informatique riche des maths.
132014 Tangente Hors-série. N° 52. p. 12-13. Alonzo Church, Alan Turing et la calculabilité.
142014 Vidéo SMF - Un texte, un mathématicien. Le génie interrompu d'Alan Turing.Ressource en ligne
152013 Bibliothèque Tangente. N° 48. Ambassadeurs français des mathématiques.
162013 Bibliothèque Tangente. N° 48. L'invraisemblable nombre Omega. p. 116-119.
172013 Bibliothèque Tangente. N° 49. Algorithmes numériques impossibles. p. 58-62.
182013 Bibliothèque Tangente. N° 49. Les maths de l'impossible.
192013 Destination géométrie et topologie avec Thurston.
202013 Destination Géométrie et topologie avec Thurston. Les tresses : de la topologie à la cryptographie. p. 27-43.Ressource en ligne