I fondamenti

L'informatica é basata sulla precisione e sul rigore, ma anche sulla fantasia: apparentemente questi vocaboli sono antitetici, ma in realtà nell'ambito informatico esiste una forte compenetrazione di un termine nell'altro. Basti pensare al linguaggio cinematografico o al linguaggio che viene adottato per comunicare con qualsiasi tipo di macchina. Nell'informatica esiste un perenne dualismo tra materie umanistiche e scientifiche; come disciplina può essere definita:

Nuova, se ci si riferisce ai principi di matematica, filosofia e logica che racchiude;

Antica, se si fa riferimento alla tradizione millenaria nello sviluppo dei suoi concetti.

L'informatica é una vera e propria disciplina: ha un universo di fenomeni di riferimento, si serve di metodologie e strumenti propri di lavoro e produce una serie di concetti e di risultati. Non si tratta di matematica o logica applicata, ma pur importando alcune nozioni da altre discipline ha sviluppato metodologie, strumenti, usi, contenuti di carattere personale. A differenza delle altre, l'informatica é la scienza dell'artificiale, cioè ha per oggetto tutto ciò che non é presente in natura ma che é stato unicamente creato dall'uomo.

Cos'é il calcolatore? Si tratta di una macchina diversa dalle altre, c'é una caratteristica particolare che la rende differente: mentre le macchine generalmente svolgono un compito preciso, il calcolatore non è ideato per svolgere una singola funzione. L'uomo per la prima volta ha creato una macchina universale che, potenzialmente, può svolgere qualsiasi mansione.

La natura si manifesta in diversi livelli di astrazione e di realtà; non é possibile ricostruire un alto livello di realtà a partire dagli elementi fondamentali, ogni cosa ha un proprio livello di astrazione. Quando si studia un elemento o un fenomeno non si può parlare propriamente di realtà perché ne esistono diversi piani e non tutti vengono sempre analizzati. Per esempio: il gioco degli scacchi utilizza diversi livelli di astrazione che quasi mai vengono contemplati contemporaneamente da entrambi i giocatori. Nell'ambito informatico si trovano 4 livelli di astrazione ed ognuno nasce da quello che lo precede:

Circuitale (resistenza, induttanze, condensatori, generatori di tensione);

Logico

Programma

Sistematico (basato su leggi di algebra booleana).

Le aree disciplinari dell'informatica, secondo l'ACM (Association for Computing Machinery) si individuano in:

Algoritmi e strutture dati;

Linguaggi di programmazione;

Architettura dei calcolatori;

Sistemi operativi;

Ingegneria del software;

Computazioni numerica e simbolica;

Basi di dati e sistemi per il reperimento dell'informazione;

Intelligenza artificiale;

Visione robotica;   

(Sistemi distribuiti e rete di calcolatori).

Macchine di calcolo e computer

La parola calcolo etimologicamente significa pietra. Non é un caso, infatti, che questo vocabolo sia usato per definire i primi conti dell'antichità, effettuati appunto allineando delle palline di pietra. Con l'andar del tempo è nata la necessità di supportare il calcolo con degli strumenti:

v Abaco o pallottoliere (2000 a.C.)

v Pascal, Leinbritz: macchine meccaniche (1600-l700 a.C.)

La macchina di Pascal, la cosiddetta Pascalina, realizzava la somma; il suo inventore, filosofo e matematico, nel 1642 ideò una macchina da calcolo per svolgere le parti ripetitive dei calcoli aritmetici. L'invenzione di Leinbritz era in grado di compiere le quattro operazioni fondamentali, ma entrambe le macchine erano dedicate ad una sola specifica funzione senza poter fare altro. Leinbritz voleva sviluppare un sistema simbolico universale, ma il problema principale era quello di trovare il linguaggio adatto per poter comunicare con la macchina riducendo le seccature del caso. Bisognava quindi:

sviluppare una notazione universale;

ideare un linguaggio specializzato ed univoco;

concepire un calcolo automatico.

v Telaio di Jacquard (1800 d.C.): durante la Rivoluzione Industriale mediante una serie di cartoni forati venivano realizzati diversi motivi sul tessuto. Comincia così ad essere introdotto il concetto di programma.

