di cosa parliamo, termini e concettigroups.di.unipi.it/~giovanni/didattica/unipi-sinfo/... ·...
TRANSCRIPT
![Page 1: Di cosa parliamo, termini e concettigroups.di.unipi.it/~giovanni/Didattica/UniPi-SInfo/... · Computer Science, circa 1959, ACM ... G. Ifrah, “The Universal History of Numbers:](https://reader030.vdocuments.mx/reader030/viewer/2022041017/5ec9c8efa5386c0d985257e8/html5/thumbnails/1.jpg)
G.A. Cignoni - hmr.di.unipi.it 1/22
Di cosa parliamo,termini e concettiStoria dell’InformaticaCiclo di seminari, a.a. 2014/15
![Page 2: Di cosa parliamo, termini e concettigroups.di.unipi.it/~giovanni/Didattica/UniPi-SInfo/... · Computer Science, circa 1959, ACM ... G. Ifrah, “The Universal History of Numbers:](https://reader030.vdocuments.mx/reader030/viewer/2022041017/5ec9c8efa5386c0d985257e8/html5/thumbnails/2.jpg)
G.A. Cignoni - hmr.di.unipi.it 2/22
contenuti
Informatica e calcolo
Analogico e digitale
Decimale e binario
Meccanico, elettrico ed elettronico
Calcolatrice e calcolatore
Hardware e software
![Page 3: Di cosa parliamo, termini e concettigroups.di.unipi.it/~giovanni/Didattica/UniPi-SInfo/... · Computer Science, circa 1959, ACM ... G. Ifrah, “The Universal History of Numbers:](https://reader030.vdocuments.mx/reader030/viewer/2022041017/5ec9c8efa5386c0d985257e8/html5/thumbnails/3.jpg)
G.A. Cignoni - hmr.di.unipi.it 3/22
informatica
Termini vari per identificare una disciplina Computer Science, circa 1959, ACM Информатика, circa 1966 Informatique, Informatik, circa 1968 Scienze dell’informazione, 1968 Datalogy, circa 1969, Peter Naur
Una disciplina? Non da subito, matematica o ingegneria Il CdL di Pisa fu attivato nel 1969/70
![Page 4: Di cosa parliamo, termini e concettigroups.di.unipi.it/~giovanni/Didattica/UniPi-SInfo/... · Computer Science, circa 1959, ACM ... G. Ifrah, “The Universal History of Numbers:](https://reader030.vdocuments.mx/reader030/viewer/2022041017/5ec9c8efa5386c0d985257e8/html5/thumbnails/4.jpg)
G.A. Cignoni - hmr.di.unipi.it 4/22
informazione automatica
Trattamento automatico delle informazioni Automatico: definito da regole Non intelligente Tendenzialmente deterministico, riproducibile Quindi affrontabile da macchine
I calcolatori sono un dettaglio? Computer science is no more about computers
than astronomy is about telescopes (Edsger Dijkstra)
Insomma...
![Page 5: Di cosa parliamo, termini e concettigroups.di.unipi.it/~giovanni/Didattica/UniPi-SInfo/... · Computer Science, circa 1959, ACM ... G. Ifrah, “The Universal History of Numbers:](https://reader030.vdocuments.mx/reader030/viewer/2022041017/5ec9c8efa5386c0d985257e8/html5/thumbnails/5.jpg)
G.A. Cignoni - hmr.di.unipi.it 5/22
calcolo
Non solo aritmetica Inizialmente le pietre usate nei primi abaci Pietre come simboli Qualsiasi forma di computazione svolta
attraverso la manipolazione di simboli
Esempi (oltre al calcolo numerico) Calcolo infinitesimale Calcolo proposizionale Lambda calcolo
![Page 6: Di cosa parliamo, termini e concettigroups.di.unipi.it/~giovanni/Didattica/UniPi-SInfo/... · Computer Science, circa 1959, ACM ... G. Ifrah, “The Universal History of Numbers:](https://reader030.vdocuments.mx/reader030/viewer/2022041017/5ec9c8efa5386c0d985257e8/html5/thumbnails/6.jpg)
G.A. Cignoni - hmr.di.unipi.it 6/22
calcolabile
Asimmetria terminologica Calculus / calcolo Computability / calcolabilità
Tesi di Church-Turing (circa 1952) Una funzione è calcolabile (in senso informale)
se è calcolabile da una Macchina di Turing La Macchina di Turing, secondo la tesi,
definisce ciò che è calcolabile (diverso da trattabile) Non dimostrata, ma quasi universalmente accettata
![Page 7: Di cosa parliamo, termini e concettigroups.di.unipi.it/~giovanni/Didattica/UniPi-SInfo/... · Computer Science, circa 1959, ACM ... G. Ifrah, “The Universal History of Numbers:](https://reader030.vdocuments.mx/reader030/viewer/2022041017/5ec9c8efa5386c0d985257e8/html5/thumbnails/7.jpg)
G.A. Cignoni - hmr.di.unipi.it 7/22
analogico e digitale
Aggettivi per tante cose Un Nestler e una Curta, bene I dischi di vinile e i CD, giusto La codifica video RF e quella MP4, perfetto Il pensiero di due generazioni... mah
Trattamento delle informazioni Per analogia con grandezze fisiche O simboli finiti, come le cifre o digit (da digitus) Prima che usasse dire “digitale”
si diceva strumento “a cifra esatta”
![Page 8: Di cosa parliamo, termini e concettigroups.di.unipi.it/~giovanni/Didattica/UniPi-SInfo/... · Computer Science, circa 1959, ACM ... G. Ifrah, “The Universal History of Numbers:](https://reader030.vdocuments.mx/reader030/viewer/2022041017/5ec9c8efa5386c0d985257e8/html5/thumbnails/8.jpg)
G.A. Cignoni - hmr.di.unipi.it 8/22
un esempio trito
Gli orologi digitali Dalle 13.59 si passa alle 14.00 Senza vie di mezzo Dalle 13.59.59 si passa alle 14.00.00 È più preciso, ma va sempre per passi discreti
Gli orologi analogici Le lancette si muovono con continuità Passano per tutti i punti della circonferenza
Ma riguarda il quadrante, non l’orologio!
![Page 9: Di cosa parliamo, termini e concettigroups.di.unipi.it/~giovanni/Didattica/UniPi-SInfo/... · Computer Science, circa 1959, ACM ... G. Ifrah, “The Universal History of Numbers:](https://reader030.vdocuments.mx/reader030/viewer/2022041017/5ec9c8efa5386c0d985257e8/html5/thumbnails/9.jpg)
G.A. Cignoni - hmr.di.unipi.it 9/22
orologi meccanici
Sono contatori Contano le oscillazioni Di un pendolo
o di un bilancere Lo scappamento
rende tic e tac discreti
Le lancette Passano per tutti i punti... … ma ne segnano solo alcuni
![Page 10: Di cosa parliamo, termini e concettigroups.di.unipi.it/~giovanni/Didattica/UniPi-SInfo/... · Computer Science, circa 1959, ACM ... G. Ifrah, “The Universal History of Numbers:](https://reader030.vdocuments.mx/reader030/viewer/2022041017/5ec9c8efa5386c0d985257e8/html5/thumbnails/10.jpg)
G.A. Cignoni - hmr.di.unipi.it 10/22
orologi analogici
![Page 11: Di cosa parliamo, termini e concettigroups.di.unipi.it/~giovanni/Didattica/UniPi-SInfo/... · Computer Science, circa 1959, ACM ... G. Ifrah, “The Universal History of Numbers:](https://reader030.vdocuments.mx/reader030/viewer/2022041017/5ec9c8efa5386c0d985257e8/html5/thumbnails/11.jpg)
G.A. Cignoni - hmr.di.unipi.it 11/22
decimale e binario
Per il digitale una questione di base
La notazione posizionale Indiani e Arabi, anche Babilonesi (60) e Maya (20) Galli (20), quatre-vingt-deux o quatre-vingt-douze In occidente, intorno all’anno 1000 fra i primi a
studiarla c’è Gerbert D’Aurillac (poi Silvestro II) Nel 1202 Leonardo Fibonacci pubblica il Liber Abaci
discutendone e spiegandone i vantaggi Rappresentazione di qualsiasi valore Procedimenti di calcolo
![Page 12: Di cosa parliamo, termini e concettigroups.di.unipi.it/~giovanni/Didattica/UniPi-SInfo/... · Computer Science, circa 1959, ACM ... G. Ifrah, “The Universal History of Numbers:](https://reader030.vdocuments.mx/reader030/viewer/2022041017/5ec9c8efa5386c0d985257e8/html5/thumbnails/12.jpg)
G.A. Cignoni - hmr.di.unipi.it 12/22
abacisti vs algoristi
Abaco Strumento
indispensabile Sinonimo
di calcolo
Una lunga lotta Risolta con
l’illuminismo O per legge,
in Francia nel 1791
![Page 13: Di cosa parliamo, termini e concettigroups.di.unipi.it/~giovanni/Didattica/UniPi-SInfo/... · Computer Science, circa 1959, ACM ... G. Ifrah, “The Universal History of Numbers:](https://reader030.vdocuments.mx/reader030/viewer/2022041017/5ec9c8efa5386c0d985257e8/html5/thumbnails/13.jpg)
G.A. Cignoni - hmr.di.unipi.it 13/22
perché il binario
Algoritmi indipendenti dalla base
Base 2, il minimo numero di simboli Mathesis biceps, vetus et nova
Juan Caramuel, 1670 Gottfried Leibniz, fine 1600 George Boole, nel 1800
2 simboli, 2 stati elettrici Baudot code (1874), macchine di Hollerit (1890) Atanasoff-Berry Computer (1937-42)
![Page 14: Di cosa parliamo, termini e concettigroups.di.unipi.it/~giovanni/Didattica/UniPi-SInfo/... · Computer Science, circa 1959, ACM ... G. Ifrah, “The Universal History of Numbers:](https://reader030.vdocuments.mx/reader030/viewer/2022041017/5ec9c8efa5386c0d985257e8/html5/thumbnails/14.jpg)
G.A. Cignoni - hmr.di.unipi.it 14/22
aritmetica meccanica
Digitale e decimale Schickard Pascal Leibniz De Colmar Felt Odhner Hamann ...
![Page 15: Di cosa parliamo, termini e concettigroups.di.unipi.it/~giovanni/Didattica/UniPi-SInfo/... · Computer Science, circa 1959, ACM ... G. Ifrah, “The Universal History of Numbers:](https://reader030.vdocuments.mx/reader030/viewer/2022041017/5ec9c8efa5386c0d985257e8/html5/thumbnails/15.jpg)
G.A. Cignoni - hmr.di.unipi.it 15/22
elettro meccanica
Solo moto Hamann Avery Friden Capellaro ...
![Page 16: Di cosa parliamo, termini e concettigroups.di.unipi.it/~giovanni/Didattica/UniPi-SInfo/... · Computer Science, circa 1959, ACM ... G. Ifrah, “The Universal History of Numbers:](https://reader030.vdocuments.mx/reader030/viewer/2022041017/5ec9c8efa5386c0d985257e8/html5/thumbnails/16.jpg)
G.A. Cignoni - hmr.di.unipi.it 16/22
elettronica decimale
In base dieci Il dekatron Un triodo
a dieci stati
![Page 17: Di cosa parliamo, termini e concettigroups.di.unipi.it/~giovanni/Didattica/UniPi-SInfo/... · Computer Science, circa 1959, ACM ... G. Ifrah, “The Universal History of Numbers:](https://reader030.vdocuments.mx/reader030/viewer/2022041017/5ec9c8efa5386c0d985257e8/html5/thumbnails/17.jpg)
G.A. Cignoni - hmr.di.unipi.it 17/22
calcolatrice
La macchina Esegue
operazioni Aritmetica
e poco più
![Page 18: Di cosa parliamo, termini e concettigroups.di.unipi.it/~giovanni/Didattica/UniPi-SInfo/... · Computer Science, circa 1959, ACM ... G. Ifrah, “The Universal History of Numbers:](https://reader030.vdocuments.mx/reader030/viewer/2022041017/5ec9c8efa5386c0d985257e8/html5/thumbnails/18.jpg)
G.A. Cignoni - hmr.di.unipi.it 18/22
calcolatore
La persona Controlla il
procedimento L’uomo...
![Page 19: Di cosa parliamo, termini e concettigroups.di.unipi.it/~giovanni/Didattica/UniPi-SInfo/... · Computer Science, circa 1959, ACM ... G. Ifrah, “The Universal History of Numbers:](https://reader030.vdocuments.mx/reader030/viewer/2022041017/5ec9c8efa5386c0d985257e8/html5/thumbnails/19.jpg)
G.A. Cignoni - hmr.di.unipi.it 19/22
calcolatrice?
La CEP Calcolatrice
ElettronicaPisana
![Page 20: Di cosa parliamo, termini e concettigroups.di.unipi.it/~giovanni/Didattica/UniPi-SInfo/... · Computer Science, circa 1959, ACM ... G. Ifrah, “The Universal History of Numbers:](https://reader030.vdocuments.mx/reader030/viewer/2022041017/5ec9c8efa5386c0d985257e8/html5/thumbnails/20.jpg)
G.A. Cignoni - hmr.di.unipi.it 20/22
calcolatore!
Quando la macchina controlla il procedimento Diventa calcolatore E la persona programmatore...
E il procedimento Si chiama algoritmo Ed è codificato in un programma (software) Che la macchina (hardware) carica e interpreta Come e dove lo carica?
![Page 21: Di cosa parliamo, termini e concettigroups.di.unipi.it/~giovanni/Didattica/UniPi-SInfo/... · Computer Science, circa 1959, ACM ... G. Ifrah, “The Universal History of Numbers:](https://reader030.vdocuments.mx/reader030/viewer/2022041017/5ec9c8efa5386c0d985257e8/html5/thumbnails/21.jpg)
G.A. Cignoni - hmr.di.unipi.it 21/22
software o hardware?
Bull Gamma 3 1953 Un calcolatore Ma non a
memoria unica
![Page 22: Di cosa parliamo, termini e concettigroups.di.unipi.it/~giovanni/Didattica/UniPi-SInfo/... · Computer Science, circa 1959, ACM ... G. Ifrah, “The Universal History of Numbers:](https://reader030.vdocuments.mx/reader030/viewer/2022041017/5ec9c8efa5386c0d985257e8/html5/thumbnails/22.jpg)
G.A. Cignoni - hmr.di.unipi.it 22/22
riferimenti
G. Ifrah, “The Universal History of Numbers: From Prehistory to the Invention of the Computer”, Wiley, 2000.
R. Rojas, U. Hashagen (a cura di), “The First Computers, History and Architectures”,MIT press, 2002.
G.A. Cignoni, “CEP, storie delle – Calcolatrice?”,PaginaQ, agosto 2014.