programmazioneprogrammazióne [Der. di programmare "preparare un programma"] [LSF] (a) La formulazione di un programma. (b) Con signif. particolare nelle locuz. p. lineare e non lineare (v. oltre). ◆ [...] sulla sequenza di singole istruzioni, ma sull'identificazione di funzioni da assolvere; (d) p. logica: basata sull'uso di espressioni logiche (v. linguaggi di programmazione: III 428 e); (e) p. procedurale, o imperativa, in cui la p. consiste nella ...
Leggi Tutto
Chimica
Generalità
L’a. chimica si occupa dei metodi che permettono di determinare la composizione chimica di un campione. Genericamente ha il significato di scissione in elementi più piccoli e loro esame, [...] e opere pubbliche, e in generale per valutare comparativamente programmi di spesa pubblica. Nella valutazione di progetti pubblici, successivamente, da Cartesio in poi, metodo di dimostrazione. La Logica di Port Royal attribuendo all’a. o ‘metodo d’ ...
Leggi Tutto
Fisica
(XV, p. 473; App. II, i, p. 950; III, i, p. 619; IV, i, p. 812; V, ii, p. 246)
Gli argomenti riguardanti la f. sono stati svolti ampiamente, sia nell'Enciclopedia Italiana sia nelle successive [...] in Olanda) erano completamente dedicati al problema specifico che era codificato nell'hardware: non esisteva un vero programma e tutta la logica era contenuta nell'architettura hardware del calcolatore.
Il processore di Santa Barbara era basato su un ...
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 [...] del Sistema solare che hanno una vita limitata nel tempo.
Logica temporale. L'informatico Amir Pnueli propone di usare la logica temporale per l'analisi di programmi informatici. La logica temporale permette di fare asserzioni del tipo "la proprietà ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] la proprietà P, allora l'output verifica la proprietà Q. Hoare ha fornito anche un sistema di assiomi per la sua logica, che permette di dimostrare che un programma è corretto, nel senso che rispetta le relazioni tra input e output desiderate. La ...
Leggi Tutto
MACCHINE
Vittorio Marchis e Marcella Corsi
Storia della tecnologia
di Vittorio Marchis
Definizioni e classificazione
Si definisce macchina un complesso di elementi fissi e mobili, vincolati cinematicamente, [...] di una macchina modificabile nelle funzioni per mezzo di un 'programma' numerico registrato nella memoria della macchina stessa si deve a sistemi di rilevamento sensoriale e con le strutture logiche di elaborazione dei segnali per il comando degli ...
Leggi Tutto
linguaggio
linguàggio [Der. di lingua] [LSF] Il mezzo con cui gli uomini si scambiano reciprocamente informazioni; tale scambio, i cui veicoli (vocaboli) sono simboli di significato noto agli interlocutori, [...] teoria degli: I 331 f, c. ◆ [ALG] [FAF] L. deduttivo: v. logica: III 486 a. ◆ [ELT] [INF] L. di definizione e manipolazione di dati: 343 a. ◆ [ELT] [INF] L. simbolico: v. linguaggi di programmazione: III 424 e. ◆ [ELT] [INF] L. speciale di simulazione ...
Leggi Tutto
Undicesima lettera dell’alfabeto greco (maiuscolo Λ, minuscolo λ), corrispondente alla consonante latina l.
biologia Fago l. Batteriofago che ha come ospite il batterio Escherichia coli. Su di esso sono [...] una procedura meccanica capace di stabilire se una proposizione logica del primo ordine è sempre vera? Il l. di computazione equivalente alla macchina di Turing. Molti linguaggi di programmazione funzionali, tra cui per es. il LISP, sono basati ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1981-1990
1981-1990
1981
Il sistema operativo MS-DOS. Tale sistema, realizzato dalla Microsoft e destinato a dominare nel suo settore, è utilizzato per la prima [...] molecola d'acqua. Tale idea consente di rivisitare la logica e la teoria della dimostrazione da un punto di vista a meno di trasformazioni birazionali dette flops. L'ultimo passo del programma, l'esistenza dei flips, è compiuto da Mori in questo anno ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] ; cioè, esiste un algoritmo che, data una formula della logica del primo ordine nel linguaggio di tali strutture, stabilisce in . è guardato con rinnovato interesse e secondo programmi strettamente industriali, specialmente da parte di Stati che ...
Leggi Tutto
logicismo
s. m. [der. di logica, logico1]. – 1. a. In senso ampio, ogni dottrina che pone la logica a fondamento della filosofia, o le assegna comunque un posto preponderante in questa disciplina. b. In filosofia della matematica, indirizzo...
simbolico
simbòlico agg. [dal lat. tardo symbolĭcus, gr. συμβολικός, der. di σύμβολον «simbolo»] (pl. m. -ci). – 1. Che ha natura e valore di simbolo: numeri, segni s.; il linguaggio s. della matematica; un atto, un gesto s.; in partic., azioni...