Indexaxión 005.131 : Lenguajes de programación
005 Ciencia de los computadores (Programación, programas, datos de computador)Documentos en la biblioteca con la clasificación 005.131 (3)
Hacer una sugerencia Refinar búsqueda
Título : An Introduction to Computational Origami Tipo de documento: documento electrónico Autores: Ida, Tetsuo, Autor Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XII, 217 p. 2 ilustraciones ISBN/ISSN/DL: 978-3-319-59189-6 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: Informática Manipulación simbólica y algebraica Aplicaciones matemáticas en informática Índice Dewey: 005.131 Lenguajes de programación Resumen: En este libro, el origami se trata como un conjunto de objetos geométricos básicos que se representan y manipulan simbólica y gráficamente mediante computadoras. Centrándose en cómo se resuelven problemas geométricos clásicos y modernos mediante origami, el libro explica los métodos no sólo con rigor matemático sino también apelando a nuestra intuición científica, combinando fórmulas matemáticas e imágenes gráficas para hacerlo. A su vez, se analiza la verificación del origami mediante software y herramientas de cálculo simbólico. También se proporciona el código binario del software de origami, llamado Eos y creado por el autor. Nota de contenido: Introduction to origami -- Origami geometry and basic folds -- Algebra of folds -- Origami geometry vs. Euclid geometry -- Examples -- Origami theorems and verification -- Extensions of basic folds -- Three-dimensional origami. 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 An Introduction to Computational Origami [documento electrónico] / Ida, Tetsuo, Autor . - 1 ed. . - [s.l.] : Springer, 2020 . - XII, 217 p. 2 ilustraciones.
ISBN : 978-3-319-59189-6
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Informática Manipulación simbólica y algebraica Aplicaciones matemáticas en informática Índice Dewey: 005.131 Lenguajes de programación Resumen: En este libro, el origami se trata como un conjunto de objetos geométricos básicos que se representan y manipulan simbólica y gráficamente mediante computadoras. Centrándose en cómo se resuelven problemas geométricos clásicos y modernos mediante origami, el libro explica los métodos no sólo con rigor matemático sino también apelando a nuestra intuición científica, combinando fórmulas matemáticas e imágenes gráficas para hacerlo. A su vez, se analiza la verificación del origami mediante software y herramientas de cálculo simbólico. También se proporciona el código binario del software de origami, llamado Eos y creado por el autor. Nota de contenido: Introduction to origami -- Origami geometry and basic folds -- Algebra of folds -- Origami geometry vs. Euclid geometry -- Examples -- Origami theorems and verification -- Extensions of basic folds -- Three-dimensional origami. 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
Título : Concise Guide to Formal Methods : Theory, Fundamentals and Industry Applications Tipo de documento: documento electrónico Autores: O'Regan, Gerard, Autor Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XXVI, 322 p. 81 ilustraciones, 56 ilustraciones en color. ISBN/ISSN/DL: 978-3-319-64021-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 Ingeniería de software Ordenadores Informática Lenguajes formales y teoría de los autómatas Rendimiento y confiabilidad del hardware Aplicaciones matemáticas en informática Índice Dewey: 005.131 Lenguajes de programación Resumen: Este invaluable libro de texto/referencia proporciona una guía fácil de leer sobre los fundamentos de los métodos formales, destacando las ricas aplicaciones de los métodos formales en una amplia gama de áreas de la informática. Temas y características: Introduce los conceptos clave en ingeniería de software, confiabilidad y confiabilidad del software, métodos formales y matemáticas discretas. Presenta una breve historia de la lógica, desde la lógica silogística de Aristóteles y la lógica de los estoicos, pasando por la lógica simbólica de Boole, hasta el trabajo de Frege sobre lógica de predicados Cubre lógica proposicional y de predicados, así como temas más avanzados como lógica difusa, lógica temporal, lógica intuicionista, valores indefinidos y las aplicaciones de la lógica a la IA. Examina el lenguaje de especificación Z, el Método de desarrollo de Viena (VDM) y el irlandés. Escuela de VDM y el lenguaje de modelado unificado (UML) Analiza el cálculo de condiciones previas más débiles de Dijkstra, la semántica axiomática de los lenguajes de programación de Hoare y el enfoque clásico de Parnas y sus expresiones tabulares Proporciona cobertura sobre teoría de autómatas, probabilidad y estadística, verificación de modelos y la naturaleza de la prueba y la demostración de teoremas Revisa una selección de herramientas disponibles para apoyar al metodista formal y considera la transferencia de métodos formales a la industria Incluye preguntas de revisión y destaca temas clave en cada capítulo, y proporciona un útil glosario al final del libro Esta estimulante guía proporciona una visión general amplia y accesible de los métodos formales para estudiantes de informática y matemáticas que tengan curiosidad por saber cómo se aplican los métodos formales al campo de la informática. El Dr. Gerard O''Regan es consultor de mejora de procesos de software CMMI con intereses de investigación que incluyen la calidad del software y la mejora de procesos de software, enfoques matemáticos de la calidad del software y la historia de la informática. Es autor de títulos de Springer como Guía concisa para la ingeniería de software, Guía para las matemáticas discretas, Introducción a la historia de la informática, Pilares de la informática, Introducción a la calidad del software, Gigantes de la informática y Matemáticas en la informática. Nota de contenido: Software Engineering -- Software Reliability and Dependability -- Overview of Formal Methods -- Sets, Relations and Functions -- A Short History of Logic -- Propositional and Predicate Logic -- Advanced Topics in Logic -- Z Formal Specification Language -- Vienna Development Method -- Irish School of VDM -- Unified Modelling Language -- Dijkstra, Hoare and Parnas -- Automata Theory -- Model Checking -- The Nature of Theorem Proving -- Probability and Statistics -- Industrial Tools for Formal Methods -- Technology Transfer to Industry -- Epilogue. 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 Concise Guide to Formal Methods : Theory, Fundamentals and Industry Applications [documento electrónico] / O'Regan, Gerard, Autor . - 1 ed. . - [s.l.] : Springer, 2017 . - XXVI, 322 p. 81 ilustraciones, 56 ilustraciones en color.
ISBN : 978-3-319-64021-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 Ingeniería de software Ordenadores Informática Lenguajes formales y teoría de los autómatas Rendimiento y confiabilidad del hardware Aplicaciones matemáticas en informática Índice Dewey: 005.131 Lenguajes de programación Resumen: Este invaluable libro de texto/referencia proporciona una guía fácil de leer sobre los fundamentos de los métodos formales, destacando las ricas aplicaciones de los métodos formales en una amplia gama de áreas de la informática. Temas y características: Introduce los conceptos clave en ingeniería de software, confiabilidad y confiabilidad del software, métodos formales y matemáticas discretas. Presenta una breve historia de la lógica, desde la lógica silogística de Aristóteles y la lógica de los estoicos, pasando por la lógica simbólica de Boole, hasta el trabajo de Frege sobre lógica de predicados Cubre lógica proposicional y de predicados, así como temas más avanzados como lógica difusa, lógica temporal, lógica intuicionista, valores indefinidos y las aplicaciones de la lógica a la IA. Examina el lenguaje de especificación Z, el Método de desarrollo de Viena (VDM) y el irlandés. Escuela de VDM y el lenguaje de modelado unificado (UML) Analiza el cálculo de condiciones previas más débiles de Dijkstra, la semántica axiomática de los lenguajes de programación de Hoare y el enfoque clásico de Parnas y sus expresiones tabulares Proporciona cobertura sobre teoría de autómatas, probabilidad y estadística, verificación de modelos y la naturaleza de la prueba y la demostración de teoremas Revisa una selección de herramientas disponibles para apoyar al metodista formal y considera la transferencia de métodos formales a la industria Incluye preguntas de revisión y destaca temas clave en cada capítulo, y proporciona un útil glosario al final del libro Esta estimulante guía proporciona una visión general amplia y accesible de los métodos formales para estudiantes de informática y matemáticas que tengan curiosidad por saber cómo se aplican los métodos formales al campo de la informática. El Dr. Gerard O''Regan es consultor de mejora de procesos de software CMMI con intereses de investigación que incluyen la calidad del software y la mejora de procesos de software, enfoques matemáticos de la calidad del software y la historia de la informática. Es autor de títulos de Springer como Guía concisa para la ingeniería de software, Guía para las matemáticas discretas, Introducción a la historia de la informática, Pilares de la informática, Introducción a la calidad del software, Gigantes de la informática y Matemáticas en la informática. Nota de contenido: Software Engineering -- Software Reliability and Dependability -- Overview of Formal Methods -- Sets, Relations and Functions -- A Short History of Logic -- Propositional and Predicate Logic -- Advanced Topics in Logic -- Z Formal Specification Language -- Vienna Development Method -- Irish School of VDM -- Unified Modelling Language -- Dijkstra, Hoare and Parnas -- Automata Theory -- Model Checking -- The Nature of Theorem Proving -- Probability and Statistics -- Industrial Tools for Formal Methods -- Technology Transfer to Industry -- Epilogue. 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 Elliptic Integrals, Elliptic Functions and Modular Forms in Quantum Field Theory / Blümlein, Johannes ; Schneider, Carsten ; Paule, Peter
Título : Elliptic Integrals, Elliptic Functions and Modular Forms in Quantum Field Theory Tipo de documento: documento electrónico Autores: Blümlein, Johannes, ; Schneider, Carsten, ; Paule, Peter, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XIII, 509 p. 134 ilustraciones, 54 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-04480-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: Informática Partículas elementales (Física) Teoría cuántica de campos Física matemática Manipulación simbólica y algebraica Partículas elementales teoría cuántica de campos Índice Dewey: 005.131 Lenguajes de programación Resumen: Este libro incluye artículos de revisión en el campo de integrales elípticas, funciones elípticas y formas modulares con la intención de fomentar la discusión entre físicos teóricos que trabajan en cálculos de bucles superiores y matemáticos que trabajan en el campo de formas y funciones modulares y soluciones analíticas de diferenciales y diferencias de orden superior. ecuaciones. . Nota de contenido: Graph complexes and Cutkosky rules -- Differential equations and dispersion relations for Feynman amplitudes with elliptic functions -- Elliptic integrals and the two-loop ttbar production in QCD -- Solutions of 2nd and 3rd order differential equations with more singularities -- Analytic continuation of Feynman diagrams with elliptic solutions -- Twisted elliptic multiple zeta values and non-planar one-loop open-string amplitudes -- Genus one superstring amplitudes and modular forms -- Difference field methods in Feynman diagram calculations -- Feynman integrals and iterated integrals of modular forms -- Iterated elliptic and hypergeometric integrals for Feynman diagrams. - Feynman integrals, L-series and Kloosterman moments. 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 Elliptic Integrals, Elliptic Functions and Modular Forms in Quantum Field Theory [documento electrónico] / Blümlein, Johannes, ; Schneider, Carsten, ; Paule, Peter, . - 1 ed. . - [s.l.] : Springer, 2019 . - XIII, 509 p. 134 ilustraciones, 54 ilustraciones en color.
ISBN : 978-3-030-04480-0
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Informática Partículas elementales (Física) Teoría cuántica de campos Física matemática Manipulación simbólica y algebraica Partículas elementales teoría cuántica de campos Índice Dewey: 005.131 Lenguajes de programación Resumen: Este libro incluye artículos de revisión en el campo de integrales elípticas, funciones elípticas y formas modulares con la intención de fomentar la discusión entre físicos teóricos que trabajan en cálculos de bucles superiores y matemáticos que trabajan en el campo de formas y funciones modulares y soluciones analíticas de diferenciales y diferencias de orden superior. ecuaciones. . Nota de contenido: Graph complexes and Cutkosky rules -- Differential equations and dispersion relations for Feynman amplitudes with elliptic functions -- Elliptic integrals and the two-loop ttbar production in QCD -- Solutions of 2nd and 3rd order differential equations with more singularities -- Analytic continuation of Feynman diagrams with elliptic solutions -- Twisted elliptic multiple zeta values and non-planar one-loop open-string amplitudes -- Genus one superstring amplitudes and modular forms -- Difference field methods in Feynman diagram calculations -- Feynman integrals and iterated integrals of modular forms -- Iterated elliptic and hypergeometric integrals for Feynman diagrams. - Feynman integrals, L-series and Kloosterman moments. 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
