Advanced Topics in Relation Algebras : Relation Algebras, Volume 2 / / by Steven Givant |
Autore | Givant Steven |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XIX, 605 p.) |
Disciplina | 511.324 |
Soggetto topico |
Mathematical logic
Algebra Mathematical Logic and Foundations General Algebraic Systems |
ISBN | 3-319-65945-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface -- Introduction -- 14. Canonical Extensions -- 15. Completions -- 16. Representations -- 17. Representation Theorems -- 18. Varieties of Relation Algebras -- 19. Atom Structures -- Epilogue -- References -- Index. . |
Record Nr. | UNINA-9910254307303321 |
Givant Steven | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Algebraic Circuits [[electronic resource] /] / by Antonio Lloris Ruiz, Encarnación Castillo Morales, Luis Parrilla Roure, Antonio García Ríos |
Autore | Lloris Ruiz Antonio |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (413 p.) |
Disciplina | 512.3 |
Collana | Intelligent Systems Reference Library |
Soggetto topico |
Electronic circuits
Algebra Data structures (Computer science) Signal processing Image processing Speech processing systems Circuits and Systems General Algebraic Systems Data Structures and Information Theory Signal, Image and Speech Processing |
ISBN | 3-642-54649-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Number Systems -- Basic Arithmetic Circuits -- Residue Number Systems -- Basic algebraic circuits -- Galois Fields GF(2m) -- Galois Fields GF(pn) -- Two Galois fields cryptographic applications. |
Record Nr. | UNINA-9910299469103321 |
Lloris Ruiz Antonio | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Algebraic Methods in General Rough Sets / / edited by A. Mani, Gianpiero Cattaneo, Ivo Düntsch |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2018 |
Descrizione fisica | 1 online resource (XVI, 733 p. 120 illus., 4 illus. in color.) |
Disciplina | 512 |
Collana | Trends in Mathematics |
Soggetto topico |
Algebra
Mathematical logic Information theory General Algebraic Systems Mathematical Logic and Formal Languages Information and Communication, Circuits |
ISBN | 3-030-01162-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Algebraic Methods for Rough Approximation Spaces by Lattice Interior–Closure Operations -- Algebraic Methods for Granular Rough Sets -- Three Lessons on the Topological and Algebraic Hidden Core of Rough Set Theory -- Irredundant Coverings, Tolerances, and Related Algebras -- Algebraic Representation, Dualities and Beyond.-Algebraic Methods for Orthopairs and Induced Rough Approximation Spaces -- Rough Objects in Monoidal Closed Categories -- Rough Algebraic Structures Corresponding to Ring Theory -- S-approximation Spaces -- Index. |
Record Nr. | UNINA-9910309662803321 |
Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Arithmetic Geometry over Global Function Fields / / by Gebhard Böckle, David Burns, David Goss, Dinesh Thakur, Fabien Trihan, Douglas Ulmer ; edited by Francesc Bars, Ignazio Longhi, Fabien Trihan |
Autore | Böckle Gebhard |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Basel : , : Springer Basel : , : Imprint : Birkhäuser, , 2014 |
Descrizione fisica | 1 online resource (XIV, 337 p.) |
Disciplina | 512.7 |
Collana | Advanced Courses in Mathematics - CRM Barcelona |
Soggetto topico |
Number theory
Algebra Algebraic geometry Number Theory General Algebraic Systems Algebraic Geometry |
ISBN | 3-0348-0853-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Cohomological Theory of Crystals over Function Fields and Applications -- On Geometric Iwasawa Theory and Special Values of Zeta Functions -- The Ongoing Binomial Revolution -- Arithmetic of Gamma, Zeta and Multizeta Values for Function Fields -- Curves and Jacobians over Function Fields. |
Record Nr. | UNINA-9910299991003321 |
Böckle Gebhard | ||
Basel : , : Springer Basel : , : Imprint : Birkhäuser, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Classical Mechanics with Maxima [[electronic resource] /] / by Todd Keene Timberlake, J. Wilson Mixon |
Autore | Timberlake Todd Keene |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XI, 258 p. 156 illus.) |
Disciplina | 531.028553 |
Collana | Undergraduate Lecture Notes in Physics |
Soggetto topico |
Physics
Mathematical physics Mechanics Algebra Computer mathematics Mathematical Methods in Physics Mathematical Applications in the Physical Sciences Classical Mechanics General Algebraic Systems Computational Mathematics and Numerical Analysis |
ISBN | 1-4939-3207-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction to Maxima -- Numerical Methods -- Newton’s Laws of Motion -- Dynamics of Single Particles -- Oscillators -- Nonlinear Mechanics and Chaos. |
Record Nr. | UNINA-9910254643903321 |
Timberlake Todd Keene | ||
New York, NY : , : Springer New York : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Duality theories for Boolean algebras with operators / / by Steven Givant |
Autore | Givant Steven |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (246 p.) |
Disciplina | 511.324 |
Collana | Springer Monographs in Mathematics |
Soggetto topico |
Mathematical logic
Algebra Ordered algebraic structures Mathematical Logic and Foundations Order, Lattices, Ordered Algebraic Structures General Algebraic Systems |
ISBN | 3-319-06743-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Algebraic Duality -- 2. Topological Duality -- 3. Hybrid Duality. |
Record Nr. | UNINA-9910299993203321 |
Givant Steven | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Ernst Schröder on Algebra and Logic / / edited by Stephen Pollard |
Autore | Pollard Stephen |
Edizione | [1st ed. 2022.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
Descrizione fisica | 1 online resource (355 pages) |
Disciplina |
511.324
512 |
Collana | Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science |
Soggetto topico |
Logic
Mathematical logic Universal algebra Mathematics History Mathematics—Study and teaching Mathematical Logic and Foundations General Algebraic Systems History of Mathematical Sciences Mathematics Education |
ISBN |
9783031056710
9783031056703 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface -- 1) Introduction -- 2) Ernst Schröder's "Lehrbuch der Arithmetik und Algebra für Lehrer und Studirende" (1873) -- 3) Ernst Schröder's booklet "Der Operationskreis des Logikkalkuls (1877) -- 4) Ernst Schröder “Note über den Operationskreis des Logikcalculs” (1877) -- Bibliography -- Name/Subject Index . |
Record Nr. | UNINA-9910734862203321 |
Pollard Stephen | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Esercizi scelti di Algebra [[electronic resource] ] : Volume 1 / / by Rocco Chirivì, Ilaria Del Corso, Roberto Dvornicich |
Autore | Chirivì Rocco |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Milano : , : Springer Milan : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XII, 230 pagg. 1 figg.) |
Disciplina | 512.2 |
Collana | La Matematica per il 3+2 |
Soggetto topico |
Group theory
Combinatorics Number theory Mathematical optimization Algebra Group Theory and Generalizations Number Theory Discrete Optimization General Algebraic Systems |
ISBN | 88-470-3961-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Nota di contenuto | 1 Richiami di teoria -- 1.1 Nozioni fondamentali: Gli insiemi -- Le applicazioni -- Le relazioni -- Il principio di induzione -- Le operazioni -- I numeri -- 1.2 Combinatoria -- 1.3 I numeri interi: La divisibilità tra interi -- Le congruenze -- L'aritmetica modulare -- 1.4 I gruppi: Definizione e prime proprietà. – Sottogruppi -- Prodotto di sottogruppi -- Classi laterali di un sottogruppo -- Sottogruppi normali -- Il gruppo simmetrico -- Omomorfismi di gruppi -- Prodotto diretto di gruppi -- 1.5 Gli anelli: Definizione e prime proprietà -- Sottoanelli, ideali e quozienti -- Anelli di polinomi -- Divisibilità tra polinomi -- Fattorizzazione di polinomi -- Quozienti di anelli di polinomi -- 1.6 I campi: Caratteristica di un campo -- Gruppo moltiplicativo -- Estensioni di campi -- Campo di spezzamento -- Campi -- 1.7 Esercizi Preliminari -- 2 Esercizi: 2.1 Successioni -- 2.2 Combinatoria -- 2.3 Congruenze -- 2.4 Gruppi.-2.5 Anelli e Campi -- 3 Soluzioni: 3.1 Successioni -- 3.2 Combinatoria -- 3.3 Congruenze -- 3.4 Gruppi -- 3.5 Anelli e Campi. |
Record Nr. | UNINA-9910392729803321 |
Chirivì Rocco | ||
Milano : , : Springer Milan : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
An Excursion through Elementary Mathematics, Volume I : Real Numbers and Functions / / by Antonio Caminha Muniz Neto |
Autore | Caminha Muniz Neto Antonio |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XIII, 652 p. 73 illus.) |
Disciplina | 512.786 |
Collana | Problem Books in Mathematics |
Soggetto topico |
Functions of real variables
Algebra Matrix theory Real Functions General Algebraic Systems Linear and Multilinear Algebras, Matrix Theory |
ISBN | 3-319-53871-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Chapter 1 The Set of Real Numbers -- Chapter 2 Algebraic Identities, Equations and Systems -- Chapter 3 Elementary Sequences -- Chapter 4 Induction and the Binomial Formula -- Chapter 5 Elementary Inequalities -- Chapter 6 The Concept of Function -- Chapter 7 More on Real Numbers -- Chapter 8 Continuous Functions -- Chapter 9 Limits and Derivatives -- Chapter 10 Riemann’s Integral -- Chapter 11 Series of Functions -- Bibliography -- Appendix A Glossary -- Appendix B Hints and Solutions. |
Record Nr. | UNINA-9910254309103321 |
Caminha Muniz Neto Antonio | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
From Groups to Categorial Algebra : Introduction to Protomodular and Mal’tsev Categories / / by Dominique Bourn |
Autore | Bourn Dominique |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2017 |
Descrizione fisica | 1 online resource (XII, 106 p.) |
Disciplina | 512.2 |
Collana | Compact Textbooks in Mathematics |
Soggetto topico |
Algebra
Category theory (Mathematics) Homological algebra General Algebraic Systems Category Theory, Homological Algebra |
ISBN | 3-319-57219-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Basic concepts in category theory -- Internal structures -- Four basic facts in Algebra -- Unital and protomodular categories -- Regular and homological categories -- Linear and additive categories -- Mal’tsev, naturally Mal’tsev categories. |
Record Nr. | UNINA-9910254278803321 |
Bourn Dominique | ||
Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|