top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Algebra and logic
Algebra and logic
Pubbl/distr/stampa [New York, N.Y.], : Plenum Pub
Disciplina 511.324
Soggetto topico Algebraic logic
Algebra
Logic, Symbolic and mathematical
Logique algébrique
Algèbre
Logic
Logica
Soggetto genere / forma Periodicals.
ISSN 1573-8302
Formato Materiale a stampa
Livello bibliografico Periodico
Lingua di pubblicazione eng
Record Nr. UNISA-996215985703316
[New York, N.Y.], : Plenum Pub
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Algebra and logic
Algebra and logic
Pubbl/distr/stampa [New York, N.Y.], : Plenum Pub
Disciplina 511.324
Soggetto topico Algebraic logic
Algebra
Logic, Symbolic and mathematical
Logique algébrique
Algèbre
Logic
Logica
Soggetto genere / forma Periodicals.
ISSN 1573-8302
Formato Materiale a stampa
Livello bibliografico Periodico
Lingua di pubblicazione eng
Record Nr. UNINA-9910141124203321
[New York, N.Y.], : Plenum Pub
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Algebraizable logics / / W.J. Blok and Don Pigozzi
Algebraizable logics / / W.J. Blok and Don Pigozzi
Autore Blok W. J. <1947->
Pubbl/distr/stampa Providence, Rhode Island : , : American Mathematical Society, , 1989
Descrizione fisica 1 online resource (89 p.)
Disciplina 511.3/24
Collana Memoirs of the American Mathematical Society
Soggetto topico Algebraic logic
Soggetto genere / forma Electronic books.
ISBN 1-4704-0816-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto ""Contents""; ""Introduction""; ""1 Deductive Systems and Matrix Semantics""; ""1.1 The Lattice of Theories""; ""1.2 Matrix Semantics""; ""1.3 Deductive Systems as Elementary Theories""; ""1.4 The Elementary Leibniz Equivalence Relation""; ""1.4.1 Protoalgebraic Logics""; ""2 Equational Consequence and Algebraic Semantics""; ""2.1 Algebraic Semantics""; ""2.2 Equivalent Algebraic Semantics""; ""2.2.1 Uniqueness""; ""2.2.2 Axiomatization""; ""3 The Lattice of Theories""; ""4 Two Intrinsic Characterizations""; ""4.1 The Leibniz Operator""; ""4.2 A Second Intrinsic Characterization""
""5 Matrix Semantics and Algebraizability""""5.1 Matrix Semantics and Algebraic Semantics""; ""5.2 Applications and Examples""; ""5.2.1 Modal Logics""; ""5.2.2 Entailment and Relevance Logics""; ""5.2.3 Pure Implicational Logics""; ""5.2.4 Two Logics with the Same Algebraization""; ""5.2.5 Intuitionistic Propositional Logic without Implication""; ""5.2.6 Equivalential Logic""; ""A: Elementary Definitional Equivalence""; ""B: An Example""; ""C: Predicate Logic""; ""Bibliography""; ""Index""; ""A""; ""C""; ""D""; ""E""; ""F""; ""G""; ""H""; ""I""; ""J""; ""K""; ""L""; ""M""; ""P""; ""Q""; ""R""
""S""""T""; ""U""
Record Nr. UNINA-9910480677203321
Blok W. J. <1947->  
Providence, Rhode Island : , : American Mathematical Society, , 1989
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Algebraizable logics / / W.J. Blok and Don Pigozzi
Algebraizable logics / / W.J. Blok and Don Pigozzi
Autore Blok W. J. <1947->
Pubbl/distr/stampa Providence, Rhode Island : , : American Mathematical Society, , 1989
Descrizione fisica 1 online resource (89 p.)
Disciplina 511.3/24
Collana Memoirs of the American Mathematical Society
Soggetto topico Algebraic logic
ISBN 1-4704-0816-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto ""Contents""; ""Introduction""; ""1 Deductive Systems and Matrix Semantics""; ""1.1 The Lattice of Theories""; ""1.2 Matrix Semantics""; ""1.3 Deductive Systems as Elementary Theories""; ""1.4 The Elementary Leibniz Equivalence Relation""; ""1.4.1 Protoalgebraic Logics""; ""2 Equational Consequence and Algebraic Semantics""; ""2.1 Algebraic Semantics""; ""2.2 Equivalent Algebraic Semantics""; ""2.2.1 Uniqueness""; ""2.2.2 Axiomatization""; ""3 The Lattice of Theories""; ""4 Two Intrinsic Characterizations""; ""4.1 The Leibniz Operator""; ""4.2 A Second Intrinsic Characterization""
""5 Matrix Semantics and Algebraizability""""5.1 Matrix Semantics and Algebraic Semantics""; ""5.2 Applications and Examples""; ""5.2.1 Modal Logics""; ""5.2.2 Entailment and Relevance Logics""; ""5.2.3 Pure Implicational Logics""; ""5.2.4 Two Logics with the Same Algebraization""; ""5.2.5 Intuitionistic Propositional Logic without Implication""; ""5.2.6 Equivalential Logic""; ""A: Elementary Definitional Equivalence""; ""B: An Example""; ""C: Predicate Logic""; ""Bibliography""; ""Index""; ""A""; ""C""; ""D""; ""E""; ""F""; ""G""; ""H""; ""I""; ""J""; ""K""; ""L""; ""M""; ""P""; ""Q""; ""R""
""S""""T""; ""U""
Record Nr. UNINA-9910788870803321
Blok W. J. <1947->  
Providence, Rhode Island : , : American Mathematical Society, , 1989
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Algebraizable logics / / W.J. Blok and Don Pigozzi
Algebraizable logics / / W.J. Blok and Don Pigozzi
Autore Blok W. J. <1947->
Pubbl/distr/stampa Providence, Rhode Island : , : American Mathematical Society, , 1989
Descrizione fisica 1 online resource (89 p.)
Disciplina 511.3/24
Collana Memoirs of the American Mathematical Society
Soggetto topico Algebraic logic
ISBN 1-4704-0816-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto ""Contents""; ""Introduction""; ""1 Deductive Systems and Matrix Semantics""; ""1.1 The Lattice of Theories""; ""1.2 Matrix Semantics""; ""1.3 Deductive Systems as Elementary Theories""; ""1.4 The Elementary Leibniz Equivalence Relation""; ""1.4.1 Protoalgebraic Logics""; ""2 Equational Consequence and Algebraic Semantics""; ""2.1 Algebraic Semantics""; ""2.2 Equivalent Algebraic Semantics""; ""2.2.1 Uniqueness""; ""2.2.2 Axiomatization""; ""3 The Lattice of Theories""; ""4 Two Intrinsic Characterizations""; ""4.1 The Leibniz Operator""; ""4.2 A Second Intrinsic Characterization""
""5 Matrix Semantics and Algebraizability""""5.1 Matrix Semantics and Algebraic Semantics""; ""5.2 Applications and Examples""; ""5.2.1 Modal Logics""; ""5.2.2 Entailment and Relevance Logics""; ""5.2.3 Pure Implicational Logics""; ""5.2.4 Two Logics with the Same Algebraization""; ""5.2.5 Intuitionistic Propositional Logic without Implication""; ""5.2.6 Equivalential Logic""; ""A: Elementary Definitional Equivalence""; ""B: An Example""; ""C: Predicate Logic""; ""Bibliography""; ""Index""; ""A""; ""C""; ""D""; ""E""; ""F""; ""G""; ""H""; ""I""; ""J""; ""K""; ""L""; ""M""; ""P""; ""Q""; ""R""
""S""""T""; ""U""
Record Nr. UNINA-9910827797803321
Blok W. J. <1947->  
Providence, Rhode Island : , : American Mathematical Society, , 1989
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Algebre di Hilbert con particolare riferimento alle algebre implicative. Tesi di laurea / laureanda Annunziata Tomba ; relat. D. Lenzi
Algebre di Hilbert con particolare riferimento alle algebre implicative. Tesi di laurea / laureanda Annunziata Tomba ; relat. D. Lenzi
Autore Tomba, Annunziata
Pubbl/distr/stampa Lecce : Università degli studi. Facoltà di Scienze. Corso di laurea in Matematica, a.a. 1986-87
Disciplina 511.33
Altri autori (Persone) Lenzi, Domenico
Soggetto topico Algebraic logic
Classificazione AMS 03G
AMS 03G10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISALENTO-991000666669707536
Tomba, Annunziata  
Lecce : Università degli studi. Facoltà di Scienze. Corso di laurea in Matematica, a.a. 1986-87
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic, and probability theory / Theodore Hailperin
Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic, and probability theory / Theodore Hailperin
Autore Hailperin, Theodore
Pubbl/distr/stampa Amsterdam : North-Holland ; New York : sole distributors for the U.S.A. and Canada American Elsevier, 1976
Descrizione fisica x, 245 p. ; 23 cm.
Disciplina 511.3
Collana Studies in logic and the foundations of mathematics, ISSN 0049237X ; 85
Soggetto topico Algebraic logic
Boolean algebra
Probabilities
ISBN 0444110372
Classificazione AMS 03B48
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000720629707536
Hailperin, Theodore  
Amsterdam : North-Holland ; New York : sole distributors for the U.S.A. and Canada American Elsevier, 1976
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Classical algebra [[electronic resource] ] : its nature, origins, and uses / / Roger Cooke
Classical algebra [[electronic resource] ] : its nature, origins, and uses / / Roger Cooke
Autore Cooke Roger <1942->
Pubbl/distr/stampa Hoboken, N.J., : Wiley-Interscience, c2008
Descrizione fisica 1 online resource (220 p.)
Disciplina 512
Soggetto topico Algebra
Algebra - History
Algebraic logic
Soggetto genere / forma Electronic books.
ISBN 1-281-28501-3
9786611285012
0-470-27798-X
0-470-27797-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Classical Algebra Its Nature, Origins, and Uses; Contents; Preface; Part 1. Numbers and Equations; Lesson 1. What Algebra Is; 1. Numbers in disguise; 1.1.""Classical"" and modern algebra; 2. Arithmetic and algebra; 3. The ""environment"" of algebra: Number systems; 4. Important concepts and principles in this lesson; 5. Problems and questions; 6. Further reading; Lesson 2. Equations and Their Solutions; 1. Polynomial equations, coefficients, and roots; 1.1. Geometric interpretations; 2. The classification of equations; 2.1. Diophantine equations
3. Numerical and formulaic approaches to equations3.1. The numerical approach; 3.2. The formulaic approach; 4. Important concepts and principles in this lesson; 5. Problems and questions; 6. Further reading; Lesson 3. Where Algebra Comes From; 1. An Egyptian problem; 2. A Mesopotamian problem; 3. A Chinese problem; 4. An Arabic problem; 5. A Japanese problem; 6. Problems and questions; 7. Further reading; Lesson 4. Why Algebra Is Important; 1. Example: An ideal pendulum; 2. Problems and questions; 3. Further reading; Lesson 5. Numerical Solution of Equations; 1. A simple but crude method
2. Ancient Chinese methods of calculating2.1. A linear problem in three unknowns; 3. Systems of linear equations; 4. Polynomial equations; 4.1. Noninteger solutions; 5. The cubic equation; 6. Problems and questions; 7. Further reading; Part 2. The Formulaic Approach to Equations; Lesson 6. Combinatoric Solutions I: Quadratic Equations; 1. Why not set up tables of solutions?; 2. The quadratic formula; 3. Problems and questions; 4. Further reading; Lesson 7. Combinatoric Solutions II: Cubic Equations; 1. Reduction from four parameters to one; 2. Graphical solutions of cubic equations
3. Efforts to find a cubic formula3.1. Cube roots of complex numbers; 4. Alternative forms of the cubic formula; 5. The ""irreducible case""; 5.1. Imaginary numbers; 6. Problems and questions; 7. Further reading; Part 3. Resolvents; Lesson 8. From Combinatorics to Resolvents; 1. Solution of the irreducible case using complex numbers; 2. The quartic equation; 3. Viete's solution of the irreducible case of the cubic; 3.1. Comparison of the Viète and Cardano solutions; 4. The Tschirnhaus solution of the cubic equation; 5. Lagrange's reflections on the cubic equation
5.1. The cubic formula in terms of the roots5.2. A test case: The quartic; 6. Problems and questions; 7. Further reading; Lesson 9. The Search for Resolvents; 1. Coefficients and roots; 2. A unified approach to equations of all degrees; 2.1. A resolvent for the cubic equation; 3. A resolvent for the general quartic equation; 4. The state of polynomial algebra in 1770; 4.1. Seeking a resolvent for the quintic; 5. Permutations enter algebra; 6. Permutations of the variables in a function; 6.1.Two-valued functions; 7. Problems and questions; 8. Further reading; Part 4. Abstract Algebra
Lesson 10. Existence and Constructibility of Roots
Record Nr. UNINA-9910145585903321
Cooke Roger <1942->  
Hoboken, N.J., : Wiley-Interscience, c2008
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Classical algebra [[electronic resource] ] : its nature, origins, and uses / / Roger Cooke
Classical algebra [[electronic resource] ] : its nature, origins, and uses / / Roger Cooke
Autore Cooke Roger <1942->
Pubbl/distr/stampa Hoboken, N.J., : Wiley-Interscience, c2008
Descrizione fisica 1 online resource (220 p.)
Disciplina 512
Soggetto topico Algebra
Algebra - History
Algebraic logic
ISBN 1-281-28501-3
9786611285012
0-470-27798-X
0-470-27797-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Classical Algebra Its Nature, Origins, and Uses; Contents; Preface; Part 1. Numbers and Equations; Lesson 1. What Algebra Is; 1. Numbers in disguise; 1.1.""Classical"" and modern algebra; 2. Arithmetic and algebra; 3. The ""environment"" of algebra: Number systems; 4. Important concepts and principles in this lesson; 5. Problems and questions; 6. Further reading; Lesson 2. Equations and Their Solutions; 1. Polynomial equations, coefficients, and roots; 1.1. Geometric interpretations; 2. The classification of equations; 2.1. Diophantine equations
3. Numerical and formulaic approaches to equations3.1. The numerical approach; 3.2. The formulaic approach; 4. Important concepts and principles in this lesson; 5. Problems and questions; 6. Further reading; Lesson 3. Where Algebra Comes From; 1. An Egyptian problem; 2. A Mesopotamian problem; 3. A Chinese problem; 4. An Arabic problem; 5. A Japanese problem; 6. Problems and questions; 7. Further reading; Lesson 4. Why Algebra Is Important; 1. Example: An ideal pendulum; 2. Problems and questions; 3. Further reading; Lesson 5. Numerical Solution of Equations; 1. A simple but crude method
2. Ancient Chinese methods of calculating2.1. A linear problem in three unknowns; 3. Systems of linear equations; 4. Polynomial equations; 4.1. Noninteger solutions; 5. The cubic equation; 6. Problems and questions; 7. Further reading; Part 2. The Formulaic Approach to Equations; Lesson 6. Combinatoric Solutions I: Quadratic Equations; 1. Why not set up tables of solutions?; 2. The quadratic formula; 3. Problems and questions; 4. Further reading; Lesson 7. Combinatoric Solutions II: Cubic Equations; 1. Reduction from four parameters to one; 2. Graphical solutions of cubic equations
3. Efforts to find a cubic formula3.1. Cube roots of complex numbers; 4. Alternative forms of the cubic formula; 5. The ""irreducible case""; 5.1. Imaginary numbers; 6. Problems and questions; 7. Further reading; Part 3. Resolvents; Lesson 8. From Combinatorics to Resolvents; 1. Solution of the irreducible case using complex numbers; 2. The quartic equation; 3. Viete's solution of the irreducible case of the cubic; 3.1. Comparison of the Viète and Cardano solutions; 4. The Tschirnhaus solution of the cubic equation; 5. Lagrange's reflections on the cubic equation
5.1. The cubic formula in terms of the roots5.2. A test case: The quartic; 6. Problems and questions; 7. Further reading; Lesson 9. The Search for Resolvents; 1. Coefficients and roots; 2. A unified approach to equations of all degrees; 2.1. A resolvent for the cubic equation; 3. A resolvent for the general quartic equation; 4. The state of polynomial algebra in 1770; 4.1. Seeking a resolvent for the quintic; 5. Permutations enter algebra; 6. Permutations of the variables in a function; 6.1.Two-valued functions; 7. Problems and questions; 8. Further reading; Part 4. Abstract Algebra
Lesson 10. Existence and Constructibility of Roots
Record Nr. UNINA-9910830823203321
Cooke Roger <1942->  
Hoboken, N.J., : Wiley-Interscience, c2008
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Classical algebra : its nature, origins, and uses / / Roger Cooke
Classical algebra : its nature, origins, and uses / / Roger Cooke
Autore Cooke Roger <1942->
Pubbl/distr/stampa Hoboken, N.J., : Wiley-Interscience, c2008
Descrizione fisica 1 online resource (220 p.)
Disciplina 512
Soggetto topico Algebra
Algebra - History
Algebraic logic
ISBN 1-281-28501-3
9786611285012
0-470-27798-X
0-470-27797-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Classical Algebra Its Nature, Origins, and Uses; Contents; Preface; Part 1. Numbers and Equations; Lesson 1. What Algebra Is; 1. Numbers in disguise; 1.1.""Classical"" and modern algebra; 2. Arithmetic and algebra; 3. The ""environment"" of algebra: Number systems; 4. Important concepts and principles in this lesson; 5. Problems and questions; 6. Further reading; Lesson 2. Equations and Their Solutions; 1. Polynomial equations, coefficients, and roots; 1.1. Geometric interpretations; 2. The classification of equations; 2.1. Diophantine equations
3. Numerical and formulaic approaches to equations3.1. The numerical approach; 3.2. The formulaic approach; 4. Important concepts and principles in this lesson; 5. Problems and questions; 6. Further reading; Lesson 3. Where Algebra Comes From; 1. An Egyptian problem; 2. A Mesopotamian problem; 3. A Chinese problem; 4. An Arabic problem; 5. A Japanese problem; 6. Problems and questions; 7. Further reading; Lesson 4. Why Algebra Is Important; 1. Example: An ideal pendulum; 2. Problems and questions; 3. Further reading; Lesson 5. Numerical Solution of Equations; 1. A simple but crude method
2. Ancient Chinese methods of calculating2.1. A linear problem in three unknowns; 3. Systems of linear equations; 4. Polynomial equations; 4.1. Noninteger solutions; 5. The cubic equation; 6. Problems and questions; 7. Further reading; Part 2. The Formulaic Approach to Equations; Lesson 6. Combinatoric Solutions I: Quadratic Equations; 1. Why not set up tables of solutions?; 2. The quadratic formula; 3. Problems and questions; 4. Further reading; Lesson 7. Combinatoric Solutions II: Cubic Equations; 1. Reduction from four parameters to one; 2. Graphical solutions of cubic equations
3. Efforts to find a cubic formula3.1. Cube roots of complex numbers; 4. Alternative forms of the cubic formula; 5. The ""irreducible case""; 5.1. Imaginary numbers; 6. Problems and questions; 7. Further reading; Part 3. Resolvents; Lesson 8. From Combinatorics to Resolvents; 1. Solution of the irreducible case using complex numbers; 2. The quartic equation; 3. Viete's solution of the irreducible case of the cubic; 3.1. Comparison of the Viète and Cardano solutions; 4. The Tschirnhaus solution of the cubic equation; 5. Lagrange's reflections on the cubic equation
5.1. The cubic formula in terms of the roots5.2. A test case: The quartic; 6. Problems and questions; 7. Further reading; Lesson 9. The Search for Resolvents; 1. Coefficients and roots; 2. A unified approach to equations of all degrees; 2.1. A resolvent for the cubic equation; 3. A resolvent for the general quartic equation; 4. The state of polynomial algebra in 1770; 4.1. Seeking a resolvent for the quintic; 5. Permutations enter algebra; 6. Permutations of the variables in a function; 6.1.Two-valued functions; 7. Problems and questions; 8. Further reading; Part 4. Abstract Algebra
Lesson 10. Existence and Constructibility of Roots
Record Nr. UNINA-9910877703503321
Cooke Roger <1942->  
Hoboken, N.J., : Wiley-Interscience, c2008
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui