In logica matematica, data una teoria formale, occorre distinguere un teorema sintattico di f. da uno semantico. Il primo si riferisce ai concetti di derivabilità e di non contraddittorietà, il secondo [...] da un insieme P di premesse se e solo se A è derivabile da un sottoinsieme finito di P; b) un insieme P di espressioni è non contraddittorio se e solo se è tale ogni sottoinsieme finito di P. In modo analogo si hanno due formulazioni equivalenti del ...
Leggi Tutto
Sigla di discrete fourier transform, trasformata di Fourier discreta, ossia la restrizione all’insieme di numeri complessi xm, m=0, …, N−1, della trasformata di Fourier di una funzione f(x) (➔ trasformazione). [...] La DFT Xn, n=0, …, N−1, di xm è definita dall’espressione:
Il coefficiente Xn è spesso chiamato n-esimo coefficiente di Fourier di xm. Come per la trasformata di Fourier, si può definire la trasformazione inversa
La DFT è molto studiata in quanto ...
Leggi Tutto
In logica, relazione che si instaura tra un gruppo di proposizioni e una proposizione quando quest’ultima è detta seguire logicamente dalle prime. Si distinguono vari tipi di c. a seconda delle particolari [...] qualcosa ‘segua’ da qualcos’altro.
In logica matematica, relazione di c. è una particolare relazione che un’espressione ha con un insieme di espressioni, nel senso che ogni interpretazione di quest’insieme debba essere anche un’interpretazione dell ...
Leggi Tutto
Scienza che ha per oggetto l’analisi formale delle strutture matematiche, e che si può identificare con la logica matematica. Con significato più ristretto la m., o teoria della dimostrazione (Beweistheorie), [...] sistema, se esso è sufficientemente potente. Così Gödel dimostrò: a) che un tale sistema è sintatticamente incompleto (cioè, esiste una espressione A del sistema per cui né A, né ¬A è deducibile in esso); b) che se un tale sistema è consistente ...
Leggi Tutto
uguale
uguale [agg. Der. del lat. aequalis, a sua volta der. di aequus "equo, piano"] [ALG] [ANM] Due enti a e b sono detti uguali se esiste tra loro una relazione di uguaglianza (←), per cui si ha a=b. [...] di tale uguaglianza, i due membri di un'identità o di un'equazione o, più in generale, collega due espressioni qualunque. ◆ [ANM] U. approssimativamente, o circa u.: locuz. per indicare il valore numerico approssimato di una certa quantità, indicata ...
Leggi Tutto
globale
globale [Dal fr. global, der. di globe "il globo"] [LSF] In contrapp. a parziale e talora a locale, preso in blocco, considerato nell'insieme. ◆ [ALG] [ANM] Proprietà g.: locuz. per denotare [...] una proprietà valida per tutto l'ente considerato e non soltanto per una sua parte, equivalente all'espressione proprietà in grande; si contrapp. a proprietà locale o in piccolo. ...
Leggi Tutto
chiusura
chiusura [Der. del lat. clausura, dal part. pass. clausus di claudere "chiudere", "atto ed effetto del chiudere" e anche "ciò con cui si chiude"] [ALG] C. algebrica: v. varietà algebrica: VI [...] c. (v. oltre). ◆ [ALG] [FAF] C. universale di un'espressione: nella logica matematica, data un'espressione contenente certe variabili libere è la nuova espressione che si ottiene da quella universalizzando (cioè quantificando universalmente) ciascuna ...
Leggi Tutto
indeterminato
indeterminato [agg. Comp. di in- neg. e determinato] [ALG] Analisi i.: la parte della teoria dei numeri che s'occupa della risoluzione di equazioni, a coefficienti interi, nel campo dei [...] numeri interi o, più generalm., razionali; rientra in essa anche la teoria delle congruenze. ◆ [ANM] Forma i.: espressione del tipo 0/0, ±∞/±∞, ∞-∞, 0 • ∞, 00, ∞0 e quindi priva di significato. Nel caso di funzioni, si possono avere forme i. per ...
Leggi Tutto
Filosofia
Rapporto per il quale una conclusione deriva da una o più premesse. Nella storia della filosofia si distinguono tre principali interpretazioni di tale rapporto. Secondo la prima, esso è fondato [...] , ma sono scelte in modo arbitrario, sebbene opportuno (R. Carnap, D. Lewis, B. Russell).
D. trascendentale Espressione tratta dal linguaggio giuridico, nel quale significa la dimostrazione della ‘legittimità’ della pretesa che si avanza, usata da I ...
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 [...] 1, nel senso che se risulta λ0≠0 possiamo sempre supporlo unitario (eventualmente dividendo per una quantità positiva l’espressione della funzione lagrangiana). Non è comunque una differenza da poco perché, quando risulta λ0=0, scompare del tutto il ...
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;...