Mattia
Monga
Cos’è l’informatica?
S. Micali
Cos’è
l’informatica?
Mattia Monga
Laboratori
Dip. di Informatica
Università degli Studi di Milano
[email protected]
Museo Nazionale della Scienza e della Tecnologia
“Leonardo da Vinci” — Milano, 2014
1
Silvio Micali
Mattia
Monga
S. Micali
Cos’è
l’informatica?
Chi è?
Silvio Micali
Laboratori
2
Silvio Micali
Silvio Micali
Mattia
Monga
S. Micali
Il primo italiano vincitore (2012) del Premio Turing, l’analogo
riservato agli informatici del premio Nobel:
Cos’è
l’informatica?
Laboratori
“Along with Shafi Goldwasser, for transformative work that
laid the complexity-theoretic foundations for the science of
cryptography, and in the process pioneered new methods
for efficient verification of mathematical proofs in
complexity theory.”
2
Zero-knowledge Proof
Mattia
Monga
Uno dei concetti piú importanti introdotto da Micali e
Goldwasser è quello di Zero-knowledge proof:
S. Micali
Cos’è
l’informatica?
Alice (forse) ha risolto il sudoku dell’ultima pagina del
giornale. . .
Laboratori
Beppe non ci riesce. . . e non è convinto che Alice ci sia
riuscita davvero!
Può Alice dimostrare a Beppe di aver risolto il sudoku senza
mostrargli la soluzione? (SÍ!)
3
Una generazione fortunata (S. Micali, 13/12/2013)
Mattia
Monga
S. Micali
Cos’è
l’informatica?
Laboratori
http://www.youtube.com/watch?v=OkTe3HBWBXY
4
Una generazione fortunata (S. Micali, 13/12/2013)
Mattia
Monga
S. Micali
Cos’è
l’informatica?
Laboratori
http://www.youtube.com/watch?v=OkTe3HBWBXY
Tutto questo pandemonio è l’opera di una sola
generazione!
4
Informatica
Mattia
Monga
S. Micali
Ma questa è informatica?
Dove sono i tablet, le LIM?????
Cos’è
l’informatica?
Laboratori
. . . Presto! Un’“agenda digitale” per Micali! . . .
5
Informatica
Mattia
Monga
Ma questa è informatica?
Dove sono i tablet, le LIM?????
S. Micali
Cos’è
l’informatica?
. . . Presto! Un’“agenda digitale” per Micali! . . .
Laboratori
I prodigi descritti da Micali si basano sui progressi concettuali
ottenuti grazie al pensiero informatico non (o comunque
certamente non soltanto) sulle macchine informatiche che ne
sono scaturite.
5
Ma che cos’è l’informatica?
Ciò che appare sui giornali. . .
http://argomenti.ilsole24ore.com/informatica.html
http://www.repubblica.it/argomenti/informatica
Mattia
Monga
S. Micali
Cos’è
l’informatica?
Laboratori
6
Ma che cos’è l’informatica?
O quella delle motivazioni dei premi Turing:
Mattia
Monga
S. Micali
Cos’è
l’informatica?
Laboratori
6
Ma che cos’è l’informatica?
O forse quella delle “Linee Guida” del MIUR per la scuola
secondaria:
Mattia
Monga
S. Micali
Cos’è
l’informatica?
Laboratori
6
Informatica
Mattia
Monga
Come spesso è necessario per riformare, ripartiamo dal
significato letterale:
S. Micali
Cos’è
l’informatica?
INFORMATICA
Laboratori
7
Informatica
Mattia
Monga
Come spesso è necessario per riformare, ripartiamo dal
significato letterale:
S. Micali
Cos’è
l’informatica?
INFORMazione autoMATICA
Laboratori
7
Informatica
Mattia
Monga
Come spesso è necessario per riformare, ripartiamo dal
significato letterale:
S. Micali
Cos’è
l’informatica?
INFORMazione autoMATICA
Laboratori
elaborazione automatica dell’informazione
7
Informatica
Mattia
Monga
Come spesso è necessario per riformare, ripartiamo dal
significato letterale:
S. Micali
Cos’è
l’informatica?
elaborazione: l’informazione è trasformabile per dedurne (o
indurne) di nuova
Laboratori
automatica: ciò può avvenire automaticamente tramite
interpreti “meccanici”
informazione: manipolando rappresentazioni simboliche/digitali
7
Algomotricità per l’elaborazione automatica
dell’informazione
Mattia
Monga
Algomotricità
Esplorazione di un tema informatico: in prima persona, spesso
manipolando oggetti concreti, con lavoro in piccoli gruppi.
costruendo modelli interpretativi da mettere alla prova nel
contesto guidato dell’attività.
IV–VII
elaborazione
automatica
informazione
labirinti
wikipasta
VIII–XI
monete golose
labirinti 2
grigliata d’immagini
S. Micali
Cos’è
l’informatica?
Laboratori
XII–XIII
Turing club
campioni d’immagini
8
Alcuni esempi
Wikipasta: la rappresentazione del testo formattato,
informazione e meta-informazione per permetterne
l’elaborazione.
Mattia
Monga
S. Micali
Cos’è
l’informatica?
Laboratori
9
Alcuni esempi (cont.)
Labirinti: algoritmi e programmazione di interpreti automatici.
Mattia
Monga
S. Micali
Cos’è
l’informatica?
Laboratori
10
Alcuni esempi (cont.)
Mattia
Monga
Pixel umani: la rappresentazione analogica con mezzi digitali.
S. Micali
Cos’è
l’informatica?
Laboratori
11
