Cenni storici
Paolo Bison
Fondamenti di Informatica 1 A.A. 2004/05
Universit`a di Padova
Cenni storici, Paolo Bison, A.A. 2004-05, 2004-10-06 – p.1/36
Abaco 3000 B.C.
in Babilonia
Dispositivo di Antikythera 80 A.C.
calcolatore analogico per valutare il moto di stelle e pianeti
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)
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
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
Algebra di Bool (1854)
G. Bool
sistema algebrico per il ragionamento logico
sillogismo logico
I cavalli sono mammiferi
I 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
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 incompleto
Gö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 risolvere meccanicamente
A.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.
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)
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
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
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
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.
UNIVAC-1 (1951)
primo computer commerciale
Cenni storici, Paolo Bison, A.A. 2004-05, 2004-10-06 – p.23/36
Transistor (1946)
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)
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
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
CRAY-1 (1976)
supercomputer
calcolo parallelo
Cenni storici, Paolo Bison, A.A. 2004-05, 2004-10-06 – p.31/36
Apple II (1977)
PC IBM (1981)
Cenni storici, Paolo Bison, A.A. 2004-05, 2004-10-06 – p.33/36
Apple Macintosh (1984)
interfaccia utente grafica
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)