Descriptive Complexity, Canonisation, And Definable Graph St

Descripción

LIBROS
-----------------------------------------------------------------------------
---------------------- TIEMPOS DE ENVÍO ------------------------
--------------------------- DE 4 A 8 DÍAS ---------------------------
---------- HÁBILES A CIUDADES PRINCIPALES -----------
-----------------------------------------------------------------------------


--TITULO--
Complejidad descriptiva canonización y definible estructura de la teoría

--TITULO--
Descriptive Complexity, Canonisation, and Definable Graph Structure Theory (Lecture Notes in Logic)


--DESCRIPCIÓN LARGA--
Revisión El libro está dividido en dos partes La Parte I proporciona antecedentes y definiciones de las nociones principales, y hace que el libro sea autónomo Muchos resultados de la teoría de la complejidad descriptiva y los resultados anteriores del autor se presentan claramente La Parte II está dedicada al teorema principal sobre gráficos con menores excluidos El libro termina con un índice de símbolos y un índice Pascal Michel, Mathematical Reviews Descripción del libro Este libro innovador, aunque accesible, contiene resultados originales sobre la interacción entre la teoría de grafos y la complejidad computacional utilizando métodos de la teoría de modelos finitos Además de una gran cantidad de resultados nuevos, no publicados previamente, el autor también da cuenta de los resultados establecidos en el área Ver Comentarios editoriales

Peso del Producto: 1 Libra