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
Biologia
Controllo biologico
Il complesso dei processi, a livello molecolare, biochimico, cellulare, tissutale, ormonale e del sistema nervoso, che con la loro azione e interazione contribuiscono a regolare [...] interi messaggi di controllo. Istruzioni di c. Nei linguaggidiprogrammazione, le istruzioni di salto condizionato o incondizionato che hanno lo scopo di governare la corretta sequenza di svolgimento delle operazioni del programma in funzione ...
Leggi Tutto
(II, p. 421; App. II, I, p. 125; III, I, p. 61; IV, I, p. 83)
Negli ultimi dieci anni lo sviluppo dell'a. è stato molto vivace. Ai temi di ricerca già consolidati se ne sono aggiunti nuovi e ne sono stati [...] (uso delle curve elittiche, H. Lenstra), nella teoria delle reti e dei grafi (uso di grafi associati a gruppi aritmetici). Anche nella costruzione dei linguaggidiprogrammazione è evidente l'influenza dell'a. (del lambda-calcolo e dell'a. universale ...
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
La grande scienza. Combinatoria
Peter J. Cameron
Combinatoria
Secondo alcuni la combinatoria costituisce soltanto una parte della matematica, secondo altri essa non rappresenta una branca separata, [...] non è immune da tale tendenza. Vi sono però un paio di aspetti che riguardano la combinatoria in modo particolare. I programmi per i computer e i linguaggidiprogrammazione hanno subito una grande evoluzione, e ora un oggetto algebrico (per ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] pratiche delle nozioni e dei metodi che abbiamo descritto.
a) Compilatori. La possibilità di compilare in modo efficiente un linguaggiodiprogrammazionedi alto livello si può considerare uno dei grandi successi nella storia dell'informatica. Il ...
Leggi Tutto
Computazione, teoria della
Fabrizio Luccio
La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] ). Inoltre tale sottoinsieme è proprio, come risulta da quanto provato sul linguaggio {ai bi, i≥1}. Tra i linguaggi liberi si trovano i principali linguaggidiprogrammazione, per cui la teoria degli automi a pila riveste importanza fondamentale ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsivita
Piergiorgio Odifreddi
Teoria della ricorsività
La teoria della ricorsività affronta lo studio delle funzioni con lo [...] modo effettivo, per esempio considerando tutti i programmidi un linguaggiodiprogrammazione in ordine alfabetico. Si ottiene in questo modo una lista
[4] φ0, φ1, φ2…
di tutte le funzioni ricorsive parziali di un argomento. Tale lista è essa stessa ...
Leggi Tutto
logica matematica
Walter Maraschini
Simboli per ragionare correttamente
Quando due amici discutono non sempre sono d’accordo: possono avere intenzioni e gusti diversi, oppure opinioni contrastanti sul [...] vero e falso, anticipando così il sistema binario che sta alla base del funzionamento dei moderni computer (linguaggidiprogrammazione).
La logica dei proverbi
I proverbi sono sentenze popolari che spesso assumono la forma logica «se… allora ...
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;...