Información del autor
Autor Givant, Steven |
Documentos disponibles escritos por este autor (3)
Crear una solicitud de compra Refinar búsqueda
Título : Advanced Topics in Relation Algebras : Relation Algebras, Volume 2 Tipo de documento: documento electrónico Autores: Givant, Steven, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XIX, 605 p. ISBN/ISSN/DL: 978-3-319-65945-9 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 universal Lógica Matemática y Fundamentos Sistemas algebraicos generales Clasificación: 511.3 Resumen: El segundo volumen de un par de libros que trazan álgebras de relación desde el nivel principiante hasta el experto, este texto lleva al lector bien informado a las fronteras de la investigación. Basándose en las bases establecidas en la Introducción a las álgebras de relación anterior, este volumen lleva al lector a los resultados matemáticos más profundos de las últimas décadas. Este material ofrece una preparación ideal para la investigación en álgebras de relación y álgebras de Boole con operadores. Organizado de manera modular, este texto ofrece la oportunidad de explorar cualquiera de varias áreas en detalle; los temas incluyen extensiones canónicas, compleciones, representaciones, variedades y estructuras atómicas. Cada capítulo ofrece un relato completo de una de esas vías de desarrollo, incluida una sección histórica y una cantidad sustancial de ejercicios. La claridad de la exposición y la naturaleza integral de cada módulo hacen de este un texto ideal para el lector independiente que ingresa al campo, mientras que los investigadores lo valorarán como una referencia para los años venideros. Este libro de texto en dos volúmenes, que recopila, selecciona e ilustra más de 75 años de progreso desde el trabajo seminal de Tarski en 1941, ofrece un tratamiento unificado y emblemático del campo cada vez más relevante de las álgebras de relación. Una prosa clara y perspicaz guía al lector a través de material que anteriormente solo estaba disponible en artículos de revistas dispersos y altamente técnicos. Tanto los estudiantes como los expertos apreciarán la obra como libro de texto y como referencia invaluable para la comunidad. Tenga en cuenta que este volumen contiene numerosas referencias esenciales al volumen anterior, Introducción a las álgebras de relación. Se recomienda encarecidamente al lector que obtenga al menos acceso electrónico al primer libro para poder utilizar el segundo. Nota de contenido: Preface -- Introduction -- 14. Canonical Extensions -- 15. Completions -- 16. Representations -- 17. Representation Theorems -- 18. Varieties of Relation Algebras -- 19. Atom Structures -- Epilogue -- References -- Index. . Tipo de medio : Computadora Summary : The second volume of a pair that charts relation algebras from novice to expert level, this text brings the well-grounded reader to the frontiers of research. Building on the foundations established in the preceding Introduction to Relation Algebras, this volume advances the reader into the deeper mathematical results of the past few decades. Such material offers an ideal preparation for research in relation algebras and Boolean algebras with operators. Arranged in a modular fashion, this text offers the opportunity to explore any of several areas in detail; topics include canonical extensions, completions, representations, varieties, and atom structures. Each chapter offers a complete account of one such avenue of development, including a historical section and substantial number of exercises. The clarity of exposition and comprehensive nature of each module make this an ideal text for the independent reader entering the field, while researchers will value it as a reference for years to come. Collecting, curating, and illuminating over 75 years of progress since Tarski's seminal work in 1941, this textbook in two volumes offers a landmark, unified treatment of the increasingly relevant field of relation algebras. Clear and insightful prose guides the reader through material previously only available in scattered, highly-technical journal articles. Students and experts alike will appreciate the work as both a textbook and invaluable reference for the community. Note that this volume contains numerous, essential references to the previous volume, Introduction to Relation Algebras. The reader is strongly encouraged to secure at least electronic access to the first book in order to make use of the second. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Advanced Topics in Relation Algebras : Relation Algebras, Volume 2 [documento electrónico] / Givant, Steven, . - 1 ed. . - [s.l.] : Springer, 2017 . - XIX, 605 p.
ISBN : 978-3-319-65945-9
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 universal Lógica Matemática y Fundamentos Sistemas algebraicos generales Clasificación: 511.3 Resumen: El segundo volumen de un par de libros que trazan álgebras de relación desde el nivel principiante hasta el experto, este texto lleva al lector bien informado a las fronteras de la investigación. Basándose en las bases establecidas en la Introducción a las álgebras de relación anterior, este volumen lleva al lector a los resultados matemáticos más profundos de las últimas décadas. Este material ofrece una preparación ideal para la investigación en álgebras de relación y álgebras de Boole con operadores. Organizado de manera modular, este texto ofrece la oportunidad de explorar cualquiera de varias áreas en detalle; los temas incluyen extensiones canónicas, compleciones, representaciones, variedades y estructuras atómicas. Cada capítulo ofrece un relato completo de una de esas vías de desarrollo, incluida una sección histórica y una cantidad sustancial de ejercicios. La claridad de la exposición y la naturaleza integral de cada módulo hacen de este un texto ideal para el lector independiente que ingresa al campo, mientras que los investigadores lo valorarán como una referencia para los años venideros. Este libro de texto en dos volúmenes, que recopila, selecciona e ilustra más de 75 años de progreso desde el trabajo seminal de Tarski en 1941, ofrece un tratamiento unificado y emblemático del campo cada vez más relevante de las álgebras de relación. Una prosa clara y perspicaz guía al lector a través de material que anteriormente solo estaba disponible en artículos de revistas dispersos y altamente técnicos. Tanto los estudiantes como los expertos apreciarán la obra como libro de texto y como referencia invaluable para la comunidad. Tenga en cuenta que este volumen contiene numerosas referencias esenciales al volumen anterior, Introducción a las álgebras de relación. Se recomienda encarecidamente al lector que obtenga al menos acceso electrónico al primer libro para poder utilizar el segundo. Nota de contenido: Preface -- Introduction -- 14. Canonical Extensions -- 15. Completions -- 16. Representations -- 17. Representation Theorems -- 18. Varieties of Relation Algebras -- 19. Atom Structures -- Epilogue -- References -- Index. . Tipo de medio : Computadora Summary : The second volume of a pair that charts relation algebras from novice to expert level, this text brings the well-grounded reader to the frontiers of research. Building on the foundations established in the preceding Introduction to Relation Algebras, this volume advances the reader into the deeper mathematical results of the past few decades. Such material offers an ideal preparation for research in relation algebras and Boolean algebras with operators. Arranged in a modular fashion, this text offers the opportunity to explore any of several areas in detail; topics include canonical extensions, completions, representations, varieties, and atom structures. Each chapter offers a complete account of one such avenue of development, including a historical section and substantial number of exercises. The clarity of exposition and comprehensive nature of each module make this an ideal text for the independent reader entering the field, while researchers will value it as a reference for years to come. Collecting, curating, and illuminating over 75 years of progress since Tarski's seminal work in 1941, this textbook in two volumes offers a landmark, unified treatment of the increasingly relevant field of relation algebras. Clear and insightful prose guides the reader through material previously only available in scattered, highly-technical journal articles. Students and experts alike will appreciate the work as both a textbook and invaluable reference for the community. Note that this volume contains numerous, essential references to the previous volume, Introduction to Relation Algebras. The reader is strongly encouraged to secure at least electronic access to the first book in order to make use of the second. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Título : Introduction to Relation Algebras : Relation Algebras, Volume 1 Tipo de documento: documento electrónico Autores: Givant, Steven, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XXXII, 572 p. 25 ilustraciones ISBN/ISSN/DL: 978-3-319-65235-1 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: álgebra universal Lógica Matemática y Fundamentos Sistemas algebraicos generales Lógica matemática Clasificación: 511.3 Resumen: Este texto, el primer volumen de un par que describe álgebras de relaciones desde el nivel principiante hasta el nivel experto, ofrece una base integral para lectores nuevos en el tema. Al completar esta introducción, los estudiantes de matemáticas pueden profundizar en áreas de investigación activa avanzando al segundo volumen, Temas avanzados en álgebras de relaciones; Los informáticos, filósofos y más estarán equipados para aplicar estas herramientas en su propio campo. La cuidadosa presentación establece primero la aritmética de las álgebras de relaciones, proporcionando amplia motivación y ejemplos, luego procede principalmente sobre la base de construcciones algebraicas: subálgebras, homomorfismos, álgebras de cocientes y productos directos. Cada capítulo termina con una sección histórica y un número sustancial de ejercicios. El único prerrequisito formal es tener experiencia en álgebra abstracta y cierta madurez matemática, aunque el lector también se beneficiará de la familiaridad con el álgebra booleana y la teoría ingenua de conjuntos. El ritmo mesurado y la claridad excepcional son particularmente adecuados para el estudio independiente y brindan una oportunidad incomparable de aprender de una de las principales autoridades en el campo. Recopilando, curando e iluminando más de 75 años de progreso desde el trabajo fundamental de Tarski en 1941, este libro de texto en dos volúmenes ofrece un tratamiento histórico y unificado del campo cada vez más relevante de las álgebras de relaciones. Una prosa clara y reveladora guía al lector a través de material que antes sólo estaba disponible en artículos de revistas dispersos y altamente técnicos. Tanto los estudiantes como los expertos apreciarán el trabajo como libro de texto y como referencia invaluable para la comunidad. Nota de contenido: Preface -- Introduction -- 1. The calculus of relations -- 2. Relation algebras -- 3. Examples of relation algebras -- 4. Arithmetic -- 5. Special elements -- 6. Subalgebras -- 7. Homomorphisms -- 8. Ideals and quotients -- 9. Simple algebras -- 10. Relativizations -- 11. Direct products -- 12. Subdirect products -- 13. Minimal relation algebras -- References -- Index. Tipo de medio : Computadora Summary : The first volume of a pair that charts relation algebras from novice to expert level, this text offers a comprehensive grounding for readers new to the topic. Upon completing this introduction, mathematics students may delve into areas of active research by progressing to the second volume, Advanced Topics in Relation Algebras; computer scientists, philosophers, and beyond will be equipped to apply these tools in their own field. The careful presentation establishes first the arithmetic of relation algebras, providing ample motivation and examples, then proceeds primarily on the basis of algebraic constructions: subalgebras, homomorphisms, quotient algebras, and direct products. Each chapter ends with a historical section and a substantial number of exercises. The only formal prerequisite is a background in abstract algebra and some mathematical maturity, though the reader will also benefit from familiarity with Boolean algebra and naïve set theory. The measured paceand outstanding clarity are particularly suited to independent study, and provide an unparalleled opportunity to learn from one of the leading authorities in the field. Collecting, curating, and illuminating over 75 years of progress since Tarski's seminal work in 1941, this textbook in two volumes offers a landmark, unified treatment of the increasingly relevant field of relation algebras. Clear and insightful prose guides the reader through material previously only available in scattered, highly-technical journal articles. Students and experts alike will appreciate the work as both a textbook and invaluable reference for the community. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Introduction to Relation Algebras : Relation Algebras, Volume 1 [documento electrónico] / Givant, Steven, . - 1 ed. . - [s.l.] : Springer, 2017 . - XXXII, 572 p. 25 ilustraciones.
ISBN : 978-3-319-65235-1
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: álgebra universal Lógica Matemática y Fundamentos Sistemas algebraicos generales Lógica matemática Clasificación: 511.3 Resumen: Este texto, el primer volumen de un par que describe álgebras de relaciones desde el nivel principiante hasta el nivel experto, ofrece una base integral para lectores nuevos en el tema. Al completar esta introducción, los estudiantes de matemáticas pueden profundizar en áreas de investigación activa avanzando al segundo volumen, Temas avanzados en álgebras de relaciones; Los informáticos, filósofos y más estarán equipados para aplicar estas herramientas en su propio campo. La cuidadosa presentación establece primero la aritmética de las álgebras de relaciones, proporcionando amplia motivación y ejemplos, luego procede principalmente sobre la base de construcciones algebraicas: subálgebras, homomorfismos, álgebras de cocientes y productos directos. Cada capítulo termina con una sección histórica y un número sustancial de ejercicios. El único prerrequisito formal es tener experiencia en álgebra abstracta y cierta madurez matemática, aunque el lector también se beneficiará de la familiaridad con el álgebra booleana y la teoría ingenua de conjuntos. El ritmo mesurado y la claridad excepcional son particularmente adecuados para el estudio independiente y brindan una oportunidad incomparable de aprender de una de las principales autoridades en el campo. Recopilando, curando e iluminando más de 75 años de progreso desde el trabajo fundamental de Tarski en 1941, este libro de texto en dos volúmenes ofrece un tratamiento histórico y unificado del campo cada vez más relevante de las álgebras de relaciones. Una prosa clara y reveladora guía al lector a través de material que antes sólo estaba disponible en artículos de revistas dispersos y altamente técnicos. Tanto los estudiantes como los expertos apreciarán el trabajo como libro de texto y como referencia invaluable para la comunidad. Nota de contenido: Preface -- Introduction -- 1. The calculus of relations -- 2. Relation algebras -- 3. Examples of relation algebras -- 4. Arithmetic -- 5. Special elements -- 6. Subalgebras -- 7. Homomorphisms -- 8. Ideals and quotients -- 9. Simple algebras -- 10. Relativizations -- 11. Direct products -- 12. Subdirect products -- 13. Minimal relation algebras -- References -- Index. Tipo de medio : Computadora Summary : The first volume of a pair that charts relation algebras from novice to expert level, this text offers a comprehensive grounding for readers new to the topic. Upon completing this introduction, mathematics students may delve into areas of active research by progressing to the second volume, Advanced Topics in Relation Algebras; computer scientists, philosophers, and beyond will be equipped to apply these tools in their own field. The careful presentation establishes first the arithmetic of relation algebras, providing ample motivation and examples, then proceeds primarily on the basis of algebraic constructions: subalgebras, homomorphisms, quotient algebras, and direct products. Each chapter ends with a historical section and a substantial number of exercises. The only formal prerequisite is a background in abstract algebra and some mathematical maturity, though the reader will also benefit from familiarity with Boolean algebra and naïve set theory. The measured paceand outstanding clarity are particularly suited to independent study, and provide an unparalleled opportunity to learn from one of the leading authorities in the field. Collecting, curating, and illuminating over 75 years of progress since Tarski's seminal work in 1941, this textbook in two volumes offers a landmark, unified treatment of the increasingly relevant field of relation algebras. Clear and insightful prose guides the reader through material previously only available in scattered, highly-technical journal articles. Students and experts alike will appreciate the work as both a textbook and invaluable reference for the community. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
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 [...]
