https://aconit.inria.fr/omeka/items/browse/tag/Algorithmes?output=atom <![CDATA[Musée virtuel de l’informatique]]> 2017-03-22T12:09:06+01:00 Omeka https://aconit.inria.fr/omeka/items/show/520 <![CDATA[Mohammed al-Khwārizmī]]> Auteur d'un traité largement diffusé sur la résolution systématique de certains problèmes de mathématiques (notamment équations du second degré). Le terme d'algorithme est issu de son nom.]]> 2012-08-06T14:30:23+02:00

Dublin Core

Titre

Mohammed al-Khwārizmī

Description

Muhammad ibn Mūsā al-Khwārizmī, mathématicien et astronome arabe (né vers 783 à Khiva, mort à Bagdad vers 850).
Auteur d'un traité largement diffusé sur la résolution systématique de certains problèmes de mathématiques (notamment équations du second degré). Le terme d'algorithme est issu de son nom.

Source

Phhoto 1 - Origine : Wikimedia Commons.
Auteur : Postes de l'Union Soviétique, 1989
Photo 2 - Origine : Wikimedia Commons.
Auteur : John L. Esposito. The Oxford History of Islam. Oxford University Press. ISBN 0195107993.

Droits

Photo 1 : Copyright non applicable.
Photo 2 : dans le domaine public

Type

Personnages
]]> https://aconit.inria.fr/omeka/items/show/505 <![CDATA[Euclide]]> Euclide, mathématicien grec (né vers -325, mort vers -265), est d’abord connu comme l’auteur des Éléments, ouvrage fondateur de la géométrie. Mais il est aussi à l'origine de l'un des plus anciens algorithmes connus, le calcul du plus grand commun diviseur (PGCD) de deux nombres entiers.

La preuve de validité de l'algorithme d'Euclide pour le calcul du PGCD est un exemple classique de preuve de programme. Voir les détails.

]]> 2012-07-20T23:35:20+02:00

Dublin Core

Titre

Euclide

Description

Euclide, mathématicien grec (né vers -325, mort vers -265), est d’abord connu comme l’auteur des Éléments, ouvrage fondateur de la géométrie. Mais il est aussi à l'origine de l'un des plus anciens algorithmes connus, le calcul du plus grand commun diviseur (PGCD) de deux nombres entiers.

La preuve de validité de l'algorithme d'Euclide pour le calcul du PGCD est un exemple classique de preuve de programme. Voir les détails.

Créateur

Texte : Sacha Krakowiak
Applet : Maxence Raoux

Source

Source de l’image d'Euclide : Wikimedia Commons

Date

juillet 2012

Droits

Image dans le domaine public

Type

Personnages
]]>