SPERANZA DI VITA
Carla Bielli
Con l'espressione s. di v. (equivalente al concetto di vita media, o numero ulteriore di anni di vita dopo l'età x) viene designato un indicatore della durata media della [...] vita a partire da un'età data, usato nelle scienze attuariali e nelle statistiche demografiche e calcolato per mezzo delle costanti biometriche riportate nelle tavole di mortalità. Esso si basa sul seguente ...
Leggi Tutto
predicativo
predicativo [agg. Der. di predicato "relativo a predicati"] [ALG] [FAF] Espressione p.: nella logica matematica, ogni espressione F che sia coerente con sé stessa; in simb., Pred (F)↔F(F) [...] (si parla di espressione impredicativa nel caso contrario); per es., l'aggettivo "astratto" è p. (mentre "concreto" è impredicativo). ...
Leggi Tutto
Nel linguaggio scientifico, si dice di ente o grandezza, e anche di espressione matematica o di espressione indicante un legame tra certe grandezze, che non muti operando particolari cambiamenti di variabili [...] o trasformazioni.
Fisica
Una grandezza relativa a un sistema fisico si dice i. se, per il suo carattere intrinseco, non muta quantitativamente per date trasformazioni del sistema o per cambiamento dell’ente ...
Leggi Tutto
In logica matematica, metodo del c., procedimento per dimostrare che una data espressione H non è una conseguenza (➔) di un insieme di espressioni M; esso consiste nel mostrare l’esistenza di un certo [...] modello di M che non è un modello di H. In particolare in matematica, un c. è un’eccezione a una data congettura generale che permette di dimostrarne la falsità ...
Leggi Tutto
sublime
sublime [agg. Der. del lat. sublimis (→ sublimazione)] [STF] [ANM] Calcolo s.: espressione largamente usata nel passato per indicare il calcolo infinitesimale. ◆ [STF] [LSF] Fisica s.: nel passato, [...] l'insieme delle questioni fisiche trattate con i metodi del calcolo s., cioè quella che si potrebbe chiamare la fisica teorica dell'epoca ...
Leggi Tutto
radicando
radicando [Der. di radice, sul modello di dividendo, moltiplicando, ecc.] [ALG] L'espressione che compare sotto un segno di radice, della quale si vuole cioè determinare la radice di un dato [...] indice ...
Leggi Tutto
Insieme di procedimenti matematici atti a dare la soluzione di un dato problema.
Informatica
Sistemi di c. Complesso di unità periferiche con le quali e per mezzo delle quali un calcolatore, specialmente [...] deve sempre poter determinare se essa è o no uno degli assiomi,
b) data un’inferenza qualsiasi di un’espressione da un certo numero di altre espressioni, si deve sempre poter determinare se essa è o no in accordo con una delle regole d’inferenza.
Di ...
Leggi Tutto
FFT (Fast Fourier transform)
Lorenzo Seno
Tecnica che consiste nel trovare i coefficienti per l’espressione di campioni in termini di una serie di Fourier di sinusoidi e cosinusoidi, di frequenze (temporali [...] o spaziali, a seconda della natura del dominio) armoniche, troncata a Nyquist. Per segnali reali si tratta di risolvere il sistema lineare di N equazioni indipendenti in N incognite a{[ e b{[ per gli N ...
Leggi Tutto
In aritmetica, quello dei due termini di una frazione che sta a indicare in quante parti uguali è stata divisa l’unità (mentre l’altro, il numeratore, indica quante di tali parti vanno considerate); si [...] scrive sotto il segno di frazione. Più in generale, in una espressione frazionaria, f/g, in cui f, g sono monomi, polinomi o funzioni qualunque, il d. è g. ...
Leggi Tutto
espressione
espressióne s. f. [dal lat. expressio -onis, der. di exprimĕre «esprimere», part. pass. expressus]. – 1. L’atto e il modo di esprimere, di comunicare ad altri quanto si sente, si pensa o si vuole: e. di un sentimento; l’e. della...
espressionismo
s. m. [der. di espressione]. – 1. Movimento artistico nato e affermatosi in Germania al principio del sec. 20°, con l’intento di contrapporsi sia all’impressionismo francese sia al naturalismo conformista dell’epoca guglielmina;...