Cargando…
Function Algebras on Finite Sets Basic Course on Many-Valued Logic and Clone Theory /
Functions which are defined on finite sets occur in almost all fields of mathematics. For more than 80 years algebras whose universes are such functions (so-called function algebras), have been intensively studied. This book gives a broad introduction to the theory of function algebras and leads to...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Autor Corporativo: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2006.
|
| Edición: | 1st ed. 2006. |
| Colección: | Springer Monographs in Mathematics,
|
| Temas: | |
| Acceso en línea: | Texto Completo |
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-3-540-36023-0 | ||
| 003 | DE-He213 | ||
| 005 | 20220115061346.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 100301s2006 gw | s |||| 0|eng d | ||
| 020 | |a 9783540360230 |9 978-3-540-36023-0 | ||
| 024 | 7 | |a 10.1007/3-540-36023-9 |2 doi | |
| 050 | 4 | |a QA150-272 | |
| 072 | 7 | |a PBF |2 bicssc | |
| 072 | 7 | |a MAT002000 |2 bisacsh | |
| 072 | 7 | |a PBF |2 thema | |
| 082 | 0 | 4 | |a 512 |2 23 |
| 100 | 1 | |a Lau, Dietlinde. |e author. |4 aut |4 http://id.loc.gov/vocabulary/relators/aut | |
| 245 | 1 | 0 | |a Function Algebras on Finite Sets |h [electronic resource] : |b Basic Course on Many-Valued Logic and Clone Theory / |c by Dietlinde Lau. |
| 250 | |a 1st ed. 2006. | ||
| 264 | 1 | |a Berlin, Heidelberg : |b Springer Berlin Heidelberg : |b Imprint: Springer, |c 2006. | |
| 300 | |a XIV, 670 p. |b online resource. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Springer Monographs in Mathematics, |x 2196-9922 | |
| 505 | 0 | |a Preliminaries -- Preliminaries -- Universal Algebra -- Basic Concepts of Universal Algebra -- Lattices -- Hull Systems and Closure Operators -- Homomorphisms, Congruences, and Galois Connections -- Direct and Subdirect Products -- Varieties, Equational Classes, and Free Algebras -- Function Algebras -- Basic Concepts, Notations, and First Properties -- The Galois-Connection Between Function- and Relation-Algebras -- The Subclasses of P2 -- The Subclasses of Pk Which Contain Pk1 -- The Maximal Classes of Pk -- Rosenberg's Completeness Criterion for Pk -- Further Completeness Criteria -- Some Properties of the Lattice -- Congruences and Automorphisms on Function Algebras -- The Relation Degree and the Dimension of Subclasses of Pk -- On Generating Systems and Orders of the Subclasses of Pk -- Subclasses of Pk,2 -- Classes of Linear Functions -- Submaximal Classes of P3 -- Finite and Countably Infinite Sublattices of Depth 1 or 2 of -- The Maximal Classes of ?a?Q Polka for Q Ek -- Maximal Classes of PolkEl for 2 ? l < k -- Further Submaximal Classes of Pk -- Minimal Classes and Minimal Clones of Pk -- Partial Function Algebras. | |
| 520 | |a Functions which are defined on finite sets occur in almost all fields of mathematics. For more than 80 years algebras whose universes are such functions (so-called function algebras), have been intensively studied. This book gives a broad introduction to the theory of function algebras and leads to the cutting edge of research. To familiarize the reader from the very beginning on with the algebraic side of function algebras the more general concepts of the Universal Algebra is given in the first part of the book. The second part on fuction algebras covers the following topics: Galois-connection between function algebras and relation algebras, completeness criterions, clone theory. This book is an insdispensible source on function algebras for graduate students and researchers in mathematical logic and theoretical computer science. | ||
| 650 | 0 | |a Algebra. | |
| 650 | 0 | |a Mathematical logic. | |
| 650 | 0 | |a Computer arithmetic and logic units. | |
| 650 | 1 | 4 | |a Algebra. |
| 650 | 2 | 4 | |a Mathematical Logic and Foundations. |
| 650 | 2 | 4 | |a Arithmetic and Logic Structures. |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9783642071553 |
| 776 | 0 | 8 | |i Printed edition: |z 9783540826422 |
| 776 | 0 | 8 | |i Printed edition: |z 9783540360223 |
| 830 | 0 | |a Springer Monographs in Mathematics, |x 2196-9922 | |
| 856 | 4 | 0 | |u https://doi.uam.elogim.com/10.1007/3-540-36023-9 |z Texto Completo |
| 912 | |a ZDB-2-SMA | ||
| 912 | |a ZDB-2-SXMS | ||
| 950 | |a Mathematics and Statistics (SpringerNature-11649) | ||
| 950 | |a Mathematics and Statistics (R0) (SpringerNature-43713) | ||