Cenni storici - CNR · 2009. 2. 24. · Dispositivo di Antikythera 80 A.C. calcolatore analogico...
Transcript of Cenni storici - CNR · 2009. 2. 24. · Dispositivo di Antikythera 80 A.C. calcolatore analogico...
Cenni storici
Paolo Bison
Fondamenti di Informatica 1
A.A. 2004/05
Universita di Padova
Cenni storici, Paolo Bison, A.A. 2004-05, 2004-10-06 – p.1/36
Abaco 3000 B.C.
� in Babilonia
Cenni storici, Paolo Bison, A.A. 2004-05, 2004-10-06 – p.2/36
Dispositivo di Antikythera 80 A.C.
� calcolatore analogico per valutare il moto di stelle epianeti
Cenni storici, Paolo Bison, A.A. 2004-05, 2004-10-06 – p.3/36
Logaritmi 1612
� John Napier� bastocini di Nepero
� regolo (W. Oughtred, 1622)
Cenni storici, Paolo Bison, A.A. 2004-05, 2004-10-06 – p.4/36
Pascalina (1642)
� B.Pascal
� calcolatrice meccanica per addizioni e sottrazioni� perfezionata da Leibniz nel 1673
(moltiplicazione/divisione)
Cenni storici, Paolo Bison, A.A. 2004-05, 2004-10-06 – p.5/36
Telaio Jacquard (1801)
� telaio automatizzato� scheda perforata
Cenni storici, Paolo Bison, A.A. 2004-05, 2004-10-06 – p.6/36
Aritmometro (1820)
� Xavier Thomas de Colmar� prodotto commerciale basato sulla macchina di Leibniz
Cenni storici, Paolo Bison, A.A. 2004-05, 2004-10-06 – p.7/36
Macchina analitica (1832)
� C.Babbage� schema di principio dei calcolatori
Cenni storici, Paolo Bison, A.A. 2004-05, 2004-10-06 – p.8/36
Algebra di Bool (1854)
� G. Bool� sistema algebrico per il ragionamento logico� sillogismo logico
I cavalli sono mammiferiI mammiferi sono vertebrati
I cavalli sono vertebrati
Cenni storici, Paolo Bison, A.A. 2004-05, 2004-10-06 – p.9/36
Millionaire (1892)
� Otto Steiger� calcolatrice meccanica� successo commerciale
Cenni storici, Paolo Bison, A.A. 2004-05, 2004-10-06 – p.10/36
Tabulatrice di Hollerith (1890)
� scheda perforata� calcolo dati per censimento USA� Tabulating Machine→
Computing-Tabulating-Recording (1911)→International Business Machines (1924)
Cenni storici, Paolo Bison, A.A. 2004-05, 2004-10-06 – p.11/36
Speculazioni Matematiche 1900-1939
� Hilbert (1928)La matematica é� completa ?� consistente ?� decidibile (Entscheidungsproblem)?
� Gödel: un sistema formale sufficientemente potente éo inconsistente o incompletoGödel,”Uber formal unentscheidbare Satze der Principia Mathernatica und verwant der Systeme,
I”, Monatshefte Math. Phys., 38 (1931). 173-198.
� Turing: problemi che non si possono risolveremeccanicamenteA.M. Turing, "On computable numbers, with an application to the Entscheidungs Problem,"
Proceedings of the London Mathematical Society, vol. 2, no. 42 (1936) 230–265.
Cenni storici, Paolo Bison, A.A. 2004-05, 2004-10-06 – p.12/36
Turing’s Machine (1936)
� a-machine (automatic machine)
Cenni storici, Paolo Bison, A.A. 2004-05, 2004-10-06 – p.13/36
Sviluppo tecnologico
� relè� triodo - I generazione� transistor - II generazione� circuito integrato - III generazione� microprocessore - IV generazione (personal computer)
Cenni storici, Paolo Bison, A.A. 2004-05, 2004-10-06 – p.14/36
Relè
Cenni storici, Paolo Bison, A.A. 2004-05, 2004-10-06 – p.15/36
Z-1 (1935)
� Konrad Zuse� calcolatore a relé in aritmetica binaria
Cenni storici, Paolo Bison, A.A. 2004-05, 2004-10-06 – p.16/36
MARK-1 (1944)
� Aiken a Harvard� calcolatore elettromeccanico
78 calcolatrici comandate da 3300 relé,nastro perforato, 0.3
“ per + a 23 cifre, 6“ per *
Cenni storici, Paolo Bison, A.A. 2004-05, 2004-10-06 – p.17/36
Il primo “bug” (1945)
� Hopper a Harvard nel Mark II
Cenni storici, Paolo Bison, A.A. 2004-05, 2004-10-06 – p.18/36
Triodo (1906)
Cenni storici, Paolo Bison, A.A. 2004-05, 2004-10-06 – p.19/36
ABC (1939)
� Atanoff-Berry Computer� Atanoff and Berry at Iowa State Univ.� soluzione di sistemi di equazioni lineari
Cenni storici, Paolo Bison, A.A. 2004-05, 2004-10-06 – p.20/36
ENIAC (1946)
� Electronic Numerical Integrator and Computer� Università della Pennsylvania� primo calcolatore elettronico
174kW, 180 mq, 18000 valvole, 30 ton., + 0.2 millis., *2,80 millis., MTBF 5 sec.
� calcoli balistici
Cenni storici, Paolo Bison, A.A. 2004-05, 2004-10-06 – p.21/36
EDVAC (1949)
� Electronic Discrete Variable Automatic Computer� “ macchina di Von Neumann”� programma “memorizzato”� 52 kW, 490 sq. ft., 17,300 lbs, 1,024/48, + 0.86 millis. *
2,88 millis.
Cenni storici, Paolo Bison, A.A. 2004-05, 2004-10-06 – p.22/36
UNIVAC-1 (1951)
� primo computer commerciale
Cenni storici, Paolo Bison, A.A. 2004-05, 2004-10-06 – p.23/36
Transistor (1946)
Cenni storici, Paolo Bison, A.A. 2004-05, 2004-10-06 – p.24/36
Philco Transac S-2000 (1957)
� Philco Corporation� primo computer commerciale a transistor
Cenni storici, Paolo Bison, A.A. 2004-05, 2004-10-06 – p.25/36
Circuito integrato (1958)
Cenni storici, Paolo Bison, A.A. 2004-05, 2004-10-06 – p.26/36
IBM-360 (1964)
� circuiti integrati� mainframe
Cenni storici, Paolo Bison, A.A. 2004-05, 2004-10-06 – p.27/36
PDP-11
� Digital Equipment Corporation (DEC)� minicomputer
Cenni storici, Paolo Bison, A.A. 2004-05, 2004-10-06 – p.28/36
Microprocessore (1971)
Cenni storici, Paolo Bison, A.A. 2004-05, 2004-10-06 – p.29/36
Altair 8800 (1975)
� personal computer in scatola di montaggio� microprocessore
Cenni storici, Paolo Bison, A.A. 2004-05, 2004-10-06 – p.30/36
CRAY-1 (1976)
� supercomputer� calcolo parallelo
Cenni storici, Paolo Bison, A.A. 2004-05, 2004-10-06 – p.31/36
Apple II (1977)
Cenni storici, Paolo Bison, A.A. 2004-05, 2004-10-06 – p.32/36
PC IBM (1981)
Cenni storici, Paolo Bison, A.A. 2004-05, 2004-10-06 – p.33/36
Apple Macintosh (1984)
� interfaccia utente grafica
Cenni storici, Paolo Bison, A.A. 2004-05, 2004-10-06 – p.34/36
Anni ...
� computer biologici� computer quantici
Cenni storici, Paolo Bison, A.A. 2004-05, 2004-10-06 – p.35/36
Sviluppo software
� linguaggi� Fortran (1957)� Lisp (1958)� Algol (1960)� Prolog (1972)� Smalltalk (1980)� Java (1991)
� sistemi operativi� Unix (1969)� CP/M (1974)� Mac OS (1984)� Windows (1985)
Cenni storici, Paolo Bison, A.A. 2004-05, 2004-10-06 – p.36/36