Si ha un problema di d. quando si deve scegliere tra differenti alternative, tenendo conto delle conseguenze che possono essere "certe" o "incerte". Nel primo caso si hanno i "problemi" di d. in condizioni [...] il modello statistico [Z, Qϑ], e si sappia che il risultato osservato è z. Secondo l'impostazione bayesiana la procedura più naturale è di passare dall'informazione "iniziale" su Θ, rappresentata da P, all'informazione "finale", rappresentata da Pz ...
Leggi Tutto
scandaglio
scandàglio [Der. del lat. scandaculum, der. di scandere "salire"] [GFS] Nell'oceanologia, dispositivo per misurare la profondità del fondo marino (o di un bacino acqueo qualsiasi); fra i tipi [...] distribuzione di esse nella Galassia e quindi la forma, le dimensioni e la densità di quest'ultima; analoga è la procedura che oggi si segue per altri oggetti celesti, in partic. galassie. ◆ [GFS] Linea di s.: nell'oceanologia, la linea congiungente ...
Leggi Tutto
punto omoclino
Luca Tomassini
Un punto (x∙0,x∙0) ∈ℝn×ℝn nello spazio delle fasi di un sistema dinamico con n gradi di libertà x∙=f(x) tale che la soluzione (orbita) passante per esso si avvicini asintoticamente [...] potenze in ε. Osserviamo che la semplice esistenza di soluzioni omocline (senza dunque l’indicazione esplicitata di una procedura per la loro costruzione) può essere provata sotto condizioni molto più generali.
→ Sistemi dinamici. Origini e sviluppo ...
Leggi Tutto
Diritto
Diritto civile
Avvenimento futuro e incerto, dall’avveramento del quale viene fatta dipendere l’efficacia del negozio giuridico ovvero la risoluzione del rapporto con questo costituito. È un elemento [...] e quelle che sono state oggetto di specifica contrattazione. La tecnica legislativa è, a dir poco, non impeccabile.
Procedura penale
C. di procedibilità Atti ai quali la legge subordina l’esercizio dell’azione penale in relazione a determinati ...
Leggi Tutto
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] elementare dei numeri reali e mostra come trasferire queste proprietà alla geometria, formulando in termini logici generali la procedura che sta alla base della coordinatizzazione dello spazio euclideo sul campo dei reali. Strumento base per provare ...
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 [...] per la teoria dei campi realmente chiusi basata sul concetto di cylindrical algebraic decomposition (CAD). Questa procedura fornisce un notevole miglioramento dell'originale metodo di eliminazione dei quantificatori di Tarski (1951).
Scoperto un ...
Leggi Tutto
analisi
anàlisi [Der. del gr. análysis "scomporre in elementi"] [LSF] Scomposizione di un tutto, concreto o astratto, nelle parti che lo costituiscono, soprattutto a scopo di studio; si oppone a sintesi, [...] un sistema è compiuta per affidarne l'elaborazione a un calcolatore elettronico; è una fase fondamentale nell'automazione delle procedure di elaborazione di dati e ha lo scopo di fornire, in base all'indagine delle singole attività che costituiscono ...
Leggi Tutto
Ramo della matematica che si occupa delle tematiche legate al calcolo delle variazioni, affrontando problemi nei quali non sono direttamente applicabili i metodi classici dell'analisi lineare.
Abstract [...] necessaria, sotto forma di un’equazione differenziale, per l’esistenza di minimi (o massimi). Si ottiene così una procedura canonica per affrontare e risolvere problemi di minimo del calcolo delle variazioni: si cerca una soluzione dell’equazione di ...
Leggi Tutto
L'Eta dei Lumi: matematica. Il calcolo delle variazioni
Ivor Grattan-Guinness
Il calcolo delle variazioni
Il calcolo in una e più variabili
Una volta sviluppata la teoria della differenziazione e integrazione [...] la soluzione (o le soluzioni). Quando fu riconosciuto l'uso delle variabili parametriche, venne messa in atto nell'analisi la procedura importante di invertire l'ordine dei differenziali misti:
[1] dadxƒ(x,a)=dxdaƒ (x,a).
Tuttavia, ci si può chiedere ...
Leggi Tutto
infinito
Walter Maraschini
Un tutto grande come le sue parti
Ci sono cose, come le stelle, che sono enormi o lontanissime se confrontate con gli oggetti della vita quotidiana; altre che sono invece [...] "si può sempre trovare un numero decimale positivo più piccolo di un numero dato". Si afferma perciò una potenzialità: la procedura si può ripetere quante volte si vuole per trovare numeri sempre più grandi o sempre più piccoli. In questo senso si ...
Leggi Tutto
procedura
s. f. [dal fr. procédure, der. di procéder «procedere»; nel sign. 3 è un calco dell’ingl. procedure]. – 1. a. non com. Modo di procedere, cioè di operare o di comportarsi in determinate circostanze o per ottenere un certo risultato...
procedurista
s. m. e f. [der. di procedura] (pl. m. -i). – 1. Giurista esperto nella procedura processuale. 2. non com. In informatica, chi è incaricato di gestire e di controllare il buon funzionamento dei programmi dopo la loro messa a punto...