LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] da A. Church (1932) attraverso il suo λ−calcolo. Mentre la macchina a registri illimitati fornisce una modellizzazione a basso livello (cioè a livello del linguaggio-macchina) dei calcolatori attuali, il λ-calcolo fornisce una modellizzazione a un ...
Leggi Tutto
compilatore
compilatóre [Der. del lat. compilare "saccheggiare", quindi "comporre uno scritto prendendo qua e là"] [ELT] [INF] Programma di calcolatore elettronico (ingl. compiler) in grado di tradurre [...] un linguaggio evoluto in linguaggiomacchina: v. linguaggi di programmazione: III 424 f. ...
Leggi Tutto
sistema operativo
sistema operativo insieme dei programmi di base e delle utilità di un elaboratore elettronico che sono dedicati alla gestione completa delle risorse della macchina (microprocessore, [...] che lavoravano in multiprogrammazione. Il codice sorgente di unix è scritto nel linguaggio di programmazione C e ha la peculiarità di essere facilmente trasportabile su macchine diverse, ossia di non dipendere dal particolare hardware installato; il ...
Leggi Tutto
interprete
intèrprete [Der. del lat. interpres -etis "interprete", di origine incerta] [ELT] [INF] (a) In un calcolatore elettronico, programma per la traduzione in linguaggiomacchina e immediata esecuzione, [...] istruzione per istruzione, di programmi applicativi formulati in linguaggi simbolici: v. linguaggi di programmazione: III 424 f. (b) Nei procedimenti di calcolo basati sull'uso di schede perforate, macchina che interpreta i fori già praticati nelle ...
Leggi Tutto
Computer. Software applicativo
Andrea Bonaccorsi
Il software consiste di un insieme strutturato di istruzioni, procedure, regole, documentazioni e programmi espressi in bit di informazione, che possono [...] dell’industria informatica, il concetto stesso di software era assente, in quanto i programmi venivano compilati in linguaggiomacchina e venduti insieme ai computer in modo inseparabile (bundling). La scrittura e la manutenzione dei programmi erano ...
Leggi Tutto
La seconda rivoluzione scientifica: fisica e chimica (1945-1960). L'elettronica e il calcolo
Jon Agar
L'elettronica e il calcolo
Negli anni 1945-1946 fu resa pubblica la definizione di 'calcolatore [...] di programmazione
Il livello di formalizzazione più basso con cui si può redigere un programma è costituito dal linguaggiomacchina espresso in codice binario. Per esempio, nell'EDSAC l'istruzione 'aggiungi il numero nella posizione di memoria 25 ...
Leggi Tutto
Fondamenti della matematica e teoria algoritmica dell'informazione
Gregory J. Chaitin
Ciò che possiamo dimostrare intorno ai fondamenti della matematica usando i suoi stessi metodi costituisce la metamatematica, [...] la fine dei dati binari grezzi, e quindi la fine dell'intero programma, è ciò che costringe questi programmi in linguaggiomacchina a essere auto-delimitanti. In altre parole, la fine del programma in binario è come uno strapiombo nel quale il ...
Leggi Tutto
programma
programma sequenza ordinata di → istruzioni da impartire a un automa esecutore e, in particolare, all’elaboratore elettronico, affinché risolva un problema specifico; la sua realizzazione comporta [...] di programmazione: si ottiene così un file che prende il nome di programma sorgente;
• la traduzione delle istruzioni in → linguaggiomacchina, ossia una sequenza di stringhe binarie di 0 e 1, effettuata da un altro programma detto compilatore; esso ...
Leggi Tutto
open source
Francesco Rullani
Locuzione utilizzata in informatica per indicare diverse fattispecie, a seconda del contesto in cui viene impiegata.
La licenza d’uso
Il significato originario dell’espressione [...] nella forma di codice sorgente. La semplice distribuzione del programma in forma di linguaggiomacchina, infatti, permette l’esecuzione dello stesso alle macchine, ma non è intellegibile a un essere umano. Il codice sorgente, invece, riporta ...
Leggi Tutto
codice sorgente
Mauro Capelli
Versione di un algoritmo scritta in un linguaggio di programmazione ad alto livello (ossia più vicino al linguaggio umano, tipicamente in pseudo inglese), le cui istruzioni [...] il codice sorgente viene letto, interpretato e tradotto in linguaggiomacchina da un programma detto interprete. Invece, nei linguaggi di programmazione compilati (per es., il linguaggio C) il codice sorgente viene reso eseguibile tramite un ...
Leggi Tutto
macchina
màcchina (ant. màchina) s. f. [dal lat. machĭna, che è dal gr. dorico μαχανά, attico μηχανή]. – 1. In senso storico e antropologico, qualsiasi dispositivo o apparecchio costruito collegando opportunamente due o più elementi in modo...
linguaggio
linguàggio s. m. [der. di lingua]. – 1. Nell’uso ant. o letter., e talora anche nell’uso com. odierno, lo stesso che lingua, come strumento di comunicazione usato dai membri di una stessa comunità: parlare con proprietà di l.; Questi...