Accueil Publimath  Aide à la recherche  Requête : "informatique théorique"
Certification IDDN Valid HTML 4.01 Transitional

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

12019 Bibliothèque Tangente. N° 68. De grands concepts mathématiques sous forme informatique. p. 14-18.
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 Circulation : mathématiques, histoire, enseignement. Evelyne Barbin, entre épistémologie, histoire et enseignement. p. 221-240.
52019 Mathématice. N° 63. L'informatique peut-elle sauver les maths ?Ressource en ligne
62018 Bulletin de l'APMEP. N° 525-526. p. 99-107. Mathématiques et interdisciplinarité dans la formation universitaire.Ressource en ligne
72018 La formule du savoir.
82018 Tangente Hors-série. N° 68. p. 8-11. De grands concepts mathématiques sous forme informatique.
92017 Quadrature. N° 103. p. 11-17. Un jeu vidéo pour adultes et une thématique HoTT !Ressource en ligne
102015 Bibliothèque Tangente. N° 55. Une preuve de maths est un programme informatique ! p. 138-142.
112015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 130-131.
122015 Bibliothèque Tangente. N° 55. Prouver rapidement qu'une propriété est vérifiée... ou pas. p. 132-133.
132015 Bibliothèque Tangente. N° 55. Les démonstrations.
142015 Mathématice. N° 44. Sous les pavés, le calcul.Ressource en ligne
152015 Mathématice. N° 46. Recension du livre "le rêve d'Euclide".Ressource en ligne
162014 Bibliothèque Tangente. N° 52. Espaces de Banach et informatique théorique. p. 80-81.
172014 Bibliothèque Tangente. N° 52. Mathématiques et informatique.
182014 Bibliothèque Tangente. N° 52. Le problème fondamental de l'informatique théorique : P est-il égal à NP ? p. 82-86.
192014 Histoire de la logique.
202013 Bibliothèque Tangente. N° 48. Ambassadeurs français des mathématiques.