59
IL PENSIERO COMPUTAZIONALE Corso di aggiornamento docenti (progetto Tandem) Università di Verona a.a. 2016/2017 Appunti di Maurizio Boscaini [email protected]

IL PENSIERO COMPUTAZIONALE - Univr

  • Upload
    others

  • View
    12

  • Download
    0

Embed Size (px)

Citation preview

Page 1: IL PENSIERO COMPUTAZIONALE - Univr

ILPENSIEROCOMPUTAZIONALE

Corsodiaggiornamentodocenti(progettoTandem)

UniversitàdiVeronaa.a.2016/2017

[email protected]

Page 2: IL PENSIERO COMPUTAZIONALE - Univr

Listadellaspesa

1. Presentazioniestorytelling2. Pensierocomputazionaleeprogrammazione3. Pensierieproblemi4. Scratch,latartarugamultimediale5. Python,ilserpentetestuale

Page 3: IL PENSIERO COMPUTAZIONALE - Univr

1/5-Presentazioniestorytelling

Page 4: IL PENSIERO COMPUTAZIONALE - Univr

ilchi

Page 5: IL PENSIERO COMPUTAZIONALE - Univr

Insegnoinformatica

ITIS"G.Marconi"diVeronaUniversitàdiVeronaScuolaprimariaScuolamedia(osecondariadiprimogrado)

CorsidiaggiornamentosuCodingeRoboticaEducativa

Miinteressoatecnologieecambiamento

Scrivo...

