Attributo di disciplina che utilizza nell’indagine teorica l’elaboratore elettronico come sistematico strumento di lavoro, per es. la meccanica c., la linguistica c.; si dice c. anche il procedimento che [...] si può allora considerare come la realizzazione – in parte conseguita ma ancora in via di svolgimento – del programma implicitamente enunciato da Dirac.
In realtà, la rilevanza che sta acquistando la chimica computazionale trae vantaggio anche dallo ...
Leggi Tutto
MATEMATICA (XXII, p. 547 e App., II, 11, p. 276)
Francesco G. TRICOMI
Gli sviluppi più recenti della m. saranno qui presi in esame soprattutto nelle loro linee generali e nei loro mutui rapporti; per [...] logica ed astratta dell'intera m., senza nulla concedere all'intuizione ed alla tradizione. Si tratta, in fondo, di un programma non molto dissimile da quello dell'italiano Peano (XXVI, p. 566) quando intraprese il suo Formulario mathematico. Ma il ...
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 [...] che il modello minimale non è unico, anche se lo è a meno di trasformazioni birazionali dette flops. L'ultimo passo del programma, l'esistenza dei flips, è compiuto da Mori in questo anno. Per tale lavoro, e per la soluzione di una congettura di ...
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 [...] dei metalli di transizione.
Lo sfruttamento di sorgenti di calore terrestre. è guardato con rinnovato interesse e secondo programmi strettamente industriali, specialmente da parte di Stati che, come l'Islanda e la Nuova Zelanda, hanno numerose fonti ...
Leggi Tutto
teorema di Kuhn-Tucker
Angelo Guerraggio
Nella funzione lagrangiana che compare nell’enunciato del teorema di Fritz John, il moltiplicatore λ0 (associato alla funzione obiettivo f) può valere 0 oppure [...] di convessità: se x0 soddisfa le relazioni viste nel teorema di Fritz John con λ0=1, la funzione obiettivo f è pseudo-concava e le funzioni gi sono quasi-convesse, allora il punto x0 è soluzione del problema di ottimo.
→ Programmazione matematica ...
Leggi Tutto
Termine con cui è anche chiamata l'algebra combinatoria, disciplina che studia, piuttosto che le strutture algebriche classiche (gruppo, anello, corpo, ecc.), le strutture algebriche di tipo più semplice, [...] . Clement W.H. Lam e i suoi collaboratori hanno dimostrato la non esistenza di un piano proiettivo di ordine 10 con un programma che ha girato per molti anni (suddiviso in vari casi: per quelli difficili un computer Cray lavorava in background, per i ...
Leggi Tutto
Superficie piana, generalmente orizzontale, ma anche verticale o variamente inclinata.
Disegno, rappresentazione grafica di opere naturali o artificiali, di un luogo, di un terreno, o di un complesso di [...] tale che il segmento PP′ sia parallelo a d e abbia il suo punto medio M su α.
Statistica
P. (o programma) degli esperimenti
Il complesso delle operazioni, preliminari a una ricerca, con il quale si stabilisce il tipo di dati che occorre raccogliere ...
Leggi Tutto
Terza lettera dell’alfabeto latino.
Linguistica
La sua forma deriva dal gamma dell’alfabeto greco occidentale (calcidese) che fu modello di quello romano. Qui inizialmente la C rappresentò sia la velare [...] C è la possibilità di utilizzare istruzioni a diversi livelli di astrazione. Con C++ si indica un linguaggio di programmazione ‘a oggetti’.
Matematica
Il simbolo C indica l’insieme dei numeri complessi.
Musica
Per l’accezione musicale ➔ notazione ...
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 [...] 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 logica di Hoare è alla base dell ...
Leggi Tutto
reticolare
reticolare [agg. Der. di reticolo] [LSF] Che ha forma di rete o di reticolo, usato talvolta in concorrenza con reticolato. ◆ [MCQ] Approssimazione r.: v. integrale sui cammini: III 225 f. [...] a descrivere, analizzare, controllare e risolvere problemi di ricerca tecnologica e scientifica, di gestione industriale e di programmazione economica, sociale e tecnica, basati su una schematizzazione grafica del problema in una rete o in un grafo ...
Leggi Tutto
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;...
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,...