v Macchina di Babbage (1800 d.C.): Babbage fu il primo in Inghilterra a costruire una vera macchina di calcolo, analoga al calcolatore moderno, in grado di eseguire qualsiasi programma. Aveva un dispositivo per memorizzare informazioni, per ricevere e fornire dati ed era basata sulla meccanica (le ruote dentate). Lo svantaggio era che richiedeva una precisione non raggiungibile con tecnologie meccaniche. Cominciano quindi a svilupparsi nuove tecnologie per poter supportare questa macchina e all'inizio degli anni 40 nascono i primi calcolatori elettronici: la macchina universale con diversi programmi. Diventa importante codificare i compiti in differenti programmi, affinché la macchina li possa eseguire. Intanto l'assistente di Babbage, Augusta, viene considerata la prima programmatrice.

Il contesto

Computer science, termine di origine inglese, sta ad indicare una disciplina elementare basata sul computer;

Informatica, termine di origine inglese e francese, orientata all'informazione;

Information Technology (IT)

La dimensione economica dell'IT in Italia è dell'1,5%, in Europa del 2%, mentre in USA è pari al quasi 4% del PIL.

Information and Communication Technology (ICT), riferito alle telecomunicazioni;

Digital Technology

Electronic Data Processing (EDT), termine ormai in via di sparizione.

Quando noi parliamo di scienza ci riferiamo al risultato dell'attività speculativa degli uomini volta alla conoscenza dei fenomeni (per esempio: le scienza naturali o dell'informazione); con tecnologia, invece, indichiamo lo studio dei procedimenti che permettono di trasformare le materie prime in prodotti (per esempio: tecnologie meccaniche, tecnologie dell'informazione e delle comunicazioni)

"Ogni vera scienza genera un linguaggio"

Cos'è l'informatica? Possiamo far riferimento a due definizioni:

La definizione sintetica dice che l'informatica è la scienza della rappresentazione e dell'elaborazione dell'informazione;

La definizione dell'ACM sostiene che l'informatica è lo studio sistematico degli algoritmi che descrivono e trasformano l'informazione: teoria, analisi, progetto, efficienza, realizzazione, applicazione.

Il concetto di algoritmo

L'algoritmo è una sequenza precisa di passi, o operazioni, che portano alla realizzazione di un compito. La parola si è evoluta da Al-Kowarizmi, matematico arabo del IX secolo; l'esempio più antico ed elementare di algoritmo è quello di Euclide (330/320 a.C.): ad ogni passo, ogni input (dato in entrata) fornisce un output (dato in uscita), naturalmente date per scontate le conoscenze matematiche di base. Non tutte le proposizioni si possono definire algoritmi, solo quelle che hanno le proprietà di avere un metodo generale, astratto ed effettivo di risoluzione dei problemi formulati esplicitamente.

Generale: deve, cioè, valere per qualsiasi caso. Esempio: l'operazione "sommare 3 e 4" è particolare, ma può essere generalizzata se la scriviamo come "x+y", diventa valevole per ogni coppia di valori x ed y.

Astratto: indipendente dal metodo di rappresentazione utilizzato.

Effettivo: soddisfa condizioni di definitezza ed eseguibilità.

Se la sequenza rispetta queste caratteristiche, è un algoritmo e porta alla formulazione implicita/esplicita di problemi.

Come si arriva ad un algoritmo? Vediamo l'esempio di Euclide: dati due numeri interi positivi, m ed n, trovare il loro massimo comun divisore, cioè il massimo intero positivo che divide senza resto sia m che n.

Proprietà del Massimo Comun Divisore:

MCD (m,n) = MCD (n,m)

se m = n allora MCD (n,m) = n = m

se m>0 ed n=0 allora MCD (m,0) = m

se m>n ed n>0 allora

MCD (m,n) = MCD (m-n,n) = MCD (m - 2 n, n) = . MCD (m-q n,n) =

= MCD (r,n) = MCD (n,r)

E1 (trovare il resto): dividere m per n e chiamare r il resto;

E2 (il resto è zero?): se r = 0 l'algoritmo termina;

E3 (scambiare): invertire di posto m con n ed n con r e tornare al punto E1.

Considerazioni

m ed n sono i dati di input;

il risultato tra la divisione di m ed n è l'output ed è il Massimo Comun Divisore dei dati d'ingresso;

r decresce dopo ogni applicazione del passo E1ed una sequenza decrescente di interi positivi deve necessariamente finire con zero;

le divisioni ed il resto sono disgiunti matematicamente.

Questi passi presuppongono che ci sia un momento di individuazione e di specificazione dell'algoritmo; se l'iterazione richiede una conoscenza, una volta che i passi sono stati elaborati, la conoscenza non è più richiesta perchè è stata "incorporata" nella formula.

COMUNICAZIONE

tra UOMO e COMPUTER