Programmo(ancoraunpo')

GNU/LinuxPythonTecnologieweb

Page 6: IL PENSIERO COMPUTAZIONALE - Univr

ilcosa

Page 7: IL PENSIERO COMPUTAZIONALE - Univr

Temietematiche

introduzionealpensierocomputazionalecomputationalproblemsolvingcodingtecnologiaepensierotecnichespecialidianalisierisoluzionedeiproblemi

Page 8: IL PENSIERO COMPUTAZIONALE - Univr

ilvoi

Page 9: IL PENSIERO COMPUTAZIONALE - Univr

Chisiete?

Page 10: IL PENSIERO COMPUTAZIONALE - Univr

Dadovevenite?

Page 11: IL PENSIERO COMPUTAZIONALE - Univr

Sì...maquantisiete?

Page 12: IL PENSIERO COMPUTAZIONALE - Univr

Ilnumeroconta

Page 13: IL PENSIERO COMPUTAZIONALE - Univr

Cosasapete?

Page 14: IL PENSIERO COMPUTAZIONALE - Univr

Lelineeguidaministeriali

Page 15: IL PENSIERO COMPUTAZIONALE - Univr

*

Page 16: IL PENSIERO COMPUTAZIONALE - Univr

*ovverol'incredibileetristestoriadiunasterisco

edellasuascuolasciagurata

Page 17: IL PENSIERO COMPUTAZIONALE - Univr

* con Informatica al primo biennio

Elementi di informatica

Lostudentediverràfamiliareconglistrumentiinformatici,alfineprecipuodirappresentareemanipolareoggettimatematiciestudieràlemodalitàdirappresentazionedeidatielementaritestualiemultimediali.Untemafondamentaledistudiosaràilconcettodialgoritmoel’elaborazionedistrategiedirisoluzionialgoritmichenelcasodiproblemisempliciedifacilemodellizzazione;e,inoltre,ilconcettodifunzionecalcolabileedicalcolabilitàealcunisempliciesempirelativi.

Page 18: IL PENSIERO COMPUTAZIONALE - Univr

Lelineeguida(licei):Ambitidell'informatica

Architetturadeicomputer(AC)Sistemioperativi(SO)Algoritmielinguaggidiprogrammazione(AL)Elaborazionedigitaledeidocumenti(DE)Retidicomputer(RC),StrutturadiInerneteservizi(IS)Computazione,calcolonumericoesimulazione(CS)Basididati(BD)

Page 19: IL PENSIERO COMPUTAZIONALE - Univr

PuroStorytellingministerialeComputationalthinking&coding

Page 20: IL PENSIERO COMPUTAZIONALE - Univr

2/5-Pensierocomputazionaleeprogrammazione

Page 21: IL PENSIERO COMPUTAZIONALE - Univr

Logica

PensieroLinguaggioRagione

Page 22: IL PENSIERO COMPUTAZIONALE - Univr

Algoritmo:unaricerca

Definizione?Caratteristiche?

Page 23: IL PENSIERO COMPUTAZIONALE - Univr

Algoritmo:una(quasi)definizione

ProcedimentoperrisolvereunproblemaSequenzafinitadipassielementari(oistruzioni)perlarisoluzionediunaclassediproblemi...

Page 24: IL PENSIERO COMPUTAZIONALE - Univr

Algoritmo:duerappresentazioni

PseudocodificaFlowchart

...euna(?)implementazione

Codifica

Page 25: IL PENSIERO COMPUTAZIONALE - Univr

Introduzionealciclodilavoro:

AnalisidelproblemaCaratterizzazione(specifica)ProgettazionedellasoluzioneDiscussionesull'ipotesidisoluzione(correttezza)Realizzazionedellasoluzione(codifica)TestingeverificadellasoluzioneRevisionedell'interoprocesso

Page 26: IL PENSIERO COMPUTAZIONALE - Univr

Programmazione(Coding)

Computerprogramming,theprocessofdesigning,writing,testing,debugging/troubleshooting,andmaintainingthesourcecodeofcomputerprograms(Wikipedia)

Implementareunalgoritmoinunlinguaggiodiprogrammazione

Codificareèancheunconcettopiùgenerale:

Comunicareunaseriediistruzioni...

Page 27: IL PENSIERO COMPUTAZIONALE - Univr

Cos'èilpensierocomputazionale(1/2)

Caratterizzasinteticamenteilrilevantecontributoculturaleapportatodall'Informaticaallacomprensionedellasocietàcontemporanea

"Èilprocessomentalechestaallabasedellaformulazionedeiproblemiedellelorosoluzionicosìchelesoluzionisianorappresentateinunaformachepuòessereimplementatainmanieraefficacedaunelaboratorediinformazionisiaessoumanooartificiale"(JeannetteWing,2006)

http://programmailfuturo.it/progetto/cose-il-pensiero-computazionale

Page 28: IL PENSIERO COMPUTAZIONALE - Univr

Cos'èilpensierocomputazionale(2/2)

Cosìcomel'invenzionedellastampahafacilitatoladiffusionedell'alfabetizzazione,cosìoggilaprogrammazioneeicomputerfacilitanol'acquisizioneeladiffusionedelpensierocomputazionale.

Questononsignificachegliesseriumanidevonoimparareapensarecomeicomputer:ilpensierocomputazionaleèilmodoincuigliesseriumaniinsegnanoaicomputerarisolvereiproblemienonviceversa.

http://www.smart-coding.it/wp-content/uploads/2015/02/Computational_Thinking.pdf

Page 29: IL PENSIERO COMPUTAZIONALE - Univr

Duediversimodidimoltiplicaresommando

3x6=3+3+3+3+3+3

6x3=6+6+6

Page 30: IL PENSIERO COMPUTAZIONALE - Univr

4abilitàfondamentali

leggerescriverefardicontopensarealgoritmicamente

Page 31: IL PENSIERO COMPUTAZIONALE - Univr

Comeinsegnareilpensierocomputazionale?

Programmando!?

"Lamenteumanahabisognodiimpararecreandoartefatti"(SeymourPapert)

Page 32: IL PENSIERO COMPUTAZIONALE - Univr

Programmareèdifficile

LavoriamosullaripiditàdellacurvadiapprendimentoLavoriamosullamotivazione

Page 33: IL PENSIERO COMPUTAZIONALE - Univr

PuroStorytellingministerialeComputationalthinkingecoding

Page 34: IL PENSIERO COMPUTAZIONALE - Univr

3/5-Pensierieproblemi

Page 35: IL PENSIERO COMPUTAZIONALE - Univr

ProblemsolvingdiFabioCiuffoli

Page 36: IL PENSIERO COMPUTAZIONALE - Univr

Problemsolvingepercezione

Page 37: IL PENSIERO COMPUTAZIONALE - Univr

Spuntiniperlamente

Page 38: IL PENSIERO COMPUTAZIONALE - Univr

Piccolispuntidaprovare

Sudokuhttp://giochi24.ilsole24ore.com/sudoku/sudoku.php?id=20170205_1http://www.sudoku-it.com/

http://bebras.it/http://olimpiadi-informatica.ithttp://www.olimpiadiproblemsolving.ithttp://kangourou.di.unimi.it/2012/turing/myturing.htmlComputerScienceUnplugged

Page 39: IL PENSIERO COMPUTAZIONALE - Univr

Diamoinumeri

Page 40: IL PENSIERO COMPUTAZIONALE - Univr

Sommareinduemodidiversi

SommadeipriminnumerinaturaliFormuladiGaussProcedimentoalgoritmico

layout:trueclass:center,middle,inverse

Ricorriamoallaricorsione

Page 41: IL PENSIERO COMPUTAZIONALE - Univr

Qualcheproblemainserie

SommatoriaFibonacciFattoriale

Page 42: IL PENSIERO COMPUTAZIONALE - Univr

Qualcheclassicoaltroproblemamatematico

RadicequadratainteraElevamentoapotenzaLogaritmointero(base10)

conestensioneadaltrabaseDivisibilitàTestdiprimalità

ingenuo(sempliceiterazione)migliorato(...)furbo...ma(attenzione!)nonèunproblemafacile!

MassimoComuneDivisoreprogettazionealgoritmodellascuolaalgoritmodiEuclide

Page 43: IL PENSIERO COMPUTAZIONALE - Univr

Unproblemadicrittografia

Comepossonascondereun'informazione?

Page 44: IL PENSIERO COMPUTAZIONALE - Univr

Dueproblemidigeometria

Comesipuòcalcolarelasuperficiediun'aladiunaereo?Comesipuòcalcolareilvaloredipigreco?

Page 45: IL PENSIERO COMPUTAZIONALE - Univr

Lacasualità

Page 46: IL PENSIERO COMPUTAZIONALE - Univr

IlMetodoMonteCarloelapioggiaelettronica

Page 47: IL PENSIERO COMPUTAZIONALE - Univr

4/5-Scratch,latartarugamultimediale

Page 48: IL PENSIERO COMPUTAZIONALE - Univr

scratch.mit.edu

Ibambinipossanoacquisireilpensierocomputazionaleprogrammandostorieinterattiveevideogiochi(MitchelResnick)

IlpensierocomputazionalesecondoilframeworksviluppatodalLifelongKindergartendelMITMediaLab

ConcettiPraticheAttitudini

Page 49: IL PENSIERO COMPUTAZIONALE - Univr

Scratchvaascuola

Page 50: IL PENSIERO COMPUTAZIONALE - Univr

Scratch:alcunedomandediricerca(pratica)

Quandoiniziare?Cosafare?Comeraccordarelediscipline?Perchèinsegnare(con)Scratch?

Page 51: IL PENSIERO COMPUTAZIONALE - Univr

Scratch:4percorsi

GeometriaanimataRaccontoanimatoQuizVideogioco

Page 53: IL PENSIERO COMPUTAZIONALE - Univr

5/5-Python,ilserpentetestuale

Page 55: IL PENSIERO COMPUTAZIONALE - Univr

Pythonvaascuola

Page 56: IL PENSIERO COMPUTAZIONALE - Univr

Python:alcunedomandediricerca(pratica)

Quandoiniziare?Cosafare?Comeraccordarelediscipline?Perchèinsegnare(con)Python?

Page 57: IL PENSIERO COMPUTAZIONALE - Univr

GRAZIEPERL'ATTENZIONE

Page 58: IL PENSIERO COMPUTAZIONALE - Univr

Credits:questeslidesonofattecon...

remarkjscheconvertetestoinformatomarkdowninslideHTML5

Page 59: IL PENSIERO COMPUTAZIONALE - Univr

Riferimenti

PiergiorgioOdifreddi,Checos'èlalogica?,CD,lucasossellaeditore,2006creativecommons.org/licenses/scratch.mit.eduhttp://programmailfuturo.it/progetto/cose-il-pensiero-computazionalehttp://www.smart-coding.it/wp-content/uploads/2015/02/Computational_Thinking.pdfhttp://computingunplugged.org/bookshttp://www.ilfattoquotidiano.it/2014/08/24/informatica-dal-coding-al-pensiero-computazionale/1097593/Ilpensierocomputazionaleascuola,MIURhttps://en.wikipedia.org/wiki/Codinghttp://profs.sci.univr.it/~macedonio/web/introduzione.pdfhttp://www.francoangeli.it/Ricerca/Scheda_libro.aspx?CodiceLibro=1796.136http://www.lafeltrinelli.it/libri/marco-beri/imparare-a-programmare-scratch/9788850333707http://www.hoepli.it/libro/mastermind/9788820372279.html