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.
Advanced Topics in Relation Algebras : Relation Algebras, Volume 2 / / by Steven Givant
| 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 / / by Antonio Lloris Ruiz, Encarnación Castillo Morales, Luis Parrilla Roure, Antonio García Ríos
| Algebraic Circuits / / 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
| 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
| 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 / / by Todd Keene Timberlake, J. Wilson Mixon
| Classical Mechanics with Maxima / / 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 in 19th and 20th Century Mathematical Thinking / / edited by Ralf Krömer, Emmylou Haffner
| Duality in 19th and 20th Century Mathematical Thinking / / edited by Ralf Krömer, Emmylou Haffner |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Birkhäuser, , 2024 |
| Descrizione fisica | 1 online resource (962 pages) |
| Disciplina | 510.9034 |
| Collana | Science Networks. Historical Studies |
| Soggetto topico |
Mathematics
History Algebra, Homological Universal algebra History of Mathematical Sciences Category Theory, Homological Algebra General Algebraic Systems |
| ISBN | 3-031-59797-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Chapter 1. Ralf Krömer, Emmylou Haffner: Introduction -- Part I. The 19th century heritage -- Chapter 2. Michael Friedman: On “contour apparent”, “courbe de contact” and ramification curves: Duality between a principle and a tool -- Chapter 3. Juan Luis Gastaldi: De Morgan’s De Morgan’s Laws: Duality in the Emergence of Formal Logic -- Chapter 4. Dirk Schlimm: The emergence of duality in 19th-century algebra of logic -- Chapter 5. Emmylou Haffner: Duality as a guiding light in the genesis of Dedekind’s Dualgruppen -- Chapter 6. Erhard Scholz: From Grassmann complements to Hodge-duality -- Part II. From topology to groups -- Chapter 7. Stephan Oltmanns, Ralf Krömer, Klaus Volkert: Duality theorems in topology -- Chapter 8. Ralf Krömer: The historical development of Pontrjagin duality -- Chapter 9. Harald Kümmerle: Tannaka Tadao’s 1938 paper on the duality of noncommutative topological groups and its historical background -- Chapter 10. Christophe Eckes: Philosophical and mathematical duality in Albert Lautman’s work -- Part III. Functional analysis and related fields -- Chapter 11. Alessa Waldvogel: The development of dual spaces in functional analysis -- Chapter 12. Frédéric Jaëck: Duality in Banach’s 1929 work on functionals -- Chapter 13. Ralf Krömer: Marshall Stone and duality: from differential equations to Boolean algebras -- Chapter 14. Ralf Krömer: Duality à la Bourbaki -- Chapter 15. Jesper Lützen: Duality and Distributions: An Application of Topological Vector Spaces -- Part IV. The post-war outlook -- Chapter 16. Tinne Hoff Kjeldsen: From duality in mathematical programming to Fenchel duality and convex analysis: Duality as a force of inspiration in the creation of new mathematics -- Chapter 17. Jean-Pierre Marquis: An Historical Perspective on Duality and Category Theory -- List of abbreviations -- Bibliography -- Author index. |
| Record Nr. | UNINA-9910869169903321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Birkhäuser, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Duality theories for Boolean algebras with operators / / by Steven Givant
| 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
| 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 : Volume 1 / / by Rocco Chirivì, Ilaria Del Corso, Roberto Dvornicich
| Esercizi scelti di Algebra : 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
| 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 | ||
| ||
