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. N° 63. L'informatique peut-elle sauver les maths ?Ressource en ligne
32018 Bulletin de l'APMEP. N° 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. N° 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. N° 55. Les démonstrations.
82015 Bibliothèque Tangente. N° 55. Une preuve de maths est un programme informatique ! p. 138-142.
92015 Bibliothèque Tangente. N° 55. Prouver rapidement qu'une propriété est vérifiée... ou pas. p. 132-133.
102015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 130-131.
112015 Mathématice. N° 44. Sous les pavés, le calcul.Ressource en ligne
122015 Mathématice. N° 46. Recension du livre "le rêve d'Euclide".Ressource en ligne
132014 Bibliothèque Tangente. N° 52. Mathématiques et informatique.
142014 Bibliothèque Tangente. N° 52. Le problème fondamental de l'informatique théorique : P est-il égal à NP ? p. 82-86.
152014 Bibliothèque Tangente. N° 52. Espaces de Banach et informatique théorique. p. 80-81.
162014 Histoire de la logique.
172013 Bibliothèque Tangente. N° 48. L'invraisemblable nombre Omega. p. 116-119.
182013 Bibliothèque Tangente. N° 48. Ambassadeurs français des mathématiques.
192012 Tangente Hors-série. N° 48. Les ambassadeurs francophones des mathématiques.
202012 Tangente Hors-série. N° 48. p. 46-48. L'invraisemblable nombre Omega.