Título :	Well-Quasi Orders in Computation, Logic, Language and Reasoning : A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
Tipo de documento:	documento electrónico
Autores:	Schuster, Peter M., ; Seisenberger, Monika, ; Weiermann, Andreas,
Mención de edición:	1 ed.
Editorial:	[s.l.] : Springer
Fecha de publicación:	2020
Número de páginas:	X, 391 p. 103 ilustraciones, 4 ilustraciones en color.
ISBN/ISSN/DL:	978-3-030-30229-0
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  Teoría de grafos  Teoría de las máquinas  Matemáticas discretas  diseño lógico  Lenguajes formales y teoría de los autómatas
Índice Dewey:	160 Lógica
Resumen:	Este libro cierra las brechas entre la lógica, las matemáticas y la informática al profundizar en la teoría de los cuasi órdenes bien, también conocidos como wqos. Esta rama altamente activa de la combinatoria está profundamente arraigada en y entre muchos campos de las matemáticas y la lógica, incluida la teoría de la prueba, el álgebra conmutativa, los grupos trenzados, la teoría de grafos, la combinatoria analítica, la teoría de las relaciones, las matemáticas inversas y las jerarquías subrecursivas. Como concepto unificador para pruebas ingeniosas de finitud o terminación, los wqos han sido redescubiertos en diversos contextos y han demostrado ser extremadamente útiles en informática. El libro presenta a los lectores las múltiples facetas y desarrollos recientes de la wqos a través de capítulos aportados por académicos de diversos campos. Como tal, ofrece un activo valioso para lógicos, matemáticos e informáticos, así como para académicos y estudiantes.
Nota de contenido:	Well, Better, and in-between -- The Categorical Structure of Well-Quasi Orders -- On Kriz's Theorem -- On the Width of FAC Orders, a Somewhat Rediscovered Notion -- Preliminary Well-quasi Orders in the Study of Hierarchies and Reducibilities -- The Ideal Approach to Computing Closed Subsets in Well-Quasi-Orderings -- Well-Quasi Orders and Regularity -- Well Quasi Ordering and Embeddability of Relational Structures -- A Functional Interpretation of Zorn's Lemma and its Application in Well-Quasi-Order Theory -- The Reverse Mathematics of wqos and bqos -- Well-partial Ordering and the Maximal Order Type -- TBC -- The Worlds of Well-Partial-Orders and Ordinal Notation systems -- Bounds for the Strength of the Graph Minor Theorem.
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

Well-Quasi Orders in Computation, Logic, Language and Reasoning : A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory [documento electrónico] / Schuster, Peter M., ; Seisenberger, Monika, ; Weiermann, Andreas,  . -  1 ed.  . - [s.l.] : Springer, 2020 . - X, 391 p. 103 ilustraciones, 4 ilustraciones en color.
ISBN : 978-3-030-30229-0
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  Teoría de grafos  Teoría de las máquinas  Matemáticas discretas  diseño lógico  Lenguajes formales y teoría de los autómatas
Índice Dewey:	160 Lógica
Resumen:	Este libro cierra las brechas entre la lógica, las matemáticas y la informática al profundizar en la teoría de los cuasi órdenes bien, también conocidos como wqos. Esta rama altamente activa de la combinatoria está profundamente arraigada en y entre muchos campos de las matemáticas y la lógica, incluida la teoría de la prueba, el álgebra conmutativa, los grupos trenzados, la teoría de grafos, la combinatoria analítica, la teoría de las relaciones, las matemáticas inversas y las jerarquías subrecursivas. Como concepto unificador para pruebas ingeniosas de finitud o terminación, los wqos han sido redescubiertos en diversos contextos y han demostrado ser extremadamente útiles en informática. El libro presenta a los lectores las múltiples facetas y desarrollos recientes de la wqos a través de capítulos aportados por académicos de diversos campos. Como tal, ofrece un activo valioso para lógicos, matemáticos e informáticos, así como para académicos y estudiantes.
Nota de contenido:	Well, Better, and in-between -- The Categorical Structure of Well-Quasi Orders -- On Kriz's Theorem -- On the Width of FAC Orders, a Somewhat Rediscovered Notion -- Preliminary Well-quasi Orders in the Study of Hierarchies and Reducibilities -- The Ideal Approach to Computing Closed Subsets in Well-Quasi-Orderings -- Well-Quasi Orders and Regularity -- Well Quasi Ordering and Embeddability of Relational Structures -- A Functional Interpretation of Zorn's Lemma and its Application in Well-Quasi-Order Theory -- The Reverse Mathematics of wqos and bqos -- Well-partial Ordering and the Maximal Order Type -- TBC -- The Worlds of Well-Partial-Orders and Ordinal Notation systems -- Bounds for the Strength of the Graph Minor Theorem.
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