Aide à la recherche   Requête : "informatique théorique"

47 fiches trouvées

Reponses 1 à 20

1	2019 Bibliothèque Tangente. N° 33. Edition 2019. L'invraisemblable nombre Omega. p. 72-77.
2	2019 Bibliothèque Tangente. N° 33. Edition 2019. Les nombres.
3	2019 Bibliothèque Tangente. N° 68. De grands concepts mathématiques sous forme informatique. p. 14-18.
4	2019 Circulation : mathématiques, histoire, enseignement. Evelyne Barbin, entre épistémologie, histoire et enseignement. p. 221-240.
5	2019 Mathématice. N° 63. L'informatique peut-elle sauver les maths ?
6	2018 Bulletin de l'APMEP. N° 525-526. p. 99-107. Mathématiques et interdisciplinarité dans la formation universitaire.
7	2018 La formule du savoir.
8	2018 Tangente Hors-série. N° 68. p. 8-11. De grands concepts mathématiques sous forme informatique.
9	2017 Quadrature. N° 103. p. 11-17. Un jeu vidéo pour adultes et une thématique HoTT !
10	2017 Vidéo de l'IREM de Paris - Le Maths Club. Petit manuel à l'usage de la NSA.
11	2015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 130-131.
12	2015 Bibliothèque Tangente. N° 55. Les démonstrations.
13	2015 Bibliothèque Tangente. N° 55. Prouver rapidement qu'une propriété est vérifiée... ou pas. p. 132-133.
14	2015 Bibliothèque Tangente. N° 55. Une preuve de maths est un programme informatique ! p. 138-142.
15	2015 Mathématice. N° 44. Sous les pavés, le calcul.
16	2015 Mathématice. N° 46. Recension du livre "le rêve d'Euclide".
17	2014 Bibliothèque Tangente. N° 52. Espaces de Banach et informatique théorique. p. 80-81.
18	2014 Bibliothèque Tangente. N° 52. Le problème fondamental de l'informatique théorique : P est-il égal à NP ? p. 82-86.
19	2014 Bibliothèque Tangente. N° 52. Mathématiques et informatique.
20	2014 Histoire de la logique.