Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] ., la terminazione) nonché la sua correttezza.
L'esigenza di dimostrare formalmente la correttezza di un programma non era sfuggita a due precursori dell'informatica teorica come Alan M. Turing e John von Neumann; tuttavia, solo alla fine degli anni ...
Leggi Tutto
Programmazione, linguaggi di
Gian Marco Todesco
I computer «possono fare tutto quello che gli sappiamo ordinare» scriveva nel 1842 Ada Augusta Byron Lovelace, considerata la prima programmatrice della [...] anni prima (1964) da John C. Kemeny e Thomas E. Kurtz con l’intento di avvicinare alla programmazione persone non esperte di informatica, risulta la scelta ideale. Nel 1975 Bill Gates e Paul Allen, prima di fondare la società Microsoft, rilasciano ...
Leggi Tutto
Interfaccia uomo-calcolatore
Stefano Levialdi
L’interazione tra uomo e macchina (o tra uomo e programma) può intendersi come un processo che consente la comunicazione e il controllo delle applicazioni [...] comportamenti e quindi perché ne dobbiamo tenere conto durante la progettazione di sistemi informatici come le interfacce e, più in generale, di programmi applicativi. Di quali emozioni umane possiamo parlare, nel senso che vengono riconosciute dalla ...
Leggi Tutto
icona
Manuela Gianandrea
L'immagine sacra per eccellenza della cristianità
Nella cultura cristiana l'icona è un dipinto raffigurante le immagini più importanti per ogni credente: Gesù, la Madonna, i [...] usato da molte persone in ambienti di certo lontani dai monasteri. Nel linguaggio informatico, infatti, l'icona è una piccola immagine che indica simbolicamente un programma o un file di dati, attivabili proprio posizionando sopra l'icona il cursore ...
Leggi Tutto
informatico
informàtico agg. e s. m. [der. di informatica, per traduz. del fr. informatique come agg. e informaticien come sost.] (pl. m. -ci). – 1. agg. Relativo all’informatica: procedimenti, sistemi, mezzi i.; trattamento i. dei dati; documento...
programma
s. m. [dal lat. tardo programma -mătis, gr. πρόγραμμα -ματος, der. di προγράϕω, propr. «scrivere prima»] (pl. -i). – 1. Enunciazione particolareggiata, verbale o scritta, di ciò che si vuole fare, d’una linea di condotta da seguire,...