Algebra
Irving Kaplansky
sommario: 1. Introduzione. 2. Gruppi in generale. 3. Gruppi semplici finiti. 4. Gruppi infiniti. 5. Gruppi liberi. 6. Gruppi abeliani infiniti. 7. Anelli in generale. 8. Corpi. [...] minimo O, è complementato se, per ogni x, esiste un y per cui x ⋀ y = 1 x ⋀ y = 0. Le algebrediBoole sono reticoli distributivi complementati.
Vi è una notevole connessione tra la teoria dei reticoli e i fondamenti della geometria; con qualche ...
Leggi Tutto
L'Ottocento: matematica. Algebra della logica
Massimo Mugnai
Algebra della logica
Logica e matematica: pensare e calcolare
Sia nell'Antichità sia durante il Medioevo, la logica e la matematica si configurano [...] e 'a(+b)=a'.
Qualche anno dopo la pubblicazione della Pure logic di Jevons, Charles S. Peirce (1839-1914) proponeva in un saggio sull'algebradiBoole (On an improvement in Boole's calculus of logic, 1867) l'adozione della somma logica non esclusiva ...
Leggi Tutto
anello
Luca Tomassini
La nozione di anello esprime in forma astratta le analogie presenti, per es., tra la manipolazione dei numeri interi relativi e quella dei polinomi. Il suo studio è stato decisivo [...] Per es., in un anello diBoole si ha sempre x2−x=x(x−1)=0 e quindi il prodotto di due elementi non nulli può :A→B da A a B. Si dice che f è un omomorfismo di anelli se rispetta la struttura di anello (o algebra), ovvero f(x+y)=f(x)+ f(y) e f(xy)=f( ...
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
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,...