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

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

12019 Circulation : mathématiques, histoire, enseignement. Evelyne Barbin, entre épistémologie, histoire et enseignement. p. 221-240.
22019 Mathématice. Num. 63. L'informatique peut-elle sauver les maths ?Ressource en ligne
32018 Bulletin de l'APMEP. Num. 525-526. p. 99-107. Mathématiques et interdisciplinarité dans la formation universitaire.Ressource en ligne
42018 La formule du savoir.
52018 Tangente Hors-série. Num. 68. p. 8-11. De grands concepts mathématiques sous forme informatique.
62017 Quadrature. Num. 103. p. 11-17. Un jeu vidéo pour adultes et une thématique HoTT !Ressource en ligne
72015 Bibliothèque Tangente. Num. 55. Les démonstrations.
82015 Bibliothèque Tangente. Num. 55. Une preuve de maths est un programme informatique ! p. 138-142.
92015 Bibliothèque Tangente. Num. 55. Prouver rapidement qu'une propriété est vérifiée... ou pas. p. 132-133.
102015 Bibliothèque Tangente. Num. 55. La démonstration automatique : un enjeu crucial. p. 130-131.
112015 Mathématice. Num. 44. Sous les pavés, le calcul.Ressource en ligne
122015 Mathématice. Num. 46. Recension du livre "le rêve d'Euclide".Ressource en ligne
132014 Bibliothèque Tangente. Num. 52. Mathématiques et informatique.
142014 Bibliothèque Tangente. Num. 52. Le problème fondamental de l'informatique théorique : P est-il égal à NP ? p. 82-86.
152014 Bibliothèque Tangente. Num. 52. Espaces de Banach et informatique théorique. p. 80-81.
162014 Histoire de la logique.
172013 Bibliothèque Tangente. Num. 48. L'invraisemblable nombre Omega. p. 116-119.
182013 Bibliothèque Tangente. Num. 48. Ambassadeurs français des mathématiques.
192012 Tangente Hors-série. Num. 48. Les ambassadeurs francophones des mathématiques.
202012 Tangente Hors-série. Num. 48. p. 46-48. L'invraisemblable nombre Omega.