Architecture de machines
Historique
Cours 2003-2004
Préhistoire : mécanisation des calculs
Prémisses: Outils mathématiques
-3000 : Premiers nombres
-300 : Aristote définit la logique (induction)
1679 : Leibniz définit l’arithmétique binaire
Système de codage des nombres en base
2 : pour revenir à leur essence
Les machines mécaniques
-500 : Boulier et abaques
An 1000 : Mécanismes d’horlogerie
1642 : La pascaline (Blaise Pascal)
additions et soustractions
1792 : Télégraphe optique de Chappe
Première méthode de communication à
distance
Utilisation d’un codage de l’information et
non de l’information brute
Machines à différences de
Babbage (1833)
Invention du codage binaire et des algorithmes
1843 : Ada Lovelace définit les algorithmes
Séquence d’opérations permettant de résoudre un problème
Programmes écrits pour la machine de babbage
1844 : Code Morse
Codage des messages avec 2 symboles : . , -
Les silences séparent les lettres d’un message
A I Q— — Y — — 7— —
B J — — — RZ— — 8— — —
CK S 1 — — — — 9— — — —
D L T2 — — — 0— — — — —
EM— — U 3 — — .
F NV 4 ? — —
G— — O— — — W — — 5 ,— — — —
H P — — X 6 /
Travaux théoriques fondamentaux
1844 : Algèbre de boole
2 symboles {0,1} , {Vrai, Faux} (dit booléens)
Opérations sur ces symboles
ET, OU, NON, …
Structure mathématique
Preuves de calculabilité
1937 : Travaux sur la calculabilité
Machine de Turing
Permet de réaliser tout calcul mécanisable !!!
1 / 27 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !