Información de la indexación
511 Documentos en la biblioteca con la clasificación 511.3 (47)
Crear una solicitud de compra Refinar búsqueda23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / Goubault-Larrecq, Jean ; König, Barbara
TÃtulo : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings Tipo de documento: documento electrónico Autores: Goubault-Larrecq, Jean, ; König, Barbara, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XV, 644 p. 1 ilustraciones ISBN/ISSN/DL: 978-3-030-45231-5 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 Informática Matemáticas discretas Compiladores (programas informáticos) Programación de computadoras Programación lógica IngenierÃa Informática Red de computadoras Lógica Matemática y Fundamentos Matemáticas discretas en informática Compiladores e intérpretes Técnicas de programación Lógica en IA IngenierÃa Informática y Redes Clasificación: 511.3 Resumen: Este libro de acceso abierto constituye las actas de la 23.ª Conferencia Internacional sobre Fundamentos de la Ciencia del Software y Estructuras Computacionales, FOSSACS 2020, que tuvo lugar en DublÃn, Irlanda, en abril de 2020, y se celebró como parte de las Conferencias Conjuntas Europeas sobre TeorÃa y Práctica. of Software, ETAPS 2020. Los 31 artÃculos regulares presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 98 presentaciones. Los artÃculos cubren temas como lógica y modelos categóricos; teorÃa del lenguaje, autómatas y juegos; lógicas modales, espaciales y temporales; teorÃa de tipos y teorÃa de la prueba; teorÃa de concurrencia y cálculo de procesos; reescribir la teorÃa; semántica de lenguajes de programación; análisis, corrección, transformación y verificación de programas; lógicas de programación; especificación y refinamiento del software; modelos de sistemas concurrentes, reactivos, estocásticos, distribuidos, hÃbridos y móviles; modelos emergentes de computación; aspectos lógicos de la complejidad computacional; modelos de seguridad del software; y fundamentos lógicos de las bases de datos. Tipo de medio : Computadora Summary : This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions. The papers cover topics such as categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; modelsof software security; and logical foundations of data bases. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings [documento electrónico] / Goubault-Larrecq, Jean, ; König, Barbara, . - 1 ed. . - [s.l.] : Springer, 2020 . - XV, 644 p. 1 ilustraciones.
ISBN : 978-3-030-45231-5
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 Informática Matemáticas discretas Compiladores (programas informáticos) Programación de computadoras Programación lógica IngenierÃa Informática Red de computadoras Lógica Matemática y Fundamentos Matemáticas discretas en informática Compiladores e intérpretes Técnicas de programación Lógica en IA IngenierÃa Informática y Redes Clasificación: 511.3 Resumen: Este libro de acceso abierto constituye las actas de la 23.ª Conferencia Internacional sobre Fundamentos de la Ciencia del Software y Estructuras Computacionales, FOSSACS 2020, que tuvo lugar en DublÃn, Irlanda, en abril de 2020, y se celebró como parte de las Conferencias Conjuntas Europeas sobre TeorÃa y Práctica. of Software, ETAPS 2020. Los 31 artÃculos regulares presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 98 presentaciones. Los artÃculos cubren temas como lógica y modelos categóricos; teorÃa del lenguaje, autómatas y juegos; lógicas modales, espaciales y temporales; teorÃa de tipos y teorÃa de la prueba; teorÃa de concurrencia y cálculo de procesos; reescribir la teorÃa; semántica de lenguajes de programación; análisis, corrección, transformación y verificación de programas; lógicas de programación; especificación y refinamiento del software; modelos de sistemas concurrentes, reactivos, estocásticos, distribuidos, hÃbridos y móviles; modelos emergentes de computación; aspectos lógicos de la complejidad computacional; modelos de seguridad del software; y fundamentos lógicos de las bases de datos. Tipo de medio : Computadora Summary : This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions. The papers cover topics such as categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; modelsof software security; and logical foundations of data bases. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings Tipo de documento: documento electrónico Autores: Blackburn, Patrick, ; Lorini, Emiliano, ; Guo, Meiyun, Mención de edición: 1 ed. Editorial: Berlin [Alemania] : Springer Fecha de publicación: 2019 Número de páginas: XXI, 441 p. 794 ilustraciones, 5 ilustraciones en color. ISBN/ISSN/DL: 978-3-662-60292-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 TeorÃa de las máquinas Programación lógica Compiladores (programas informáticos) Ciencias sociales Lógica Matemática y Fundamentos Lenguajes formales y teorÃa de los autómatas Lógica en IA Compiladores e intérpretes Aplicación informática en ciencias sociales y del comportamiento. Clasificación: 511.3 Resumen: Este libro LNCS es parte de la serie de libros FOLLI y constituye las actas del Séptimo Taller Internacional sobre Lógica, Racionalidad e Interacción, LORI 2019, celebrado en Chongqing, China, en octubre de 2019. Los 31 artÃculos presentados en este libro fueron revisados ​​cuidadosamente. y seleccionado entre 56 presentaciones. Se centran en los siguientes temas: agencia; argumentación y acuerdo; revisión de creencias y fusión de creencias; representación de creencias; cooperación; toma de decisiones y planificación; lenguaje natural; filosofÃa y lógica filosófica; y razonamiento estratégico. Nota de contenido: On the Right Path: A Modal Logic for Supervised Learning -- Elementary Iterated Revision and the Levi Identity -- Undefinability in inquisitive logic with tensor -- Minimal-change counterfactuals in intuitionistic logic -- Consolidation of Belief in Two Logics of Evidence -- From Classical to Non-Monotonic Deontic Logic using ASPIC+ -- A discrete representation of lattice frames -- Group Announcement Logic with Distributed Knowledge -- Towards a Logic for Conditional Local Strategic Reasoning -- Multi-agent knowing how via multi-step plans: a dynamic epistemic planning based approach -- The sequent systems and algebraic semantics of intuitionistic tense logics -- Weakly Aggregative Modal Logic: Characterization and Interpolation -- Dynamic Term-Modal Logic for Epistemic Social Network Dynamics -- Analyzing Echo Chambers: A Logic of Strong and Weak Ties -- Public Group Announcements and Trust in Doxastic Logic -- Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes -- Improving JudgmentReliability in Social Networks via Jury Theorems -- Term-Sequence-Modal Logics -- A Logical and Empirical Study of Counterfactuals with Nested Consequence -- First Degree Entailment with group attitudes and information updates -- Knowledge in Topological Argumentation Models -- Towards a logical formalisation of Theory of Mind: a study on False Belief Tasks -- A Two-layer Partition Awareness Structure -- First-Order Intuitionistic Epistemic Logic -- A Neutral Temporal Deontic STIT Logic -- Evaluating Networks of Arguments: A Case Study in Mimamsa Dialectics -- Who Should Be My Friends? Social Balance from the Perspective of Game Theory -- Epistemic Logic with Partial Dependency Operator -- Knowledge-now and Knowledge-all -- A Logic of Knowing How with Skippable Plans -- A Dynamic Hybrid Logic for Followership. Tipo de medio : Computadora Summary : This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, held in Chongqing, China, in October 2019. The 31 papers presented in this book were carefully reviewed and selected from 56 submissions. They focus on the following topics: agency; argumentation and agreement; belief revision and belief merging; belief representation; cooperation; decision making and planning; natural language; philosophy and philosophical logic; and strategic reasoning. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings [documento electrónico] / Blackburn, Patrick, ; Lorini, Emiliano, ; Guo, Meiyun, . - 1 ed. . - Berlin [Alemania] : Springer, 2019 . - XXI, 441 p. 794 ilustraciones, 5 ilustraciones en color.
ISBN : 978-3-662-60292-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 TeorÃa de las máquinas Programación lógica Compiladores (programas informáticos) Ciencias sociales Lógica Matemática y Fundamentos Lenguajes formales y teorÃa de los autómatas Lógica en IA Compiladores e intérpretes Aplicación informática en ciencias sociales y del comportamiento. Clasificación: 511.3 Resumen: Este libro LNCS es parte de la serie de libros FOLLI y constituye las actas del Séptimo Taller Internacional sobre Lógica, Racionalidad e Interacción, LORI 2019, celebrado en Chongqing, China, en octubre de 2019. Los 31 artÃculos presentados en este libro fueron revisados ​​cuidadosamente. y seleccionado entre 56 presentaciones. Se centran en los siguientes temas: agencia; argumentación y acuerdo; revisión de creencias y fusión de creencias; representación de creencias; cooperación; toma de decisiones y planificación; lenguaje natural; filosofÃa y lógica filosófica; y razonamiento estratégico. Nota de contenido: On the Right Path: A Modal Logic for Supervised Learning -- Elementary Iterated Revision and the Levi Identity -- Undefinability in inquisitive logic with tensor -- Minimal-change counterfactuals in intuitionistic logic -- Consolidation of Belief in Two Logics of Evidence -- From Classical to Non-Monotonic Deontic Logic using ASPIC+ -- A discrete representation of lattice frames -- Group Announcement Logic with Distributed Knowledge -- Towards a Logic for Conditional Local Strategic Reasoning -- Multi-agent knowing how via multi-step plans: a dynamic epistemic planning based approach -- The sequent systems and algebraic semantics of intuitionistic tense logics -- Weakly Aggregative Modal Logic: Characterization and Interpolation -- Dynamic Term-Modal Logic for Epistemic Social Network Dynamics -- Analyzing Echo Chambers: A Logic of Strong and Weak Ties -- Public Group Announcements and Trust in Doxastic Logic -- Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes -- Improving JudgmentReliability in Social Networks via Jury Theorems -- Term-Sequence-Modal Logics -- A Logical and Empirical Study of Counterfactuals with Nested Consequence -- First Degree Entailment with group attitudes and information updates -- Knowledge in Topological Argumentation Models -- Towards a logical formalisation of Theory of Mind: a study on False Belief Tasks -- A Two-layer Partition Awareness Structure -- First-Order Intuitionistic Epistemic Logic -- A Neutral Temporal Deontic STIT Logic -- Evaluating Networks of Arguments: A Case Study in Mimamsa Dialectics -- Who Should Be My Friends? Social Balance from the Perspective of Game Theory -- Epistemic Logic with Partial Dependency Operator -- Knowledge-now and Knowledge-all -- A Logic of Knowing How with Skippable Plans -- A Dynamic Hybrid Logic for Followership. Tipo de medio : Computadora Summary : This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, held in Chongqing, China, in October 2019. The 31 papers presented in this book were carefully reviewed and selected from 56 submissions. They focus on the following topics: agency; argumentation and agreement; belief revision and belief merging; belief representation; cooperation; decision making and planning; natural language; philosophy and philosophical logic; and strategic reasoning. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : A Course on Basic Model Theory Tipo de documento: documento electrónico Autores: Sarbadhikari, Haimanti, ; Srivastava, Shashi Mohan, Mención de edición: 1 ed. Editorial: Singapore [Malasya] : Springer Fecha de publicación: 2017 Número de páginas: XIX, 291 p. ISBN/ISSN/DL: 978-981-10-5098-5 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 geometrÃa algebraica TeorÃa de los números Lógica Matemática y Fundamentos Clasificación: 511.3 Resumen: Este libro autónomo es una exposición de las ideas fundamentales de la teorÃa de modelos. Presenta los conocimientos necesarios sobre lógica, teorÃa de conjuntos y otros temas de matemáticas. Sólo se requiere cierto grado de madurez matemática y voluntad de asimilar ideas de diversas áreas. El libro se puede utilizar tanto para la enseñanza como para el autoestudio, idealmente durante dos semestres. Está dirigido principalmente a estudiantes graduados en lógica matemática que quieran especializarse en teorÃa de modelos. Sin embargo, los dos primeros capÃtulos constituyen la primera introducción al tema y pueden cubrirse en un curso de un semestre para estudiantes universitarios de último año en lógica matemática. El libro también es adecuado para investigadores que deseen utilizar la teorÃa de modelos en su trabajo. Nota de contenido: Chapter 1. Basic Introductory Concepts -- Chapter 2. Basic Introductory Results -- Chapter 3. Spaces of Types -- Chapter 4. Good Structures and Good Theories -- Chapter 5. Morley Categoricity Theorem and Forking Independence -- Chapter 6. Model Theory of Valued Fields. Tipo de medio : Computadora Summary : This self-contained book is an exposition of the fundamental ideas of model theory. It presents the necessary background from logic, set theory and other topics of mathematics. Only some degree of mathematical maturity and willingness to assimilate ideas from diverse areas are required. The book can be used for both teaching and self-study, ideally over two semesters. It is primarily aimed at graduate students in mathematical logic who want to specialise in model theory. However, the first two chapters constitute the first introduction to the subject and can be covered in one-semester course to senior undergraduate students in mathematical logic. The book is also suitable for researchers who wish to use model theory in their work. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] A Course on Basic Model Theory [documento electrónico] / Sarbadhikari, Haimanti, ; Srivastava, Shashi Mohan, . - 1 ed. . - Singapore [Malasya] : Springer, 2017 . - XIX, 291 p.
ISBN : 978-981-10-5098-5
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 geometrÃa algebraica TeorÃa de los números Lógica Matemática y Fundamentos Clasificación: 511.3 Resumen: Este libro autónomo es una exposición de las ideas fundamentales de la teorÃa de modelos. Presenta los conocimientos necesarios sobre lógica, teorÃa de conjuntos y otros temas de matemáticas. Sólo se requiere cierto grado de madurez matemática y voluntad de asimilar ideas de diversas áreas. El libro se puede utilizar tanto para la enseñanza como para el autoestudio, idealmente durante dos semestres. Está dirigido principalmente a estudiantes graduados en lógica matemática que quieran especializarse en teorÃa de modelos. Sin embargo, los dos primeros capÃtulos constituyen la primera introducción al tema y pueden cubrirse en un curso de un semestre para estudiantes universitarios de último año en lógica matemática. El libro también es adecuado para investigadores que deseen utilizar la teorÃa de modelos en su trabajo. Nota de contenido: Chapter 1. Basic Introductory Concepts -- Chapter 2. Basic Introductory Results -- Chapter 3. Spaces of Types -- Chapter 4. Good Structures and Good Theories -- Chapter 5. Morley Categoricity Theorem and Forking Independence -- Chapter 6. Model Theory of Valued Fields. Tipo de medio : Computadora Summary : This self-contained book is an exposition of the fundamental ideas of model theory. It presents the necessary background from logic, set theory and other topics of mathematics. Only some degree of mathematical maturity and willingness to assimilate ideas from diverse areas are required. The book can be used for both teaching and self-study, ideally over two semesters. It is primarily aimed at graduate students in mathematical logic who want to specialise in model theory. However, the first two chapters constitute the first introduction to the subject and can be covered in one-semester course to senior undergraduate students in mathematical logic. The book is also suitable for researchers who wish to use model theory in their work. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
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 : Advances in Mathematical Logic : Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions Tipo de documento: documento electrónico Autores: Arai, Toshiyasu, ; Kikuchi, Makoto, ; Kuroda, Satoru, ; Okada, Mitsuhiro, ; Yorioka, Teruyuki, Mención de edición: 1 ed. Editorial: Singapore [Malasya] : Springer Fecha de publicación: 2021 Número de páginas: XI, 229 p. 10 ilustraciones ISBN/ISSN/DL: 978-981-1641732-- 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 Unidades aritméticas y lógicas informáticas. Informática Lógica Matemáticas Lógica Matemática y Fundamentos Estructuras aritméticas y lógicas Matemáticas de la Computación FilosofÃa de las Matemáticas Clasificación: 511.3 Resumen: Gaisi Takeuti fue uno de los lógicos más brillantes, genios e influyentes del siglo XX. Fue profesor durante mucho tiempo y profesor emérito de matemáticas en la Universidad de Illinois en Urbana-Champaign, EE. UU., antes de fallecer el 10 de mayo de 2017, a la edad de 91 años. Takeuti fue uno de los fundadores de la teorÃa de la prueba. Rama de la lógica matemática que se originó a partir del programa de Hilbert sobre la consistencia de las matemáticas. Basado en los trabajos pioneros de teorÃa de la prueba de Gentzen en la década de 1930, propuso una conjetura en 1953 sobre la naturaleza esencial de las pruebas formales de la lógica de orden superior ahora conocida como conjetura fundamental de Takeuti y de la cual dio una solución positiva parcial. Sus argumentos sobre la teorÃa de las conjeturas y la prueba en general han tenido gran influencia en los desarrollos posteriores de la lógica matemática, la filosofÃa de las matemáticas y las aplicaciones de la lógica matemática a la informática teórica. El trabajo de Takeuti abarcó todo el espectro de la lógica matemática, incluida la teorÃa de conjuntos, la teorÃa de la computabilidad, el análisis de valores booleanos, la lógica difusa, la aritmética acotada y la informática teórica. Escribió muchas monografÃas y libros de texto tanto en inglés como en japonés, y su monumental monografÃa Proof Theory, publicada en 1975, ha sido durante mucho tiempo una referencia estándar de la teorÃa de la prueba. TenÃa una amplia gama de intereses que cubrÃan prácticamente todas las áreas de las matemáticas y se extendÃan hasta la fÃsica. Sus publicaciones incluyen muchos libros japoneses para estudiantes y lectores en general sobre lógica matemática, matemáticas en general y conexiones entre matemáticas y fÃsica, asà como muchos ensayos para revistas cientÃficas japonesas. Este volumen es una colección de artÃculos basados ​​en el Simposio sobre avances en lógica matemática 2018. El simposio se celebró del 18 al 20 de septiembre de 2018 en la Universidad de Kobe, Japón, y estuvo dedicado a la memoria del profesor Gaisi Takeuti. Nota de contenido: S. Fuchino and A. Ottenbreit Ottenbreit Maschio Rodrigues, Reflection principles, generic large cardinals, and the Continuum Problem -- D. Ikegami and N. Trang, On supercompactness of ω1 -- S. Iwata, Interpolation properties for Sacchetti's logics -- T. Kurahashi, Rosser provability and the second incompleteness theorem -- H. Kurokawa, On Takeuti's early view of the concept of set -- Yo Matsubara and T. Usuba, On Countable Stationary Towers -- M. Ozawa, Reforming Takeuti's Quantum Set Theory to Satisfy De Morgan's Laws -- T. Usuba, Choiceless Lowenheim-Skolem property and uniform definability of grounds -- M. Yasugi, Y. Tsujii, T. Mori, Irrational-based computability of functions -- M. Yasugi, "Gaisi Takeuti's finitist standpoint" and its mathematical embodiment -- Y. Yoshinobu, Properness under closed forcing. Tipo de medio : Computadora Summary : Gaisi Takeuti was one of the most brilliant, genius, and influential logicians of the 20th century. He was a long-time professor and professor emeritus of mathematics at the University of Illinois at Urbana-Champaign, USA, before he passed away on May 10, 2017, at the age of 91. Takeuti was one of the founders of Proof Theory, a branch of mathematical logic that originated from Hilbert's program about the consistency of mathematics. Based on Gentzen's pioneering works of proof theory in the 1930s, he proposed a conjecture in 1953 concerning the essential nature of formal proofs of higher-order logic now known as Takeuti's fundamental conjecture and of which he gave a partial positive solution. His arguments on the conjecture and proof theory in general have had great influence on the later developments of mathematical logic, philosophy of mathematics, and applications of mathematical logic to theoretical computer science. Takeuti's workranged over the whole spectrum of mathematical logic, including set theory, computability theory, Boolean valued analysis, fuzzy logic, bounded arithmetic, and theoretical computer science. He wrote many monographs and textbooks both in English and in Japanese, and his monumental monograph Proof Theory, published in 1975, has long been a standard reference of proof theory. He had a wide range of interests covering virtually all areas of mathematics and extending to physics. His publications include many Japanese books for students and general readers about mathematical logic, mathematics in general, and connections between mathematics and physics, as well as many essays for Japanese science magazines. This volume is a collection of papers based on the Symposium on Advances in Mathematical Logic 2018. The symposium was held September 18–20, 2018, at Kobe University, Japan, and was dedicated to the memory of Professor Gaisi Takeuti. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Advances in Mathematical Logic : Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions [documento electrónico] / Arai, Toshiyasu, ; Kikuchi, Makoto, ; Kuroda, Satoru, ; Okada, Mitsuhiro, ; Yorioka, Teruyuki, . - 1 ed. . - Singapore [Malasya] : Springer, 2021 . - XI, 229 p. 10 ilustraciones.
ISBN : 978-981-1641732--
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 Unidades aritméticas y lógicas informáticas. Informática Lógica Matemáticas Lógica Matemática y Fundamentos Estructuras aritméticas y lógicas Matemáticas de la Computación FilosofÃa de las Matemáticas Clasificación: 511.3 Resumen: Gaisi Takeuti fue uno de los lógicos más brillantes, genios e influyentes del siglo XX. Fue profesor durante mucho tiempo y profesor emérito de matemáticas en la Universidad de Illinois en Urbana-Champaign, EE. UU., antes de fallecer el 10 de mayo de 2017, a la edad de 91 años. Takeuti fue uno de los fundadores de la teorÃa de la prueba. Rama de la lógica matemática que se originó a partir del programa de Hilbert sobre la consistencia de las matemáticas. Basado en los trabajos pioneros de teorÃa de la prueba de Gentzen en la década de 1930, propuso una conjetura en 1953 sobre la naturaleza esencial de las pruebas formales de la lógica de orden superior ahora conocida como conjetura fundamental de Takeuti y de la cual dio una solución positiva parcial. Sus argumentos sobre la teorÃa de las conjeturas y la prueba en general han tenido gran influencia en los desarrollos posteriores de la lógica matemática, la filosofÃa de las matemáticas y las aplicaciones de la lógica matemática a la informática teórica. El trabajo de Takeuti abarcó todo el espectro de la lógica matemática, incluida la teorÃa de conjuntos, la teorÃa de la computabilidad, el análisis de valores booleanos, la lógica difusa, la aritmética acotada y la informática teórica. Escribió muchas monografÃas y libros de texto tanto en inglés como en japonés, y su monumental monografÃa Proof Theory, publicada en 1975, ha sido durante mucho tiempo una referencia estándar de la teorÃa de la prueba. TenÃa una amplia gama de intereses que cubrÃan prácticamente todas las áreas de las matemáticas y se extendÃan hasta la fÃsica. Sus publicaciones incluyen muchos libros japoneses para estudiantes y lectores en general sobre lógica matemática, matemáticas en general y conexiones entre matemáticas y fÃsica, asà como muchos ensayos para revistas cientÃficas japonesas. Este volumen es una colección de artÃculos basados ​​en el Simposio sobre avances en lógica matemática 2018. El simposio se celebró del 18 al 20 de septiembre de 2018 en la Universidad de Kobe, Japón, y estuvo dedicado a la memoria del profesor Gaisi Takeuti. Nota de contenido: S. Fuchino and A. Ottenbreit Ottenbreit Maschio Rodrigues, Reflection principles, generic large cardinals, and the Continuum Problem -- D. Ikegami and N. Trang, On supercompactness of ω1 -- S. Iwata, Interpolation properties for Sacchetti's logics -- T. Kurahashi, Rosser provability and the second incompleteness theorem -- H. Kurokawa, On Takeuti's early view of the concept of set -- Yo Matsubara and T. Usuba, On Countable Stationary Towers -- M. Ozawa, Reforming Takeuti's Quantum Set Theory to Satisfy De Morgan's Laws -- T. Usuba, Choiceless Lowenheim-Skolem property and uniform definability of grounds -- M. Yasugi, Y. Tsujii, T. Mori, Irrational-based computability of functions -- M. Yasugi, "Gaisi Takeuti's finitist standpoint" and its mathematical embodiment -- Y. Yoshinobu, Properness under closed forcing. Tipo de medio : Computadora Summary : Gaisi Takeuti was one of the most brilliant, genius, and influential logicians of the 20th century. He was a long-time professor and professor emeritus of mathematics at the University of Illinois at Urbana-Champaign, USA, before he passed away on May 10, 2017, at the age of 91. Takeuti was one of the founders of Proof Theory, a branch of mathematical logic that originated from Hilbert's program about the consistency of mathematics. Based on Gentzen's pioneering works of proof theory in the 1930s, he proposed a conjecture in 1953 concerning the essential nature of formal proofs of higher-order logic now known as Takeuti's fundamental conjecture and of which he gave a partial positive solution. His arguments on the conjecture and proof theory in general have had great influence on the later developments of mathematical logic, philosophy of mathematics, and applications of mathematical logic to theoretical computer science. Takeuti's workranged over the whole spectrum of mathematical logic, including set theory, computability theory, Boolean valued analysis, fuzzy logic, bounded arithmetic, and theoretical computer science. He wrote many monographs and textbooks both in English and in Japanese, and his monumental monograph Proof Theory, published in 1975, has long been a standard reference of proof theory. He had a wide range of interests covering virtually all areas of mathematics and extending to physics. His publications include many Japanese books for students and general readers about mathematical logic, mathematics in general, and connections between mathematics and physics, as well as many essays for Japanese science magazines. This volume is a collection of papers based on the Symposium on Advances in Mathematical Logic 2018. The symposium was held September 18–20, 2018, at Kobe University, Japan, and was dedicated to the memory of Professor Gaisi Takeuti. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
