Professional Documents
Culture Documents
Carlo Strapparava
FBK-Irst Istituto per la ricerca scientifica e tecnologica
I-38050 Povo, Trento, ITALY
strappa@fbk.eu
Informatica
Informazione automatica
Studia la distribuzione, la trasmissione e
soprattutto la trasformazione
dell’informazione da parte degli elaboratori
elettronici
Compito degli informatici è quello di studiare
queste cose in maniera che vengano
elaborate dalle macchine
1
Informatica
Tre grandi aree:
1. Software
2. Hardware
3. Informatica teorica
2
Hardware
3
Informatica teorica
E’ una branca della matematica
Analisi degli algoritmi
Formalismi per la computabilità
Funzioni ricorsive
λ-calcolo
Teoria della computazione
Problemi decidibili, indecidibili
Teoria degli automi
Analisi numerica
…
4
Programma - definizioni
(in generale)
piano d’esecuzione di una serie di azioni
(in informatica - genericamente)
una serie di istruzioni per un elaboratore volte a
calcolare la soluzione di un determinato problema
Programmazione come
generica attività intellettuale
Elaboratore elettronico
Un elaboratore elettronico può essere visto
come
Programma
Dati memoria
Automa
Risultati
5
Elaboratore elettronico
Alla definizione data sopra risponde anche:
Programma
Panni sporchi
Panni puliti
Elaboratore elettronico
L’automa è capace di elaborare qualsiasi
programma
Il programma non è fissato a priori ma è
fornito dal programmatore
A priori nell’automa sono solo fissate alcune
capacità elementari (per es. deve esserci
della memoria)
6
Come deve essere scritto un programma?
Un programma è la formulazione, secondo un
ben definito sistema di regole, di un algoritmo
7
Es. Algoritmo: somma di due interi di
tre cifre
1° passo: mettere in
colonna gli addendi
144 +
872 =
———
2° passo: assumere il
riporto della colonna di
destra uguale a 0 0
144 +
872 =
———
8
Somma di due interi di tre cifre (3)
9
Morale…
Posso ridurre l’operazione di somma a una
semplice trasformazione di simboli
Qualunque algoritmo opera su simboli
CXLIV +
MXXIV =
———
??????
Morale…
L’algoritmo di somma appena visto opera su numeri
naturali in rappresentazione decimale
Considerare criticamente l’abitudine alla
rappresentazione in base 10
144 in ottale è 220, in esadecimale 90
Siamo talmente abituati che tendiamo a confondere il
numero con la sua rappresentazione
10
Algoritmi
Programmi
Linguaggi artificiali di programmazione
Def. di Programma
Un programma è la codifica di un algoritmo in un
determinato linguaggio di programmazione
11
Punti di vista
12