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

Público ISBD Ningún comentario para este título. 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. 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: 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. 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. 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: 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. 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