$Les Ordinateurs mathématiciens !.$

Les Ordinateurs mathématiciens !.

Kaydedildi:

Detaylı Bibliyografya
Yayımlandı:	Bulletin de l'A.P.M.E.P. No 442
Yazar:	Delahaye, Jean-Paul, 1952-...., mathématicien.
Materyal Türü:	Article de revue
Dil:	Français
Baskı/Yayın Bilgisi:	2002.
Konular:	Informatique > Mathématiques. Théorèmes > Démonstration automatique. Articles de périodiques
İlgili Kayıtlar:	İçinde Bulunduğu: Bulletin de l'A.P.M.E.P.

Benzer Materyaller

Automated theorem Proving : a logical basis
Yazar:: Loweland, Donald.
Baskı/Yayın Bilgisi: (1978)

Du rêve à la réalité des preuves
Yazar:: Delahaye, Jean-Paul, 1952-...., mathématicien.
Baskı/Yayın Bilgisi: (2011)

Paver le plan avec un pentagone convexe
Yazar:: Delahaye, Jean-Paul, 1952-...., mathématicien.
Baskı/Yayın Bilgisi: (2017)

Elémentaire, mon cher Poincaré : Un problème mathématique à un million de dollars.
Yazar:: Larousserie, David.
Baskı/Yayın Bilgisi: (2003)

Introduction à la logique : théorie de la démonstration : cours et exercices corrigés
Yazar:: David, René, 1948-
Baskı/Yayın Bilgisi: (2001)

Comment vérifier les longues démonstrations ?
Yazar:: Delahaye, Jean-Paul, 1952-...., mathématicien.
Baskı/Yayın Bilgisi: (2015)

Persuader de son savoir sans le transmettre
Yazar:: Delahaye, Jean-Paul, 1952-...., mathématicien.
Baskı/Yayın Bilgisi: (2011)

Théorèmes, l'ordinateur fait ses preuves
Yazar:: Pajot, Philippe.
Baskı/Yayın Bilgisi: (2013)

Prouver à l'aide de l'infini
Yazar:: Pajot, Philippe.
Baskı/Yayın Bilgisi: (2018)

Un vieux problème de courbes enfin bouclé
Yazar:: Laurens, Clémentine.
Baskı/Yayın Bilgisi: (2023)

Le pizzaiolo mathématicien
Yazar:: Delahaye, Jean-Paul, 1952-...., mathématicien.
Baskı/Yayın Bilgisi: (2010)

Les ordinateurs ont la parole
Yazar:: Aaron, Andy.
Baskı/Yayın Bilgisi: (2005)

Pythagore à la plage : les nombres dans un transat
Yazar:: Delahaye, Jean-Paul, 1952-...., mathématicien.
Baskı/Yayın Bilgisi: (2021)

Classification automatique et perception par ordinateur : textes des exposées
Baskı/Yayın Bilgisi: (1975)

Der Grundriss der Epideixis des hl. Irenäus
Yazar:: Nussbaumer, Arnold, 1886-
Baskı/Yayın Bilgisi: (1921)

Cours de logique mathématique.
Yazar:: Fraïssé, Roland, 1920-
Baskı/Yayın Bilgisi: (1967)

Les mathématiciens face au défi des machines
Yazar:: Harris, Michael E.
Baskı/Yayın Bilgisi: (2022)

Mathématiques sur micro-ordinateur
Yazar:: Reverchon, Alain.
Baskı/Yayın Bilgisi: (1984)

Gödel's proof
Yazar:: Nagel, Ernest, 1901-1985.
Baskı/Yayın Bilgisi: (1959)

Information theory and the central limit theorem
Yazar:: Johnson, Oliver T.
Baskı/Yayın Bilgisi: (2004)

Le traducteur et l'ordinateur [Dossier]
Baskı/Yayın Bilgisi: (1994)

Les Limites de la raison mathématique
Yazar:: Chaitin, Gregory J.
Baskı/Yayın Bilgisi: (2006)

Le point aveugle : cours de logique
Yazar:: Girard, Jean-Yves, 1947-
Baskı/Yayın Bilgisi: (2007)

Le point aveugle : cours de logique
Yazar:: Girard, Jean-Yves, 1947-
Baskı/Yayın Bilgisi: (2006)

Le théorème de Gödel
Yazar:: Nagel, Ernest, 1901-1985.
Baskı/Yayın Bilgisi: (1989)

Hasard et complexité en mathématiques
Yazar:: Chaitin, Gregory J.
Baskı/Yayın Bilgisi: (2009)

Le théorème de Gödel
Yazar:: Nagel, Ernest, 1901-1985.
Baskı/Yayın Bilgisi: (1997)

Un théorème de théorie des groupes vérifié par ordinateur
Yazar:: Pajot, Philippe.
Baskı/Yayın Bilgisi: (2013)

Des nombres d'exception [Dossier]
Yazar:: Delahaye, Jean-Paul, 1952-...., mathématicien.
Baskı/Yayın Bilgisi: (2019)

÷La mathématique peut déchaîner les passions÷
Yazar:: Khalatbari, Azar.
Baskı/Yayın Bilgisi: (2012)

Jusqu'où l'ordinateur calculera-t-il?
Yazar:: Delahaye, Jean-Paul, 1952-...., mathématicien.
Baskı/Yayın Bilgisi: (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
Yazar:: Singh, Simon, 1964-
Baskı/Yayın Bilgisi: (2011)

Mathématiques sur micro-ordinateur
Yazar:: Reverchon, Alain.
Baskı/Yayın Bilgisi: (1985)

L' Informatique théorique
Yazar:: Delahaye, Jean-Paul, 1952-...., mathématicien.
Baskı/Yayın Bilgisi: (2002)

Les Preuves de travail
Yazar:: Delahaye, Jean-Paul, 1952-...., mathématicien.
Baskı/Yayın Bilgisi: (2014)

The Theory of parsing, translation and compiling.
Yazar:: Aho, Alfred V.
Baskı/Yayın Bilgisi: (1973)

Mathématiques : Pourquoi raconter des maths à un ordinateur
Baskı/Yayın Bilgisi: (2022)

Mathématiques expérimentales
Yazar:: Delahaye, Jean-Paul, 1952-...., mathématicien.
Baskı/Yayın Bilgisi: (2005)

Le Théorème des indéboulonnables
Yazar:: Mawhin, Jean.
Baskı/Yayın Bilgisi: (2003)

Quand l'analyse rencontre la géométrie
Yazar:: Bourguignon, Jean-Pierre.
Baskı/Yayın Bilgisi: (2004)

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