Cenni storici

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

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 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)

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

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

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 (

)?



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.

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è 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

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

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)

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

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

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