complemento

Dizionario delle Scienze Fisiche (1996)

complemento compleménto [Der. del lat. complementum, da complere "completare, portare a compimento"] [LSF] Ciò che completa una cosa. Il termine indica spesso un ente complementare: per es., c. di un [...] : per un dato numero n, è il numero che, sommato al dato, dà l'unità, cioè il numero 1-n. ◆ [ALG] C. di un'algebra booleana: per un sottoinsieme A di un insieme I, l'insieme degli elementi di I non appartenenti ad A; è detto anche negazione e può ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – TEMI GENERALI – ALGEBRA

Stone Marshall Harvey

Dizionario delle Scienze Fisiche (1996)

Stone Marshall Harvey Stone 〈stóun〉 Marshall Harvey [STF] (New York 1903 - Amherst, Massachusetts, 1978) Prof. di matematica nella Harvard Univ. (1933) e poi nell'univ. di Chicago (1968) e del Massachusetts [...] (1973) ad Amherst. ◆ [ANM] Problema non commutativo di S.-Weierstrass: v. algebre di operatori: I 95 c. ◆ [PRB] Teorema di S.: (a) per un'algebra booleana: v. probabilità classica: IV 579 d; (b) per stati regolari: v. rappresentazioni delle relazioni ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ANALISI MATEMATICA – STATISTICA E CALCOLO DELLE PROBABILITA

AND

Dizionario delle Scienze Fisiche (1996)

AND AND 〈èn〉 [La congiunzione ingl. "e"] [ALG] [FAF] Operatore logico (o insiemistico) di congiunzione di due enunciati (o di intersezione di due insiemi); la congiunzione di due enunciati risulta vera [...] se e solo se entrambi gli enunciati sono veri. ◆ [ELT] Nell'algebra booleana: (a) il prodotto logico; (b) il circuito elettronico che realizza il prodotto logico: v. circuiti logici: I 618 c, anche per il simb. grafico e la relativa tavola di verità. ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA – ELETTRONICA

booleano

Dizionario delle Scienze Fisiche (1996)

booleano booleano [agg. Relativo al matematico G. Boole] [ALG] Algebra b.: lo stesso che algebra di Boole (→ Boole, George). ◆ [ALG] Funzioni e operazioni b.: le funzioni e le operazioni dell'algebra [...] b., quali la somma logica (OR), il prodotto logico (AND), ecc.: v. circuiti logici: I 618 b. ◆ [ALG] Reticolo b.: lo stesso che algebra booleana. ... Leggi Tutto

CATEGORIA: ALGEBRA

àlgebra

Dizionario delle Scienze Fisiche (1996)

algebra àlgebra [Lat. algebra, der. dell'arabo al-giabr propr. "restaurazione", e quindi "riduzione" (dapprima nel signif. medico-chirurgico, e poi in quello matematico), che compare la prima volta in [...] (v.). ◆ [ALG] A. autoaggiunta: v. gruppi, rappresentazione dei: III 123 d. ◆ [ALG] [ELT] A. booleana: struttura algebrica costituita da un insieme di elementi (per es., tutti i sottoinsiemi di un insieme) dotato di due operazioni binarie e una unaria ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – FISICA NUCLEARE – ALGEBRA – STATISTICA E CALCOLO DELLE PROBABILITA – ELETTRONICA

La grande scienza. Automi e linguaggi formali

Storia della Scienza (2003)

La grande scienza. Automi e linguaggi formali Dominique Perrin Automi e linguaggi formali La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] gli insiemi a−1L=L2 e b−1L=ε appartengono all'algebra generata da L. Computabilità Riguardo alla classe più grande contenente tipico problema della classe PSPAZIO è la soddisfacibilità delle formule booleane con quantificatori, per esempio: [2] ∀x∀y ... Leggi Tutto

CATEGORIA: MATEMATICA APPLICATA – CIBERNETICA E INTELLIGENZA ARTIFICIALE

La grande scienza. Cronologia scientifica: 1941-1950

Storia della Scienza (2003)

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 [...] basilari del cervello umano alla logica simbolica booleana. Il modello suggerisce che tali meccanismi fisiologici in un tempo finito se la formula è vera in tutte le algebre di Boole. Il teorema di Ionescu Tulcea. In una breve nota pubblicata ... Leggi Tutto

CATEGORIA: ANTROPOLOGIA FISICA – BIOCHIMICA – STORIA DELLA BIOLOGIA – CHIMICA FISICA – STORIA DELLA CHIMICA – FISICA MATEMATICA – STORIA DELLA FISICA – STORIA DELLA MATEMATICA – STORIA DELLA MEDICINA

Informatica teorica

Enciclopedia della Scienza e della Tecnica (2007)

Informatica teorica Giorgio Ausiello Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] tutte le assegnazioni di valori di verità alle variabili della formula booleana) è esponenziale, mentre la verifica del fatto che una Pnueli sempre alla fine degli anni Settanta) e delle algebre di processi (introdotte da Jan Bergstra e Jan Willem ... Leggi Tutto

CATEGORIA: MATEMATICA APPLICATA – PROGRAMMAZIONE E PROGRAMMI

TAGS: PRINCIPIO DI INDETERMINAZIONE DI HEISENBERG – INSIEMI PARZIALMENTE ORDINATI – LINGUAGGI DI PROGRAMMAZIONE – RETI DI TELECOMUNICAZIONI – CALCOLATORI ELETTRONICI

Modelli, Teoria dei

Enciclopedia della Scienza e della Tecnica (2007)

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ù [...] alla teoria degli spazi di Banach iniziate da Jean-Louis Krivine e allo sviluppo dei modelli booleani. Proprietà elementari e metamatematica dell'algebra L'analisi non standard ci mostra in un caso specifico come possa essere fecondo distinguere tra ... Leggi Tutto

CATEGORIA: LOGICA MATEMATICA

TAGS: TEOREMA DI COMPATTEZZA – GRUPPO DI AUTOMORFISMI – TEORIA DELLA STABILITÀ – CLASSI D'EQUIVALENZA – GEOMETRIA ALGEBRICA