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