Informatica

Pensiero computazionale

Moltiplicazione di Ahmet è un algoritmo. La realizzazione è detta coding. Anticamente su abaco, ora su circuiti digitali. Il pensiero computazionale si basa su algoritmo e coding.

Algoritmo

Regole da impiegare nella risoluzione di un problema con la sua sequenza. È utilizzabile su diversi input generando diversi output, ogni passo ha un'interpretazione univoca che si esegue in un tempo finito, l'algoritmo termina sempre.

Coding

Comanda l'esecuzione dei passi di un algoritmo.

Teoria degli insiemi infiniti

Georg Cantor

Secondo i numeri interi sono infiniti ma meno dei numeri reali. Gli insiemi con la stessa infinità si chiamano numerabili come le sequenze di lunghezza finita. L'insieme di tutti gli algoritmi è numerabile. Le funzioni matematiche sui numeri reali, invece, non sono numerabili. Per molte funzioni matematiche non esiste un algoritmo: sono funzioni non calcolabili.

Alonzo Church era un logico e un matematico che inventò il “lambda calcolo” per analizzare formalmente le funzioni e il loro macchina di calcolo, mentre Alan Turing inventò la cosiddetta “Turing”, in grado di eseguire degli algoritmi.

Problemi intrattabili

I protagonisti sono Stephen Cook, informatico, e Leonid Levin, matematico.

Problemi intrattabili sono risolubili con funzioni calcolabili ma il numero di operazioni negli algoritmi cresce.

Teoria della complessità

Dimostrare l'esistenza di algoritmi efficienti o inesistenti.

Albero di decisione

Mostra l'algoritmo e tutti i suoi percorsi di calcolo in relazione ai suoi input.

Limite inferiore e superiore

Limite inferiore è la caratteristica del problema sotto cui non si può scendere (per trovare la moneta falsa tra 5 monete sono necessarie 3 pesate e non meno).

Limite superiore è la capacità di un algoritmo di fornire una soluzione in un certo numero di passi (per pesare 5 monete non servono più di 3 pesate). Se in un algoritmo il limite superiore e il limite inferiore coincidono allora si dice algoritmo ottimo.

Statistica

Può essere descrittiva, e quindi si effettuano delle analisi di dati, oppure inferenziale con cui si producono dati alla popolazione e si induce e prevede su tutta la popolazione.

Analisi dei dati

I dati possono essere delle unità statistiche, quindi degli oggetti descritti tramite un insieme di dati (persone, animali, cose) oppure possono essere delle variabili cioè delle caratteristiche associate a unità (valore e unità di misura).

Le variabili sono di due tipi: categoriche se collocano un'unità in un gruppo o categoria oppure quantitative se invece assumono valori numerici e quindi vanno effettuate delle operazioni aritmetiche.

Analisi esplorativa dei dati

Per le variabili categoriche è indicato l'utilizzo dei diagrammi a...