| Título : |
Decidability of Logical Theories and Their Combination |
| Tipo de documento: |
documento electrónico |
| Autores: |
Rasga, João, Autor ; Sernadas, Cristina, Autor |
| 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. |
| 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 |
| Índice Dewey: |
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. |
| En línea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
Decidability of Logical Theories and Their Combination [documento electrónico] / Rasga, João, Autor ; Sernadas, Cristina, Autor . - 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.
| 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 |
| Índice Dewey: |
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. |
| En línea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
|  |
Decidability of Logical Theories and Their Combination
