On Sets and Graphs / Omodeo, Eugenio G.  

Público ISBD Ningún comentario para este registro. Título : On Sets and Graphs : Perspectives on Logic and Combinatorics Tipo de documento: documento electrónico Autores: Omodeo, Eugenio G., Autor ; Policriti, Alberto, Autor ; Tomescu, Alexandru I., Autor Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XIX, 275 p. 150 ilustraciones ISBN/ISSN/DL: 978-3-319-54981-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: Ciencias de la Computación  Algoritmos  Teoría de grafos  Matemáticas discretas  Lógica informática y fundamentos de la programación Índice Dewey: 40.151 Resumen: Este tratado único presenta una perspectiva integrada sobre la relación y la interacción de la teoría de conjuntos y la teoría de grafos, proporcionando una amplia selección de ejemplos que resaltan cómo los métodos de una teoría pueden usarse para resolver mejor problemas originados en la otra. Este punto de vista combinado no sólo simplifica la manipulación de conjuntos y enriquece el potencial de los gráficos, sino que también permite una comprensión más profunda de la naturaleza multifacética de los conjuntos y los gráficos. Temas y características: Explora las interrelaciones entre conjuntos y gráficos y sus aplicaciones a la combinatoria finita, con un enfoque en métodos de prueba y tecnología de prueba. Presenta las nociones fundamentales de la teoría de grafos desde el punto de vista de la teoría de conjuntos y la lógica diádica, y presenta una breve discusión. sobre universos establecidos Explica cómo y bajo qué circunstancias los conjuntos pueden modelar gráficos de manera conveniente, discutiendo gráficos de conjuntos y representaciones teóricas de conjuntos de gráficos sin garras Investiga cuándo es conveniente representar conjuntos mediante gráficos, abarcando problemas de conteo y codificación, la generación aleatoria de conjuntos y el análisis de conjuntos infinitos Presenta extractos de pruebas formales relativas a gráficas, cuya exactitud se verificó mediante un asistente de prueba automatizado Contiene numerosos ejercicios, ejemplos, definiciones, problemas y paneles de información a lo largo del texto Este libro de texto/referencia accesible ofrece una lectura esclarecedora para estudiantes graduados de informática y matemáticas. El trabajo también es ideal como recurso de autoaprendizaje para otros no especialistas que buscan una comprensión más profunda del tema. Dr. Eugenio G. Omodeo es profesor del Departamento de Matemáticas y Geociencias de la Universidad de Trieste, Italia. Sus otras publicaciones incluyen el título de Springer Computational Logic and Set Theory. El Dr. Alberto Policriti es profesor de Ciencias de la Computación en el Departamento de Matemáticas, Ciencias de la Computación y Física de la Universidad de Udine, Italia. Junto con el Dr. Eugenio G. Omodeo, es coautor del título de Springer Set Theory for Computing. El Dr. Alexandru I. Tomescu es investigador postdoctoral en el Departamento de Ciencias de la Computación de la Universidad de Helsinki, Finlandia. Nota de contenido: Introduction -- Part I: Basics -- Membership and Edge Relations -- Sets, Graphs, and Set Universes -- Part II: Graphs as Sets -- The Undirected Structure Underlying Sets -- Graphs as Transitive Sets -- Part III: Sets as Graphs -- Counting and Encoding Sets -- Random Generation of Sets -- Infinite Sets and Finite Combinatorics -- Appendix: Excerpts from a Referee-Checked Proof-Script. 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 On Sets and Graphs : Perspectives on Logic and Combinatorics [documento electrónico] / Omodeo, Eugenio G., Autor ; Policriti, Alberto, Autor ; Tomescu, Alexandru I., Autor  . -  1 ed.  . - [s.l.] : Springer, 2017 . - XIX, 275 p. 150 ilustraciones. ISBN : 978-3-319-54981-1 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ciencias de la Computación  Algoritmos  Teoría de grafos  Matemáticas discretas  Lógica informática y fundamentos de la programación Índice Dewey: 40.151 Resumen: Este tratado único presenta una perspectiva integrada sobre la relación y la interacción de la teoría de conjuntos y la teoría de grafos, proporcionando una amplia selección de ejemplos que resaltan cómo los métodos de una teoría pueden usarse para resolver mejor problemas originados en la otra. Este punto de vista combinado no sólo simplifica la manipulación de conjuntos y enriquece el potencial de los gráficos, sino que también permite una comprensión más profunda de la naturaleza multifacética de los conjuntos y los gráficos. Temas y características: Explora las interrelaciones entre conjuntos y gráficos y sus aplicaciones a la combinatoria finita, con un enfoque en métodos de prueba y tecnología de prueba. Presenta las nociones fundamentales de la teoría de grafos desde el punto de vista de la teoría de conjuntos y la lógica diádica, y presenta una breve discusión. sobre universos establecidos Explica cómo y bajo qué circunstancias los conjuntos pueden modelar gráficos de manera conveniente, discutiendo gráficos de conjuntos y representaciones teóricas de conjuntos de gráficos sin garras Investiga cuándo es conveniente representar conjuntos mediante gráficos, abarcando problemas de conteo y codificación, la generación aleatoria de conjuntos y el análisis de conjuntos infinitos Presenta extractos de pruebas formales relativas a gráficas, cuya exactitud se verificó mediante un asistente de prueba automatizado Contiene numerosos ejercicios, ejemplos, definiciones, problemas y paneles de información a lo largo del texto Este libro de texto/referencia accesible ofrece una lectura esclarecedora para estudiantes graduados de informática y matemáticas. El trabajo también es ideal como recurso de autoaprendizaje para otros no especialistas que buscan una comprensión más profunda del tema. Dr. Eugenio G. Omodeo es profesor del Departamento de Matemáticas y Geociencias de la Universidad de Trieste, Italia. Sus otras publicaciones incluyen el título de Springer Computational Logic and Set Theory. El Dr. Alberto Policriti es profesor de Ciencias de la Computación en el Departamento de Matemáticas, Ciencias de la Computación y Física de la Universidad de Udine, Italia. Junto con el Dr. Eugenio G. Omodeo, es coautor del título de Springer Set Theory for Computing. El Dr. Alexandru I. Tomescu es investigador postdoctoral en el Departamento de Ciencias de la Computación de la Universidad de Helsinki, Finlandia. Nota de contenido: Introduction -- Part I: Basics -- Membership and Edge Relations -- Sets, Graphs, and Set Universes -- Part II: Graphs as Sets -- The Undirected Structure Underlying Sets -- Graphs as Transitive Sets -- Part III: Sets as Graphs -- Counting and Encoding Sets -- Random Generation of Sets -- Infinite Sets and Finite Combinatorics -- Appendix: Excerpts from a Referee-Checked Proof-Script. 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

---

1 (1 - 1 / 1) Par page : 25 50 100 200