Parcourir les contenus (118 total)

Une représentation imagée de la machine de Turing, avec son ruban de longueur illimitée.

Tags:

Le cylindre de Leibniz est un dispositif mécanique qui simule une roue dentée ayant un nombre variable de dents. Le cylindre porte des cannelures en relief, parallèles à son axe, de longueurs différentes, et…

Le boulier chinois est un cadre rectangulaire subdivisé en deux parties. Des baguettes en bois (ici 13 baguettes) forment des axes sur lesquels des perles ou billes en bois coulissent (ici 91 billes). Généralement il y a dans…

Tags:

En 1994, une erreur fut détectée dans l'algorithme de division flottante du Pentium P5 d'Intel. Cette erreur pouvait être de l'ordre de 0,01% sur le résultat, mais sa probabilité d'apparition était très faible. Néanmoins, la découverte de…

Le 4 juin 1996, le premier vol de la fusée Ariane 5 se termina après 37 secondes par la destruction de l'engin. Les causes de cet échec furent attribuées à des fautes de conception du logiciel de recouvrement…

En 1847-1849, Charles Babbage conçoit le projet d'une deuxième version de sa “machine à différences", destinée à calculer des valaurs de polynômes en utilisant uniquement des additions et…

Le calculateur EDSAC (Electronic Delay Storage Automatic Computer) est considéré comme le premier calculateur à programme enregistré. Il a été réalisé à l'université de Cambridge…

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…

Description sommaire des méthodes d'analyse statique des programmes