Cenni storici. Abaco 3000 B.C. in Babilonia. Paolo Bison. Fondamenti di Informatica 1 A.A. 2004/05 Università di Padova

Transcript

1 Cenni storici Paolo Bison Fondamenti di Informatica 1 A.A. 2004/05 Università di Padova p.1/36 Abaco 3000 B.C. in Babilonia p.2/36

2 Dispositivo di Antikythera 80 A.C. calcolatore analogico per valutare il moto di stelle e pianeti p.3/36 Logaritmi 1612 John Napier bastocini di Nepero regolo (W. Oughtred, 1622) p.4/36

3 Pascalina (1642) B.Pascal calcolatrice meccanica per addizioni e sottrazioni perfezionata da Leibniz nel 1673 (moltiplicazione/divisione) p.5/36 Telaio Jacquard (1801) telaio automatizzato scheda perforata p.6/36

4 Aritmometro (1820) Xavier Thomas de Colmar prodotto commerciale basato sulla macchina di Leibniz p.7/36 Macchina analitica (1832) C.Babbage schema di principio dei calcolatori p.8/36

5 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 p.9/36 Millionaire (1892) Otto Steiger calcolatrice meccanica successo commerciale p.10/36

6 Tabulatrice di Hollerith (1890) scheda perforata calcolo dati per censimento USA Tabulating Machine Computing-Tabulating-Recording (1911) International Business Machines (1924) p.11/36 Speculazioni Matematiche 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) 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) p.12/36

7 Turing s Machine (1936) a-machine (automatic machine) p.13/36 Sviluppo tecnologico relè triodo - I generazione transistor - II generazione circuito integrato - III generazione microprocessore - IV generazione (personal computer) p.14/36

8 Relè p.15/36 Z-1 (1935) Konrad Zuse calcolatore a relé in aritmetica binaria p.16/36

9 MARK-1 (1944) Aiken a Harvard calcolatore elettromeccanico 78 calcolatrici comandate da 3300 relé, nastro perforato, 0.3 per + a 23 cifre, 6 per * p.17/36 Il primo bug (1945) Hopper a Harvard nel Mark II p.18/36

10 Triodo (1906) p.19/36 ABC (1939) Atanoff-Berry Computer Atanoff and Berry at Iowa State Univ. soluzione di sistemi di equazioni lineari p.20/36

11 ENIAC (1946) Electronic Numerical Integrator and Computer Università della Pennsylvania primo calcolatore elettronico 174kW, 180 mq, valvole, 30 ton., millis., * 2,80 millis., MTBF 5 sec. calcoli balistici 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, millis. * 2,88 millis. p.22/36

12 UNIVAC-1 (1951) primo computer commerciale p.23/36 Transistor (1946) p.24/36

13 Philco Transac S-2000 (1957) Philco Corporation primo computer commerciale a transistor p.25/36 Circuito integrato (1958) p.26/36

14 IBM-360 (1964) circuiti integrati mainframe p.27/36 PDP-11 Digital Equipment Corporation (DEC) minicomputer p.28/36

15 Microprocessore (1971) p.29/36 Altair 8800 (1975) personal computer in scatola di montaggio microprocessore p.30/36

16 CRAY-1 (1976) supercomputer calcolo parallelo p.31/36 Apple II (1977) p.32/36

17 PC IBM (1981) p.33/36 Apple Macintosh (1984) interfaccia utente grafica p.34/36

18 Anni... computer biologici computer quantici 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) p.36/36