programmazioneprogrammazióne [Der. diprogrammare "preparare un programma"] [LSF] (a) La formulazione di un programma. (b) Con signif. particolare nelle locuz. p. lineare e non lineare (v. oltre). ◆ [...] , o imperativa, in cui la p. consiste nella stesura della serie di istruzioni che il calcolatore deve eseguire (v. linguaggidiprogrammazione: III 427 d); (f) p. simbolica, fatta in un linguaggiodi p. che il calcolatore deve poi tradurre nel suo ...
Leggi Tutto
Fluidi, meccanica dei
Gino Bella
La m. dei f. è la branca della fisica che si occupa del comportamento dei fluidi, ossia delle sostanze liquide e gassose, dal punto di vista statico e dinamico. Gli [...] scienza detta meccanica computazionale, che ha in comune elementi di fisica (m. dei f.), di matematica (risoluzione di equazioni differenziali), di informatica (linguaggidiprogrammazione e strumenti hardware e software) e come scopo l'integrazione ...
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 [...] relativa a una opportuna topologia derivata dall'ordine, detta topologia di Scott). La costruzione di Scott è alla base della semantica denotazionale dei linguaggidiprogrammazione.
L'algoritmo di Risch. Robert H. Risch presenta un algoritmo per il ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] , definite nel 1959, e riveste un'importanza fondamentale nella teoria della sintassi dei linguaggidiprogrammazione.
La scoperta della radiazione di sincrotrone della Nebulosa del Granchio. Misurando la polarizzazione della luce emessa da questa ...
Leggi Tutto
linguaggiolinguà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, [...] .); in partic., il mezzo con cui l'utente interagisce con un calcolatore elettronico: v. linguaggidiprogrammazione. ◆ [ELT] [INF] L. algebrico: v. base di dati: I 343 a. ◆ [ELT] [INF] L. contestuale, acontestuale, regolare: v. automi, teoria degli ...
Leggi Tutto
sequenza
sequènza [Der. del lat. sequentia, dal part. pres. sequens -entis di sequi "seguire"] [LSF] Generic., successione di enti, cose e operazioni disposti uno di seguito all'altro in un certo ordine. [...] : v. stella: V 626 d. ◆ [ELT] [INF] Costrutto di s.: il costrutto ordinato delle operazioni di un programmadi calcolo elettronico da eseguire una dopo l'altra: v. linguaggidiprogrammazione: III 425 b. ◆ [ELT] Segnale di s.: quello che comanda la s ...
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 [...] e anzi può essere usato per dare una definizione di computabilità di una funzione. In questo senso il l. calcolo è un modello di computazione equivalente alla macchina di Turing. Molti linguaggidiprogrammazione funzionali, tra cui per es. il LISP ...
Leggi Tutto
selezione
selezióne [Der. del lat. selectio -onis, dal part. pass. selectus (→ selettività)] [LSF] Operazione di scelta, con il fine di estrarre da un insieme i soli elementi che abbiano assegnate caratteristiche [...] a priori possibili. ◆ [ELT] [INF] Nei linguaggidiprogrammazionedi calcolatori elettronici, costrutto che sceglie le istruzioni da seguire in funzione del presentarsi di opportune condizioni: v. linguaggidiprogrammazione: III 425 b. ◆ [BFS] S ...
Leggi Tutto
salto
salto [Der. del lat. saltus -us "atto ed effetto del saltare", dal supino saltum di salire "saltare"] [LSF] (a) Generic., variazione finita di una grandezza fisica, come, per es., il s. idraulico [...] ): v. meccanica quantistica: III 702 b. ◆ [TRM] S. termico: differenza tra temperature. ◆ [ELT] [INF] Costrutto di s.: v. linguaggidiprogrammazione: III 425 b. ◆ [FSD] Meccanismo di s. per solidi amorfi: v. conduzione elettrica nei solidi: I 692 f. ...
Leggi Tutto
codice
còdice [Der. del lat. codex -icis, originar. parte interna del fusto degli alberi, poi tavoletta su cui scrivere e infine, per estensione, libro manoscritto in fogli, in contrapp. al libro in [...] [INF] C. ciclico: v. trasmissione di dati: VI 307 c e informazione, teoria di Hamming: v. informazione, teoria dell': III 201 e. ◆ [INF] C. di macchina: per un calcolatore elettronico, lo stesso che linguaggio macchina: v. linguaggidiprogrammazione ...
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;...