Histoire info theo

Traitement de l'information et
automatisation
Histoire de l’informatique
Développements Théoiques

-3000 : Binaire chinois
-1750 : Code Hamourabi
-330 : Logique
802 : Al Khawarizmi
Notation positionnelle
1000: Zéro
1614 : Logarithme Neper
1697 : Binaire Leibniz
1853: Théorie de la programmation
1854: Théorie de la logique Boole
26/08/2016 ENCG 2007-2008 - Pr. M. BENJELLOUN 2
- 3000 DBinaire (Ying et Yang chinois)
Toutes les grandes civilisations de
l'Antiquité avaient leurs symboles pour
coder les nombres et compter.( egyptiens,
Romains, …
Le premier système binaire connu
remonte à 3000 ans av. J.-C. environ. Il
s'agit du Yin et du Yang chinois. On en
trouve trace sur les figures magiques de
l'empereur Fou-Hi, comme l'octogone à
trigramme où les huit premiers nombres
sont représentés sous forme binaire :
0
1
2
3
4
5
6
7

-3000 : Binaire chinois
-1750 : Code Hamourabi
-330 : Logique
802 : Al Khawarizmi
Notation positionnelle
1000: Zéro
1614 : Logarithme Neper
1697 : Binaire Leibniz
1853: Théorie de la programmation
1854: Théorie de la logique Boole
26/08/2016 ENCG 2007-2008 - Pr. M. BENJELLOUN 3
- 1750 DCode d'HAMMOURABI
Le roi de Babylone (Mésopotamie),
HAMMOURABI, a fait graver une stèle
composée d'un ensemble de phrases
royales sous la forme:
SI {personne} ET {action} ALORS
{sentence}
If a builder builds a house for a man and
does not make its construction firm and
the house which he has built collapses
and causes the death of the owner of the
house, that builder shall be put to death.
If it causes the death of the son of the
owner of the house, they shall put to
death a son of that builder.

-3000 : Binaire chinois
-1750 : Code Hamourabi
-330 : Logique
802 : Al Khawarizmi
Notation positionnelle
1000: Zéro
1614 : Logarithme Neper
1697 : Binaire Leibniz
1853: Théorie de la programmation
1854: Théorie de la logique Boole
26/08/2016 ENCG 2007-2008 - Pr. M. BENJELLOUN 4
Aristote et la logique
En -300, le philosophe Grec Aristote définit la
logique classique
Cette logique se présente comme une
théorie de l'enchaînement juste des
propositions et comme une codification des
règles auxquelles la pensée ne peut faire
défaut.
A Tous les hommes sont mortels,
B Or Socrate est un homme,
C Donc Socrate est mortel
Aristote étudia toutes les possibilités d'obtenir une
conclusion (C) qui soit en accord avec les prémisses (A
et B) posés au départ. La conclusion peut être fausse si
les prémisses sont faux mais néanmoins valide.

-3000 : Binaire chinois
-1750 : Code Hamourabi
-330 : Logique
802 : Al Khawarizmi
Notation positionnelle
1000: Zéro
1614 : Logarithme Neper
1697 : Binaire Leibniz
1853: Théorie de la programmation
1854: Théorie de la logique Boole
26/08/2016 ENCG 2007-2008 - Pr. M. BENJELLOUN 5
Al-Khuwarizmi
L’algorithmique a été systématisée par le
mathématicien perse Al Khuwarizmi vers 820
apr. J-C, le mathématicien de Al-Khuwarizmi
auteur d’un ouvrage qui décrit des méthodes
de calculs algébriques.
 «L’algèbre et le balancement ».
(Al Jabr) est à l'origine du mot algèbre.
 «Livre de l'addition
et de la soustraction d'après le calcul indien »
Un algorithme est un moyen pour un humain
de présenter la résolution par calcul d’un
problème à une autre personne physique (un
autre humain) ou virtuelle (un calculateur).