$Les Ordinateurs mathématiciens !.$

Les Ordinateurs mathématiciens !.

Enregistré dans:

书目详细资料
发表在:	Bulletin de l'A.P.M.E.P. No 442
主要作者:	Delahaye, Jean-Paul, 1952-...., mathématicien.
格式:	Article de revue
语言:	Français
出版:	2002.
主题:	Informatique > Mathématiques. Théorèmes > Démonstration automatique. Articles de périodiques
相关项目:	包含: Bulletin de l'A.P.M.E.P.

相似书籍

Automated theorem Proving : a logical basis
由: Loweland, Donald.
出版: (1978)

Du rêve à la réalité des preuves
由: Delahaye, Jean-Paul, 1952-...., mathématicien.
出版: (2011)

Paver le plan avec un pentagone convexe
由: Delahaye, Jean-Paul, 1952-...., mathématicien.
出版: (2017)

Elémentaire, mon cher Poincaré : Un problème mathématique à un million de dollars.
由: Larousserie, David.
出版: (2003)

Introduction à la logique : théorie de la démonstration : cours et exercices corrigés
由: David, René, 1948-
出版: (2001)

Comment vérifier les longues démonstrations ?
由: Delahaye, Jean-Paul, 1952-...., mathématicien.
出版: (2015)

Persuader de son savoir sans le transmettre
由: Delahaye, Jean-Paul, 1952-...., mathématicien.
出版: (2011)

Théorèmes, l'ordinateur fait ses preuves
由: Pajot, Philippe.
出版: (2013)

Prouver à l'aide de l'infini
由: Pajot, Philippe.
出版: (2018)

Un vieux problème de courbes enfin bouclé
由: Laurens, Clémentine.
出版: (2023)

Le pizzaiolo mathématicien
由: Delahaye, Jean-Paul, 1952-...., mathématicien.
出版: (2010)

Les ordinateurs ont la parole
由: Aaron, Andy.
出版: (2005)

Pythagore à la plage : les nombres dans un transat
由: Delahaye, Jean-Paul, 1952-...., mathématicien.
出版: (2021)

Classification automatique et perception par ordinateur : textes des exposées
出版: (1975)

Der Grundriss der Epideixis des hl. Irenäus
由: Nussbaumer, Arnold, 1886-
出版: (1921)

Cours de logique mathématique.
由: Fraïssé, Roland, 1920-
出版: (1967)

Les mathématiciens face au défi des machines
由: Harris, Michael E.
出版: (2022)

Mathématiques sur micro-ordinateur
由: Reverchon, Alain.
出版: (1984)

Gödel's proof
由: Nagel, Ernest, 1901-1985.
出版: (1959)

Information theory and the central limit theorem
由: Johnson, Oliver T.
出版: (2004)

Le traducteur et l'ordinateur [Dossier]
出版: (1994)

Les Limites de la raison mathématique
由: Chaitin, Gregory J.
出版: (2006)

Le point aveugle : cours de logique
由: Girard, Jean-Yves, 1947-
出版: (2007)

Le point aveugle : cours de logique
由: Girard, Jean-Yves, 1947-
出版: (2006)

Le théorème de Gödel
由: Nagel, Ernest, 1901-1985.
出版: (1989)

Hasard et complexité en mathématiques
由: Chaitin, Gregory J.
出版: (2009)

Le théorème de Gödel
由: Nagel, Ernest, 1901-1985.
出版: (1997)

Un théorème de théorie des groupes vérifié par ordinateur
由: Pajot, Philippe.
出版: (2013)

Des nombres d'exception [Dossier]
由: Delahaye, Jean-Paul, 1952-...., mathématicien.
出版: (2019)

÷La mathématique peut déchaîner les passions÷
由: Khalatbari, Azar.
出版: (2012)

Jusqu'où l'ordinateur calculera-t-il?
由: Delahaye, Jean-Paul, 1952-...., mathématicien.
出版: (2001)

Le dernier théorème de Fermat : l'histoire de l'énigme qui a défié les plus grands esprits du monde pendant 358 ans
由: Singh, Simon, 1964-
出版: (2011)

Mathématiques sur micro-ordinateur
由: Reverchon, Alain.
出版: (1985)

L' Informatique théorique
由: Delahaye, Jean-Paul, 1952-...., mathématicien.
出版: (2002)

Les Preuves de travail
由: Delahaye, Jean-Paul, 1952-...., mathématicien.
出版: (2014)

The Theory of parsing, translation and compiling.
由: Aho, Alfred V.
出版: (1973)

Mathématiques : Pourquoi raconter des maths à un ordinateur
出版: (2022)

Mathématiques expérimentales
由: Delahaye, Jean-Paul, 1952-...., mathématicien.
出版: (2005)

Le Théorème des indéboulonnables
由: Mawhin, Jean.
出版: (2003)

Quand l'analyse rencontre la géométrie
由: Bourguignon, Jean-Pierre.
出版: (2004)

Université catholique de l'Ouest - Bibliothèques - 3 place André Leroy - BP10808 - 49008 ANGERS Cedex 1