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 [...] complementato è un’algebradiBoole. Le algebrediBoole godono di molte proprietà specifiche; per es., il complemento di x ⋃ y è uguale a x′ ⋂ y′ e, dualmente, il complemento di x ⋂ y è x′⋃ y′. Un’algebradiBoole è prodotto diretto di r. costituiti ...
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 [...] fase dello sviluppo della l. matematica (v. oltre), in cui si applicarono tecniche algebriche alla l. tradizionale, come capitò, per es., per le leggi di De Morgan, l'algebradiBoole e altro. ◆ [FAF] L. a molti valori, o polivalente o plurivoca: la ...
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ì [...] (o anche solo omomorfo) a un assegnato sistema algebrico: a) ogni gruppo finito è isomorfo a un gruppo di permutazioni (teorema di Cayley); b) ogni algebradiBoole è isomorfa a un’algebradiBoole ‘concreta’ cioè all’insieme P(E) costituito dalle ...
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 casi, può essere un'algebradiBoole, un reticolo, ecc. I p. hanno notevole interesse nella rappresentazione di operatori lineari, per es. in spazi di Banach e di Hilbert, dove intervengono nella costruzione di un elemento dello spazio attraverso ...
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 [...] chiuse che delimitano porzioni di piano allo scopo di mostrare graficamente le relazioni di verità degli enunciati e le operazioni dell'algebradiBoole; per es., la fig. mostra il diagramma di V. delle relazioni di inclusione e delle operazioni ...
Leggi Tutto
monadico
monàdico [agg. (pl.m. -ci) Der. di monade] [ALG] [FAF] Algebra m.: il sistema (B,c) costituito da un'algebradiBoole 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 riferibile a singoli elementi. ...
Leggi Tutto
Boole George
Boole 〈bùul〉 George [STF] (Lincoln 1815 - Cork 1864) Prof. di matematica (1849) nel Queen's College di Cork. ◆ [ALG] Algebradi B.: insieme parzialmente ordinato in cui si definisce un elemento [...] unico elemento x tale che sup{x,x-} =1, inf{x,x-} =0. Un esempio dialgebradi B. è il sistema di tutti i sottinsiemi di un dato insieme Q, parzialmente ordinato dalla relazione di inclusione; l'elemento 1 è in questo caso l'insieme Q, l'elemento 0 è ...
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 [...] riesce a costruire CW-complessi con preassegnati gruppi di omotopia.
Decidibilità della teoria delle algebrediBoole. Il logico polacco Alfred Tarski dimostra che la teoria delle algebrediBoole è decidibile; cioè, esiste un algoritmo che, data ...
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...
calcolo1
càlcolo1 s. m. [dal lat. calcŭlus, propr. «pietruzza» (cfr. càlcolo2), attrav. il sign. di «gettone per fare i conti»]. – 1. a. Successione più o meno lunga di operazioni atte a fornire la soluzione di un dato problema aritmetico,...