Informatica
Giorgio Ausiello
Carlo Batini
Vittorio Frosini
(App. IV, ii, p. 189; V, ii, p. 704)
Mentre negli anni 1937-38 venivano pubblicati l'ultimo volume della Enciclopedia Italiana e l'App. I, [...] elaboratori elettronici (App. IV, i, p. 650 e V, ii, p. 44) oltre che circuito logico (App. IV, i, p. 454), linguaggi programmativi (App. V, iii, p. 215), logica e informatica (App. V, iii, p. 238), intelligenza artificiale (App. V, ii, p. 735). Gli ...
Leggi Tutto
transcodificazione informatica Conversione di dati tra formati diversi al fine di renderli utilizzabili da un calcolatore, un dispositivo o un programma. linguistica Nella critica stilistica e in semiologia, [...] trasformazione di senso, di valore semantico, dovuta a cambiamento di codice. tecnica In elettronica, conversione di un segnale da un codice a un altro; in particolare, nella tecnica della televisione ...
Leggi Tutto
PROLOG
PROLOG 〈prològ〉 [ELT] [INF] Sigla di pro(gram-ma) log(ico) per indicare un linguaggio logico di programmazione in cui il programma è costituito da un insieme di asserzioni e di regole su un insieme [...] di oggetti e sulle relazioni che li legano, chiamato base di conoscenza: v. linguaggi di programmazione: III 428 e. ...
Leggi Tutto
preciso
preciso [agg. Der. del part. pass. praecisus di praecidere (→ precisione)] [LSF] Determinato correttamente in ogni suo particolare, senza mancanze ed errori: programma p. di un esperimento. ◆ [...] [MTR] Di strumento di misurazione che dia misure accurate, cioè con errore non eccedente un dato limite, piuttosto piccolo, e anche delle misure date da esso: strumento, misure p. all'uno per cento, cioè ...
Leggi Tutto
parser
parser 〈pàazë〉 [s.ingl. Der. di (to) parse "analizzare grammaticalmente", usato in it. come s.m.] [ELT] [INF] Algoritmo di un programma applicativo che, sulla base della grammatica e del lessico [...] di una lingua data, effettua un'analisi automatica della struttura morfologica delle parole, per permetterne, per es., il richiamo dal dizionario di macchina; algoritmi di questo genere, ma di struttura ...
Leggi Tutto
Scienza
Gerard Radnitzky
Paolo Rossi
di Gerard Radnitzky, Paolo Rossi
SCIENZA
Teoria della scienza di Gerard Radnitzky
sommario: 1. Introduzione. 2. Che specie di disciplina è la teoria della scienza [...] un regresso all'infinito o a un circolo vizioso, mentre l'opzione per i metodi aprioristici è incompatibile con il programma dell'empirismo logico e, anche a parte ciò, non sembra molto promettente, giacché scarse sono le speranze di giustificare un ...
Leggi Tutto
aritmetizzazione
aritmetizzazióne [Atto ed effetto dell'aritmetizzare "rendere aritmetico", der. di aritmetico] [ALG] [FAF] [INF] Nella logica matematica: (a) in senso generale e storico, programma sviluppato [...] da alcuni matematici nella seconda metà dell'Ottocento allo scopo di rendere più rigorosa l'analisi matematica, fondandola su una teoria dei numeri reali e, in definitiva, sull'aritmetica; (b) in partic., ...
Leggi Tutto
survey
survey 〈sàrvei〉 [s.ingl. "sorveglianza", der. di to survey "sorvegliare"] [LSF] Termine, equivalente agli it. rassegna, campagna di rilevamento e sim. per indicare un programma di misurazioni [...] coordinate ben definito spazialmente, temporalmente e negli scopi; per es., v. quasar: IV 643 c ...
Leggi Tutto
task
task 〈tàask〉 [s.ingl. "lavoro remunerato", usato in it. come s.m.] [ELT] [INF] Nella tecnica dei calcolatori elettronici, il compito specifico di un programma applicativo, di una procedura o di [...] una sequenza di istruzioni del sistema operativo; in partic., in un sistema operante in multiprogrammazione, ciascuno dei programmi e delle funzioni contemporaneamente attivi o attivabili; è reso talora con l'it. processo (per es., v. sistemi ...
Leggi Tutto
word processor
word processor 〈uë´ëd próusesë〉 [Locuz. ingl. comp. di word "parola" e processor "elaboratore", usata in it. come s.m.] [ELT] [INF] Elaboratore di testi, cioè programma di calcolatore [...] elettronico, o calcolatore elettronico munito di apposito programma, per svolgere attività di elaborazione e trattamento di testi e documenti. Attualmente sono molto usati w. del tipo WYSWYG (What You See What You Get "quello che vedi è quello che ...
Leggi Tutto
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,...
programmabile
programmàbile agg. [der. di programmare]. – Che si può programmare, ossia prevedere, predisporre: ormai si sa tutto ... tutto in termini esatti, già programmato o programmabile (Volponi). Anche con riferimento alla programmazione...