big float
big float 〈big✄ flóot〉 [ANM] [INF] Locuz. ingl. "grande fluttuazione" con cui s'indica un modo di esprimere i numeri decimali in alcuni linguaggidiprogrammazione: v. manipolazione algebrica: [...] III 615 d ...
Leggi Tutto
STATISTICA (XXXII, p. 506; App. I, p. 1018)
Franco Giusti
Bruno Grazia Resi
Ludovico Piccinato
Alfredo Rizzi
Metodo scientifico che ha per oggetto lo studio quantitativo di fenomeni di massa, cioè [...] " (cluster analysis) in archeologia, nell'analisi dei linguaggi, nell'identificazione e nella caratterizzazione delle classi sociali, allo studio diprogrammi parametrici e di generazione di tavole, ma l'attuale orientamento è quello di affrontare ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1971-1980
1971-1980
1971
I problemi NP-completi. L'informatico americano Stephen Cook dà il primo esempio di problema algoritmico NP-completo. La classe NP [...] cioè basati su comandi, ed è invece un linguaggiodi tipo dichiarativo.
Il linguaggio C e il sistema UNIX. Due ingegneri americani, Dennis Ritchie e Ken Thompson, mettono a punto il linguaggiodiprogrammazione C e, in parallelo, il sistema operativo ...
Leggi Tutto
Complessità algoritmica
Fabrizio Luccio
Gli studi di complessità di calcolo si sono sviluppati essenzialmente nella seconda metà del ventesimo secolo. Basati sulla formalizzazione del concetto di algoritmo, [...] tali funzioni come rappresentative dell'algoritmo prescelto indipendentemente dal particolare calcolatore o linguaggiodiprogrammazione impiegato.
Come per le macchina di Turing limiteremo lo studio alla funzione T(n), detta anche semplicemente ...
Leggi Tutto
Metodo
GGerard Radnitzky
di Gerard Radnitzky
Metodo
sommario: 1. Introduzione. 2. Concetto e definizione di procedimento metodico, metodo e metodologia. a) Distinzione tra i vari livelli. b) Definizione [...] separano: da un lato il metodo della ricostruzione mediante linguaggi formalizzati e dall'altro il metodo fondato sull'analisi degli che ritiene essere le idee di Kuhn; il suo concetto di base è quello di ‛programmadi ricerca', in una metodologia che ...
Leggi Tutto
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programmadi David Hilbert per la fondazione della [...] Vedremo più avanti come il calcolo si possa estendere a linguaggi più forti; limitiamoci per ora al caso del primo ordine (numero monografico dedicato all'eredità del Programmadi Hilbert, con contributi di autori diversi).
Gentzen 1969: Gentzen, ...
Leggi Tutto
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...
programmazione
programmazióne s. f. [der. di programmare]. – 1. a. L’operazione, l’attività, il risultato del programmare: la p. dello studio, della ricerca (o di una ricerca), del lavoro, della produzione; la p. delle vacanze, del tempo libero;...