trascendente In matematica, funzione t., ogni funzione non algebrica, nella quale cioè il legame tra la variabile dipendente y e la variabile indipendente x non può essere espresso da una relazione del [...] t. formano un insieme di potenza uguale a quella dei numeri reali (potenza del continuo), mentre l’insieme dei numeri algebrici ha solo la potenza del numerabile. Ben più difficile è dimostrare che determinati numeri reali sono t.: fino al 1900 si ...
Leggi Tutto
REDUCE
REDUCE 〈ridiùs〉 [ANM] [INF] Sistema per la manipolazione algebrica da effettuarsi con un calcolatore elettronico: v. manipolazione algebrica: III 617 b. ...
Leggi Tutto
MATHEMATICA
MATHEMATICA [ANM] [INF] Nome di un sistema per la manipolazione algebrica e il calcolo al computer: v. manipolazione algebrica: III 619 a. ...
Leggi Tutto
DERIVE
DERIVE 〈diràivë〉 [ANM] [INF] Denomin. ingl. di un programma di manipolazione algebrica su calcolatore personale: v. manipolazione algebrica: III 618 f. ...
Leggi Tutto
algebra di Boole
Silvio Bozzi
Introdotte nel 1848 da George Boole come controparte algebrica della logica dei termini e di quella ipotetica, le algebre di Boole trovano una prima formulazione assiomatica [...] x ∧ y) ∧ z = (x ∨ y) ∨ z =
= x ∧ (y ∧ x) = x ∨ (y ∨ x)
x ∧ (x ∨ y) = x x ∨ (x ∧ y) = x.
All’inverso se un’algebra 〈A,∧,∨〉 soddisfa gli assiomi di sopra e definiamo x≤y se x∧y=x, avremo che 〈A,≤〉 risulta un reticolo di cui ∧ e ∨ sono rispettivamente l ...
Leggi Tutto
risolvente
risolvènte [agg. e s. Part. pres. di risolvere "che risolve"] [ANM] R. di Galois: equazione algebrica, costruita a partire da un'altra equazione tale che la conoscenza di una sua radice qualunque [...] permette di trovare le radici dell'equazione algebrica data. ◆ [ANM] R. di Green: v. solidi, livelli elettronici nei: V 351 f. ◆ [ANM] R. di un operatore: → operatore. ◆ [ALG] [ANM] Funzione e insieme r.: v. algebre di operatori: I 93 c. ◆ [LSF] ...
Leggi Tutto
algebra
àlgebra s. f. [dal lat. mediev. algebra, e questo dall’arabo al-giabr, propr. «restaurazione», e quindi «riduzione» (dapprima nel sign. medico-chirurgico, e poi in quello matematico), che compare la prima volta in un trattato arabo...
algebraico
algebràico agg. [der. di algebra] (pl. m. -ci), ant. – Algebrico: più quantità complesse a. ammettono un comune divisore (Beccaria); gli uomini del dì d’oggi vogliono dappertutto analisi, dimostrazioni e ciffre a. (A. Verri).