Tpe sur l'évolution de l'informatique

Lexique




Le VLSI:   Very Large Scale Integration


Loi de B.joy:  Micro-ordinateurs doublent de vitesse tous les 2 ans (non invalidée depuis 1978)



Georges Boole:     Georges Boole est né à Lincoln en Angleterre, le 2 novembre 1815 et était le
fils d’un pauvre cordonnier. Enfant, il reçut une éducation très sommaire à l’école
primaire de la National Society, mais était bien déterminé à parfaire son éduca-
tion.En 1840, cinq ans après qu’il eut commencé à étudier les mathématiques,
Boole commença ses propres recherches. En 1844, la Royal Society lui conféra une
médaille d’ or pour un article sur le calcul des opérations. Cet honneur lui valut la
reconnaissance de tous les mathématiciens anglais. Sa réputation fut grandement
amplifiée en 1849 quand il publia The Mathematical Analysis of Logic (L’Analyse
Mathématique de la Logique), le premier ouvrage introduisant les idées de Boole
concernant la logique symbolique. L’ouvrage démontrait que la logique, déjà pré-
sentée par Aristote, pouvait être transcrite en équations algébriques. D’après Boole,
"Nous n’avons plus à associer la Logique et la Métaphysique, mais la Logique et
les Mathématiques". Et c’est en 1854 avec son livre "An Investigation of the Laws
of Thought, on Which Are Founded the Mathematical Theories of Logic and Pro-
babilities" ( Une Investigation sur les Lois de la Pensée, sur lesquelles sont basées les Théories Mathématiques de la Logique et des Probabilités) que Boole présenta
ce qui fut connu par la suite comme Algebre de Boole .


Eniac:  Electronic Numerical Integrator and Computer

Algorithmique: Les méthodes les plus efficaces pour traiter un problème donné (trier un ensemble d'objets, trouver un objet minimal (sinon minimum) d'un ensemble, trouver un chemin d'un endroit à un autre, etc.).


Structures de données: La meilleure façon d'organiser un ensemble de données dans le but d'y accéder rapidement.


Théorie des langages: Ce sont les différentes façons de produire et de reconnaître des suites de symboles ainsi que la difficulté d'écrire un programme réalisant ces opérations.


Calculabilité: Déterminer pour quels problèmes il est théoriquement possible d'écrire un programme qui le résout et pour quels problèmes ce n'est pas possible.


Logique: La puissance d'expression de différents types de logique et la correspondance avec d'autres systèmes formels.