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.
Applied abstract algebra / Rudolf Lidl, Günter Pilz
| Applied abstract algebra / Rudolf Lidl, Günter Pilz |
| Autore | Lidl, Rudolf |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | New York, : Springer, 1998 |
| Descrizione fisica | XVI, 486 p. : ill. ; 24 cm |
| Altri autori (Persone) | Pilz, Günter |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
20-XX - Group theory and generalizations [MSC 2020] 13-XX - Commutative algebra [MSC 2020] 16-XX - Associative rings and algebras [MSC 2020] 12-XX - Field theory and polynomials [MSC 2020] 05-XX - Combinatorics [MSC 2020] 06-XX - Order, lattices, ordered algebraic structures [MSC 2020] 08-XX - General algebraic systems [MSC 2020] 93-XX - Systems theory; control [MSC 2020] |
| Soggetto non controllato |
Abstract algebra
Algebra Applied Mathematics Boolean algebra Developments Discrete mathematics Finite fields Homomorphism Knowledge Matrices Matrix Polynomials Semigroups Tools |
| ISBN |
03-87982-90-6
978-03-87982-90-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0030100 |
Lidl, Rudolf
|
||
| New York, : Springer, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Applied abstract algebra / Rudolf Lidl, Günter Pilz
| Applied abstract algebra / Rudolf Lidl, Günter Pilz |
| Autore | Lidl, Rudolf |
| Pubbl/distr/stampa | New York, : Springer, 1984 |
| Descrizione fisica | xviii, 547 p. : ill. ; 24 cm |
| Altri autori (Persone) | Pilz, Günter |
| Soggetto topico |
13-XX - Commutative algebra [MSC 2020]
05-XX - Combinatorics [MSC 2020] 06-XX - Order, lattices, ordered algebraic structures [MSC 2020] 15-XX - Linear and multilinear algebra; matrix theory [MSC 2020] 08-XX - General algebraic systems [MSC 2020] 20B25 - Finite automorphism groups of algebraic, geometric, or combinatorial structures [MSC 2020] 05Bxx - Designs and configurations [MSC 2020] 94A24 - Coding theorems (Shannon theory) [MSC 2020] 94Cxx - Circuits, networks [MSC 2020] 20M35 - Semigroups in automata theory, linguistics, etc. [MSC 2020] |
| Soggetto non controllato |
Abstract algebra
Algebra Applied Mathematics Boolean algebra Developments Discrete mathematics Finite fields Homomorphism Knowledge Matrices Matrix Polynomials Semigroups Tools |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268645 |
|
Lidl, Rudolf
|
||
| New York, : Springer, 1984 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Around Classification Theory of Models / Saharon Shelah
| Around Classification Theory of Models / Saharon Shelah |
| Autore | Shelah, Saharon |
| Pubbl/distr/stampa | Berlin, : Springer, 1986 |
| Descrizione fisica | vii, 282 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03E35 - Consistency and independence results [MSC 2020] 03C45 - Classification theory, stability and related concepts in model theory [MSC 2020] 03E05 - Other combinatorial set theory [MSC 2020] |
| Soggetto non controllato |
Abelian groups
Algebra Boolean algebra Boundary Element Methods Classification Coding Finite Sets Topology eXist |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0263687 |
|
Shelah, Saharon
|
||
| Berlin, : Springer, 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Cardinal invariants on boolean algebras / J. Donald Monk
| Cardinal invariants on boolean algebras / J. Donald Monk |
| Autore | Monk, James D. |
| Edizione | [2. rev. ed] |
| Pubbl/distr/stampa | Basel, : Birkhäuser, : Springer, 2014 |
| Descrizione fisica | VII, 573 p. : ill. ; 24 cm |
| Soggetto topico |
03Exx - Set theory [MSC 2020]
54A25 - Cardinality properties (cardinal functions and inequalities, discrete subsets) [MSC 2020] 06Exx - Boolean algebras (Boolean rings) [MSC 2020] 03G05 - Logical aspects of Boolean algebras [MSC 2020] 03E10 - Ordinal and cardinal numbers [MSC 2020] |
| Soggetto non controllato |
Boolean algebra
Cardinal functions Cellularity Independence Reaping number |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0103083 |
|
Monk, James D.
|
||
| Basel, : Birkhäuser, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Coalgebraic Methods in Computer Science : 15. IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020, Proceedings / Daniela Petrişan, Jurriaan Rot editors
| Coalgebraic Methods in Computer Science : 15. IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020, Proceedings / Daniela Petrişan, Jurriaan Rot editors |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | xv, 201 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] 68Q65 - Abstract data types; algebraic specification [MSC 2020] |
| Soggetto non controllato |
Artificial Intelligence
Boolean algebra Boolean functions Coalgebra Computer programming Computer vision Databases Dynamical systems Formal logic Functors Game Theory Image processing Mathematics Matrix algebra Semantical models Semantics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0248772 |
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Duality theories for boolean algebras with operators / Steven Givant
| Duality theories for boolean algebras with operators / Steven Givant |
| Autore | Givant, Steven R. |
| Pubbl/distr/stampa | Cham, : Springer, 2014 |
| Descrizione fisica | XIV, 233 p. ; 24 cm |
| Soggetto topico |
18-XX - Category theory; homological algebra [MSC 2020]
03Bxx - General logic [MSC 2020] 03Gxx - Algebraic logic [MSC 2020] 06Exx - Boolean algebras (Boolean rings) [MSC 2020] |
| Soggetto non controllato |
Algebraic duality
Boolean algebra Hybrid duality Relational Structure Topological duality Weak compactifications |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0103469 |
|
Givant, Steven R.
|
||
| Cham, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Information and Reflection : On some Problems of Cybernetics and how Contemporary Dialectical Materialism Copes with Them / Peter Paul Kirschenmann ; Translated from the German by T. J. Blakeley
| Information and Reflection : On some Problems of Cybernetics and how Contemporary Dialectical Materialism Copes with Them / Peter Paul Kirschenmann ; Translated from the German by T. J. Blakeley |
| Autore | Kirschenmann, Peter P. |
| Pubbl/distr/stampa | Dordrecht, : D. Reidel ; New York, : Humanities press, 1970 |
| Descrizione fisica | xv, 225 p. : ill. ; 24 cm |
| Soggetto topico | 93-XX - Systems theory; control [MSC 2020] |
| Soggetto non controllato |
Boolean algebra
Calculus Communication Complexity Cybernetics Entropy Information Theory Perception Systems |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0266065 |
|
Kirschenmann, Peter P.
|
||
| Dordrecht, : D. Reidel ; New York, : Humanities press, 1970 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Introduction to Discrete Mathematics via Logic and Proof / Calvin Jongsma
| Introduction to Discrete Mathematics via Logic and Proof / Calvin Jongsma |
| Autore | Jongsma, Calvin |
| Pubbl/distr/stampa | Cham, : Springer, 2019 |
| Descrizione fisica | xx, 482 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
05-XX - Combinatorics [MSC 2020] 06-XX - Order, lattices, ordered algebraic structures [MSC 2020] 05Cxx - Graph theory [MSC 2020] 03E20 - Other classical set theory (including functions, relations, and set algebra) [MSC 2020] 03Bxx - General logic [MSC 2020] 06E30 - Boolean functions [MSC 2020] |
| Soggetto non controllato |
Boolean algebra
Mathematical induction Peano arithmetic Predicate logic Propositional logic Sentential logic Set Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0126931 |
|
Jongsma, Calvin
|
||
| Cham, : Springer, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Kinetic Logic: A Boolean Approach to the Analysis of Complex Regulatory Systems : Proceedings of the EMBO Course “Formal Analysis of Genetic Regulation”, Held in Brussels, September 6–16, 1977 / edited by R. Thomas
| Kinetic Logic: A Boolean Approach to the Analysis of Complex Regulatory Systems : Proceedings of the EMBO Course “Formal Analysis of Genetic Regulation”, Held in Brussels, September 6–16, 1977 / edited by R. Thomas |
| Pubbl/distr/stampa | Berlin, : Springer, 1979 |
| Descrizione fisica | xiii, 510 p. ; 24 cm |
| Soggetto topico |
94-XX - Information and communication theory, circuits [MSC 2020]
92B05 - General biology and biomathematics [MSC 2020] 92-XX - Biology and other natural sciences [MSC 2020] 00Bxx - Conference proceedings and collections of articles [MSC 2020] 92D10 - Genetics and epigenetics [MSC 2020] |
| Soggetto non controllato |
Boolean algebra
Calculation Equations Finite Logic Molecular Biology Regulation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0261321 |
| Berlin, : Springer, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Lectures on Boolean Algebras / Paul R. Halmos
| Lectures on Boolean Algebras / Paul R. Halmos |
| Autore | Halmos, Paul R. |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1974 |
| Descrizione fisica | viii, 148 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
06-XX - Order, lattices, ordered algebraic structures [MSC 2020] 06E05 - Structure theory of Boolean algebras [MSC 2020] 03G05 - Logical aspects of Boolean algebras [MSC 2020] |
| Soggetto non controllato |
Algebra
Boolean algebra Boundary Element Methods Duality Factor Finite Homomorphism Measure Morphism Presentation Sets Volume |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0267792 |
|
Halmos, Paul R.
|
||
| New York, : Springer-Verlag, 1974 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
