Boole George
Boole 〈bùul〉 George [STF] (Lincoln 1815 - Cork 1864) Prof. di matematica (1849) nel Queen's College di Cork. ◆ [ALG] Algebra di B.: insieme parzialmente ordinato in cui si definisce un elemento [...] 1 e un elemento 0 in modo che per ogni elemento x- dell'insieme esista un unico elemento x tale che sup{x,x-} =1, inf{x,x-} =0. Un esempio di algebra di B. è il sistema di tutti i sottinsiemi di un dato ...
Leggi Tutto
monadico
monàdico [agg. (pl.m. -ci) Der. di monade] [ALG] [FAF] Algebra m.: il sistema (B,c) costituito da un'algebra di Boole B e da un'operazione c unaria su B che verifica certi assiomi, compresi [...] quelli di chiusura; è tale, per es., uno spazio topologico nel quale ogni insieme risulti contemporaneamente aperto e chiuso. ◆ [ALG] [FAF] Attributo, o predicato, m.: nella logica matematica, predicato ...
Leggi Tutto
Venn John
Venn 〈vèn〉 John [STF] (Drypool 1834 - Cambridge 1923) Prof. di logica nell'univ. di Cambridge (1862). ◆ [ALG] Diagrammi, o grafici, o circoli, di V. (detti spesso diagrammi di Eulero-V.): sono [...] porzioni di piano allo scopo di mostrare graficamente le relazioni di verità degli enunciati e le operazioni dell'algebra di Boole; per es., la fig. mostra il diagramma di V. delle relazioni di inclusione e delle operazioni di intersezione tra gli ...
Leggi Tutto
proiettore
proiettóre [Der. del part. pass. proiectus del lat. proicere "gettare innanzi"] [LSF] Che proietta, che lancia, anche in signif. figurati. ◆ [ALG] Dato un insieme X, è un endomorfismo P sull'insieme [...] dei p. di un insieme ha essa stessa una struttura algebrica, che, a seconda dei casi, può essere un'algebra di Boole, un reticolo, ecc. I p. hanno notevole interesse nella rappresentazione di operatori lineari, per es. in spazi di Banach e di ...
Leggi Tutto
logica
lògica [Lat. logica, dal gr. loġiké (sottinteso téchne "arte"), a sua volta da lógos "discorso, ragionamento"] [ELT] [INF] Il complesso dei circuiti logici che fanno parte di un dispositivo elettronico [...] cui si applicarono tecniche algebriche alla l. tradizionale, come capitò, per es., per le leggi di De Morgan, l'algebra di Boole e altro. ◆ [FAF] L. a molti valori, o polivalente o plurivoca: la l. in cui ciascun enunciato può essere interpretato su ...
Leggi Tutto
Biologia
In biologia cellulare, r. endoplasmatico (o endoplasmico), sistema di cavità delimitate da membrane, presente nel citoplasma di tutte le cellule. È costituito da una membrana formata da un unico [...] di x) avente la proprietà che x ⋃ x′ = 0, x ⋂ x′ = 1. Un r. distributivo e complementato è un’algebra di Boole. Le algebre di Boole godono di molte proprietà specifiche; per es., il complemento di x ⋃ y è uguale a x′ ⋂ y′ e, dualmente, il complemento ...
Leggi Tutto
L’attività e l’operazione di rappresentare con figure, segni e simboli sensibili, o con processi vari, anche non materiali, oggetti o aspetti della realtà, fatti e valori astratti, e quanto viene così [...] : a) ogni gruppo finito è isomorfo a un gruppo di permutazioni (teorema di Cayley); b) ogni algebra di Boole è isomorfa a un’algebra di Boole ‘concreta’ cioè all’insieme P(E) costituito dalle parti di un insieme E provvisto delle operazioni di ...
Leggi Tutto
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 [...] nel linguaggio di tali strutture, stabilisce in un tempo finito se la formula è vera in tutte le algebre di Boole.
Il teorema di Ionescu Tulcea. In una breve nota pubblicata nei "Rendiconti dell'Accademia dei Lincei" il matematico rumeno Cassius ...
Leggi Tutto
booleano
‹bul-› agg. [dal nome del matematico ingl. G. Boole (1815-1864)]. – Algebra b., particolare tipo di struttura algebrica nella quale possono esprimersi relazioni logiche in modo analogo a quello in cui nell’algebra convenzionale si...
Bowle
‹bóolë› s. f., ted. [voce di origine ingl., cfr. sved. bål]. – Bevanda alcolica in uso nei paesi germanici, costituita da una miscela zuccherata di varî vini bianchi (Reno, Mosella, Champagne) nella quale si lasciano in infusione per...