Formation

Université PARIS-SUD - Licence MPI - S1 1
0 - 1
Introduction à l’informatique
Chapitre 0: Introduction

Université PARIS-SUD - Licence MPI - S1 2
Une brève histoire de l’informatique
La préhistoire : de 3000 AC à 1900
Abaques, machine pour prédire le mouvement des astres (80 AC)
Formalisation du calcul : Al Khawarizmi (IXème)
XVIIème
Pascal : machine à additionner
Leibniz : système binaire pour le calcul
XVIIIème
Jacquard : métier à tisser
Babbage : machine différentielle
XIXème
Boole : calcul binaire et calcul logique
Peirce –Hilbert : 3 Questions : correction formelle –complétude -
décidabilité d ’un système formel

Université PARIS-SUD - Licence MPI - S1 3
Une brève histoire de l’informatique
De 1900 à 1940
Gödel et Turing
Tout système formel suffisamment puissant est soit incohérent soit incomplet
Problème de l’arrêt indécidable
Les années 40
Travaux en cryptographie (décodage : Machine Enigma, Colossus)
Parallèlement, en Angleterre, en Allemagne et aux USA, construction des
premiers ordinateurs
Calculateur électro-mécanique Mark 1 (Aiken, 44)
1946 : ENIAC Calculs balistiques (Atanasoff, Mauchly Eckert, 46)
44 : EDVAC, Mauchly Eckert et Von Neumann
48 : EDSAC, …
Invention du transistor (Baarden, Brattain et Shockley 47)

Université PARIS-SUD - Licence MPI - S1 4
Une brève histoire de l’informatique
Les années 50
Compilateurs (FORTRAN en 57)
LISP en 58
Circuits intégrés en 59
Test de Turing en 50
Les années 60
Systèmes d’exploitation
Basic en 64
Automates –Langages formels - Correction de programmes
Knuth : The Art of Computer Programming
Micro-processeurs

Université PARIS-SUD - Licence MPI - S1 5
Une brève histoire de l’informatique
Les années 70
Base de Données Relationnelles
Unix et C (Thompson et Richie)
Pascal et Ada
Architecture RISC (IBM), Cray 1 en 76
Les années 80
Micro-ordinateur personnel (Apple –MacIntosh en 84)
NFSNet en 87 : Ancêtre d’Internet
Premiers virus en 88
Pour les détails
http://dept-info.labri.u-bordeaux.fr/~dicky/HisInfo.html