Decidability of Logical Theories and Their Combination / Rasga, João  

Público ISBD Ningún comentario para este título. Título : Decidability of Logical Theories and Their Combination Tipo de documento: documento electrónico Autores: Rasga, João, ; Sernadas, Cristina, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XIII, 178 p. 70 ilustraciones, 1 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-56554-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: Lógica matemática  Teoría de las máquinas  Matemáticas  Lógica Matemática y Fundamentos  Lenguajes formales y teoría de los autómatas  Filosofía de las Matemáticas Clasificación: 511.3 Resumen: Este libro de texto proporciona una introducción independiente a la decidibilidad de las teorías de primer orden y su combinación. El material técnico se presenta de forma sistemática y universal y se ilustra con numerosos ejemplos y una serie de ejercicios propuestos. Después de una descripción general de los conceptos básicos de lógica de primer orden, los autores analizan algunas nociones de teoría de modelos como incrustaciones, diagramas y subestructuras elementales. Luego, el texto continúa explorando una forma aplicable de deducir consecuencias lógicas de una teoría determinada y presenta condiciones suficientes para que una teoría sea decidible. Los capítulos que siguen se centran en la eliminación de cuantificadores, la decidibilidad de la combinación de teorías de primer orden y los fundamentos de la teoría de la computabilidad. La inclusión de un capítulo sobre cálculo de Gentzen, eliminación de cortes e interpolación de Craig, así como un capítulo sobre combinación de teorías y preservación de la decidibilidad, ayuda a diferenciar este volumen de libros similares en este campo. La capacidad de decisión de las teorías lógicas y su combinación es ideal para estudiantes de posgrado en Matemáticas y es igualmente adecuado para estudiantes de Informática, Filosofía y Física que estén interesados ​​en obtener una comprensión más profunda del tema. El libro también está dirigido a investigadores que deseen familiarizarse con las teorías de primer orden y su combinación. Nota de contenido: Chapter 1: First Order Logic -- Chapter 2: Reasoning with Theories -- Chapter 3: Decidability Results on Theories -- Chapter 4: Quantifier Elimination -- Chapter 5: Combination of Theories -- Appendix: Basics of Computability -- Bibliography -- Table of Symbols -- Subject Index. Tipo de medio : Computadora Summary : This textbook provides a self-contained introduction to decidability of first-order theories and their combination. The technical material is presented in a systematic and universal way and illustrated with plenty of examples and a range of proposed exercises. After an overview of basic first-order logic concepts, the authors discuss some model-theoretic notions like embeddings, diagrams, and elementary substructures. The text then goes on to explore an applicable way to deduce logical consequences from a given theory and presents sufficient conditions for a theory to be decidable. The chapters that follow focus on quantifier elimination, decidability of the combination of first-order theories and the basics of computability theory. The inclusion of a chapter on Gentzen calculus, cut elimination, and Craig interpolation, as well as a chapter on combination of theories and preservation of decidability, help to set this volume apart from similar books in the field. Decidability of Logical Theories and their Combination is ideal for graduate students of Mathematics and is equally suitable for Computer Science, Philosophy and Physics students who are interested in gaining a deeper understanding of the subject. The book is also directed to researchers that intend to get acquainted with first-order theories and their combination. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Decidability of Logical Theories and Their Combination [documento electrónico] / Rasga, João, ; Sernadas, Cristina,  . -  1 ed.  . - [s.l.] : Springer, 2020 . - XIII, 178 p. 70 ilustraciones, 1 ilustraciones en color. ISBN : 978-3-030-56554-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: Lógica matemática  Teoría de las máquinas  Matemáticas  Lógica Matemática y Fundamentos  Lenguajes formales y teoría de los autómatas  Filosofía de las Matemáticas Clasificación: 511.3 Resumen: Este libro de texto proporciona una introducción independiente a la decidibilidad de las teorías de primer orden y su combinación. El material técnico se presenta de forma sistemática y universal y se ilustra con numerosos ejemplos y una serie de ejercicios propuestos. Después de una descripción general de los conceptos básicos de lógica de primer orden, los autores analizan algunas nociones de teoría de modelos como incrustaciones, diagramas y subestructuras elementales. Luego, el texto continúa explorando una forma aplicable de deducir consecuencias lógicas de una teoría determinada y presenta condiciones suficientes para que una teoría sea decidible. Los capítulos que siguen se centran en la eliminación de cuantificadores, la decidibilidad de la combinación de teorías de primer orden y los fundamentos de la teoría de la computabilidad. La inclusión de un capítulo sobre cálculo de Gentzen, eliminación de cortes e interpolación de Craig, así como un capítulo sobre combinación de teorías y preservación de la decidibilidad, ayuda a diferenciar este volumen de libros similares en este campo. La capacidad de decisión de las teorías lógicas y su combinación es ideal para estudiantes de posgrado en Matemáticas y es igualmente adecuado para estudiantes de Informática, Filosofía y Física que estén interesados ​​en obtener una comprensión más profunda del tema. El libro también está dirigido a investigadores que deseen familiarizarse con las teorías de primer orden y su combinación. Nota de contenido: Chapter 1: First Order Logic -- Chapter 2: Reasoning with Theories -- Chapter 3: Decidability Results on Theories -- Chapter 4: Quantifier Elimination -- Chapter 5: Combination of Theories -- Appendix: Basics of Computability -- Bibliography -- Table of Symbols -- Subject Index. Tipo de medio : Computadora Summary : This textbook provides a self-contained introduction to decidability of first-order theories and their combination. The technical material is presented in a systematic and universal way and illustrated with plenty of examples and a range of proposed exercises. After an overview of basic first-order logic concepts, the authors discuss some model-theoretic notions like embeddings, diagrams, and elementary substructures. The text then goes on to explore an applicable way to deduce logical consequences from a given theory and presents sufficient conditions for a theory to be decidable. The chapters that follow focus on quantifier elimination, decidability of the combination of first-order theories and the basics of computability theory. The inclusion of a chapter on Gentzen calculus, cut elimination, and Craig interpolation, as well as a chapter on combination of theories and preservation of decidability, help to set this volume apart from similar books in the field. Decidability of Logical Theories and their Combination is ideal for graduate students of Mathematics and is equally suitable for Computer Science, Philosophy and Physics students who are interested in gaining a deeper understanding of the subject. The book is also directed to researchers that intend to get acquainted with first-order theories and their combination. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

1 (1 - 1 / 1) Ver por página : 25 50 100 200