An Introduction to the Technique of Formative Processes in Set Theory / Cantone, Domenico  

Público ISBD Ningún comentario para este registro. Título : An Introduction to the Technique of Formative Processes in Set Theory Tipo de documento: documento electrónico Autores: Cantone, Domenico, ; Ursino, Pietro, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XII, 154 p. 15 ilustraciones ISBN/ISSN/DL: 978-3-319-74778-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: Teoría de las máquinas  Lógica matemática  Lenguajes formales y teoría de los autómatas  Lógica Matemática y Fundamentos Clasificación: 5.131 Resumen: Este libro presenta un enfoque intuitivo y orientado a imágenes de la técnica de los procesos formativos y sus aplicaciones. En la primera parte, los autores introducen la terminología y las propiedades básicas de la teoría de conjuntos, el problema de decisión en la teoría de conjuntos y los procesos formativos. La segunda parte del libro está dedicada a las aplicaciones de la técnica de los procesos formativos a problemas de decisión. Todos los capítulos contienen ejercicios y el libro es apropiado para investigadores y estudiantes de posgrado en el área de la lógica informática. Nota de contenido: Part I: Theoretical Apparatus -- Basics of Set Theory -- The Decision Problem in Set Theory -- Formative Processes -- Part II: Applications -- Decidability of MLSSP -- Decidability of MLSSPF. Tipo de medio : Computadora Summary : This book presents an intuitive picture-oriented approach to the formative processes technique and to its applications. In the first part the authors introduce basic set-theoretic terminology and properties, the decision problem in set theory, and formative processes. The second part of the book is devoted to applications of the technique of formative processes to decision problems. All chapters contain exercises and the book is appropriate for researchers and graduate students in the area of computer science logic. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] An Introduction to the Technique of Formative Processes in Set Theory [documento electrónico] / Cantone, Domenico, ; Ursino, Pietro,  . -  1 ed.  . - [s.l.] : Springer, 2018 . - XII, 154 p. 15 ilustraciones. ISBN : 978-3-319-74778-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: Teoría de las máquinas  Lógica matemática  Lenguajes formales y teoría de los autómatas  Lógica Matemática y Fundamentos Clasificación: 5.131 Resumen: Este libro presenta un enfoque intuitivo y orientado a imágenes de la técnica de los procesos formativos y sus aplicaciones. En la primera parte, los autores introducen la terminología y las propiedades básicas de la teoría de conjuntos, el problema de decisión en la teoría de conjuntos y los procesos formativos. La segunda parte del libro está dedicada a las aplicaciones de la técnica de los procesos formativos a problemas de decisión. Todos los capítulos contienen ejercicios y el libro es apropiado para investigadores y estudiantes de posgrado en el área de la lógica informática. Nota de contenido: Part I: Theoretical Apparatus -- Basics of Set Theory -- The Decision Problem in Set Theory -- Formative Processes -- Part II: Applications -- Decidability of MLSSP -- Decidability of MLSSPF. Tipo de medio : Computadora Summary : This book presents an intuitive picture-oriented approach to the formative processes technique and to its applications. In the first part the authors introduce basic set-theoretic terminology and properties, the decision problem in set theory, and formative processes. The second part of the book is devoted to applications of the technique of formative processes to decision problems. All chapters contain exercises and the book is appropriate for researchers and graduate students in the area of computer science logic. 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