| Título : |
Simple Relation Algebras |
| Tipo de documento: |
documento electrónico |
| Autores: |
Givant, Steven, ; Andréka, Hajnal, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2017 |
| Número de páginas: |
XXIV, 622 p. 52 ilustraciones, 35 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-3-319-67696-8 |
| Nota general: |
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |
| Idioma : |
Inglés (eng) |
| Palabras clave: |
Lógica matemática Álgebra Lógica Matemática y Fundamentos |
| Clasificación: |
511.3 |
| Resumen: |
Esta monografía detalla varios métodos diferentes para construir álgebras de relaciones simples, muchos de los cuales son nuevos en este libro. Al reunir estos métodos aparentemente diferentes, se demuestra que todos son aspectos de un enfoque general, para el cual se dan varias aplicaciones. Estas herramientas para construir y analizar álgebras de relaciones son de particular interés para los matemáticos que trabajan en lógica, lógica algebraica o álgebra universal, pero también atraerán a filósofos e informáticos teóricos que trabajan en campos que utilizan las matemáticas. El libro está escrito pensando en un público amplio y presenta un enfoque pedagógico cuidadoso; un apéndice contiene el material básico necesario sobre álgebras de relaciones. Más de 400 ejercicios brindan amplias oportunidades para interactuar con el material, lo que hace que esta monografía sea igualmente apropiada para usar en un curso de temas especiales o para estudio independiente. Los lectores interesados en realizar un estudio amplio de los antecedentes de las álgebras de relaciones encontrarán un tratamiento integral en el libro de texto del autor Steven Givant, Introducción a las álgebras de relaciones (Springer, 2017). |
| Nota de contenido: |
Preface -- 1. Rectangular Semiproducts -- 2. Equivalence Semiproducts -- 3. Diagonal Semiproducts -- 4. Semipowers -- 5. Simple Closures -- 6. Quasi-bijective Relation Algebras -- 7. Quotient Relations Algebras and Equijections -- 8. Quotient Semiproducts -- 9. Group and Geometric Quotient Semiproducts -- 10. Insertion Semiproducts -- 11. Two-quasi-bijective Relation Algebras -- A. Relation Algebras -- B. Geometry -- C. Selected Hints to Exercises -- References. |
| Tipo de medio : |
Computadora |
| Summary : |
This monograph details several different methods for constructing simple relation algebras, many of which are new with this book. By drawing these seemingly different methods together, all are shown to be aspects of one general approach, for which several applications are given. These tools for constructing and analyzing relation algebras are of particular interest to mathematicians working in logic, algebraic logic, or universal algebra, but will also appeal to philosophers and theoretical computer scientists working in fields that use mathematics. The book is written with a broad audience in mind and features a careful, pedagogical approach; an appendix contains the requisite background material in relation algebras. Over 400 exercises provide ample opportunities to engage with the material, making this a monograph equally appropriate for use in a special topics course or for independent study. Readers interested in pursuing an extended background study of relation algebras will find a comprehensive treatment in author Steven Givant's textbook, Introduction to Relation Algebras (Springer, 2017). |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
Simple Relation Algebras [documento electrónico] / Givant, Steven, ; Andréka, Hajnal, . - 1 ed. . - [s.l.] : Springer, 2017 . - XXIV, 622 p. 52 ilustraciones, 35 ilustraciones en color. ISBN : 978-3-319-67696-8 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés ( eng)
| Palabras clave: |
Lógica matemática Álgebra Lógica Matemática y Fundamentos |
| Clasificación: |
511.3 |
| Resumen: |
Esta monografía detalla varios métodos diferentes para construir álgebras de relaciones simples, muchos de los cuales son nuevos en este libro. Al reunir estos métodos aparentemente diferentes, se demuestra que todos son aspectos de un enfoque general, para el cual se dan varias aplicaciones. Estas herramientas para construir y analizar álgebras de relaciones son de particular interés para los matemáticos que trabajan en lógica, lógica algebraica o álgebra universal, pero también atraerán a filósofos e informáticos teóricos que trabajan en campos que utilizan las matemáticas. El libro está escrito pensando en un público amplio y presenta un enfoque pedagógico cuidadoso; un apéndice contiene el material básico necesario sobre álgebras de relaciones. Más de 400 ejercicios brindan amplias oportunidades para interactuar con el material, lo que hace que esta monografía sea igualmente apropiada para usar en un curso de temas especiales o para estudio independiente. Los lectores interesados en realizar un estudio amplio de los antecedentes de las álgebras de relaciones encontrarán un tratamiento integral en el libro de texto del autor Steven Givant, Introducción a las álgebras de relaciones (Springer, 2017). |
| Nota de contenido: |
Preface -- 1. Rectangular Semiproducts -- 2. Equivalence Semiproducts -- 3. Diagonal Semiproducts -- 4. Semipowers -- 5. Simple Closures -- 6. Quasi-bijective Relation Algebras -- 7. Quotient Relations Algebras and Equijections -- 8. Quotient Semiproducts -- 9. Group and Geometric Quotient Semiproducts -- 10. Insertion Semiproducts -- 11. Two-quasi-bijective Relation Algebras -- A. Relation Algebras -- B. Geometry -- C. Selected Hints to Exercises -- References. |
| Tipo de medio : |
Computadora |
| Summary : |
This monograph details several different methods for constructing simple relation algebras, many of which are new with this book. By drawing these seemingly different methods together, all are shown to be aspects of one general approach, for which several applications are given. These tools for constructing and analyzing relation algebras are of particular interest to mathematicians working in logic, algebraic logic, or universal algebra, but will also appeal to philosophers and theoretical computer scientists working in fields that use mathematics. The book is written with a broad audience in mind and features a careful, pedagogical approach; an appendix contains the requisite background material in relation algebras. Over 400 exercises provide ample opportunities to engage with the material, making this a monograph equally appropriate for use in a special topics course or for independent study. Readers interested in pursuing an extended background study of relation algebras will find a comprehensive treatment in author Steven Givant's textbook, Introduction to Relation Algebras (Springer, 2017). |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
|  |
Crear una solicitud de compra Refinar búsqueda
