Cos`è l`informatica? - ALaDDIn
annuncio pubblicitario
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
