An Introduction to Computational Origami / Ida, Tetsuo  

Público ISBD Ningún comentario para este título. Título : An Introduction to Computational Origami Tipo de documento: documento electrónico Autores: Ida, Tetsuo, 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. Idioma : Inglés (eng) Palabras clave: Informática  Manipulación simbólica y algebraica  Aplicaciones matemáticas en informática Clasificación: 005.131 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. Tipo de medio : Computadora Summary : In this book, origami is treated as a set of basic geometrical objects that are represented and manipulated symbolically and graphically by computers. Focusing on how classical and modern geometrical problems are solved by means of origami, the book explains the methods not only with mathematical rigor but also by appealing to our scientific intuition, combining mathematical formulas and graphical images to do so. In turn, it discusses the verification of origami using computer software and symbolic computation tools. The binary code for the origami software, called Eos and created by the author, is also provided. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] An Introduction to Computational Origami [documento electrónico] / Ida, Tetsuo,  . -  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. Idioma : Inglés (eng) Palabras clave: Informática  Manipulación simbólica y algebraica  Aplicaciones matemáticas en informática Clasificación: 005.131 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. Tipo de medio : Computadora Summary : In this book, origami is treated as a set of basic geometrical objects that are represented and manipulated symbolically and graphically by computers. Focusing on how classical and modern geometrical problems are solved by means of origami, the book explains the methods not only with mathematical rigor but also by appealing to our scientific intuition, combining mathematical formulas and graphical images to do so. In turn, it discusses the verification of origami using computer software and symbolic computation tools. The binary code for the origami software, called Eos and created by the author, is also provided. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

Concise Guide to Formal Methods / O'Regan, Gerard  

Público ISBD Ningún comentario para este título. Título : Concise Guide to Formal Methods : Theory, Fundamentals and Industry Applications Tipo de documento: documento electrónico Autores: O'Regan, Gerard, 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. Idioma : Inglés (eng) 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 Clasificación: 005.131 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. Tipo de medio : Computadora Summary : This invaluable textbook/reference provides an easy-to-read guide to the fundamentals of formal methods, highlighting the rich applications of formal methods across a diverse range of areas of computing. Topics and features: Introduces the key concepts in software engineering, software reliability and dependability, formal methods, and discrete mathematics Presents a short history of logic, from Aristotle's syllogistic logic and the logic of the Stoics, through Boole's symbolic logic, to Frege's work on predicate logic Covers propositional and predicate logic, as well as more advanced topics such as fuzzy logic, temporal logic, intuitionistic logic, undefined values, and the applications of logic to AI Examines the Z specification language, the Vienna Development Method (VDM) and Irish School of VDM, and the unified modelling language (UML) Discusses Dijkstra's calculus of weakest preconditions, Hoare's axiomatic semantics of programming languages, and the classical approach of Parnas and his tabular expressions Provides coverage of automata theory, probability and statistics, model checking, and the nature of proof and theorem proving Reviews a selection of tools available to support the formal methodist, and considers the transfer of formal methods to industry Includes review questions and highlights key topics in every chapter, and supplies a helpful glossary at the end of the book This stimulating guide provides a broad and accessible overview of formal methods for students of computer science and mathematics curious as to how formal methods are applied to the field of computing. Dr. Gerard O'Regan is a CMMI software process improvement consultant with research interests including software quality and software process improvement, mathematical approaches to software quality, and the history of computing. He is the author of such Springer titles as Concise Guide to Software Engineering, Guide to Discrete Mathematics, Introduction to the History of Computing, Pillars of Computing, Introduction to Software Quality, Giants of Computing, and Mathematics in Computing. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Concise Guide to Formal Methods : Theory, Fundamentals and Industry Applications [documento electrónico] / O'Regan, Gerard,  . -  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. Idioma : Inglés (eng) 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 Clasificación: 005.131 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. Tipo de medio : Computadora Summary : This invaluable textbook/reference provides an easy-to-read guide to the fundamentals of formal methods, highlighting the rich applications of formal methods across a diverse range of areas of computing. Topics and features: Introduces the key concepts in software engineering, software reliability and dependability, formal methods, and discrete mathematics Presents a short history of logic, from Aristotle's syllogistic logic and the logic of the Stoics, through Boole's symbolic logic, to Frege's work on predicate logic Covers propositional and predicate logic, as well as more advanced topics such as fuzzy logic, temporal logic, intuitionistic logic, undefined values, and the applications of logic to AI Examines the Z specification language, the Vienna Development Method (VDM) and Irish School of VDM, and the unified modelling language (UML) Discusses Dijkstra's calculus of weakest preconditions, Hoare's axiomatic semantics of programming languages, and the classical approach of Parnas and his tabular expressions Provides coverage of automata theory, probability and statistics, model checking, and the nature of proof and theorem proving Reviews a selection of tools available to support the formal methodist, and considers the transfer of formal methods to industry Includes review questions and highlights key topics in every chapter, and supplies a helpful glossary at the end of the book This stimulating guide provides a broad and accessible overview of formal methods for students of computer science and mathematics curious as to how formal methods are applied to the field of computing. Dr. Gerard O'Regan is a CMMI software process improvement consultant with research interests including software quality and software process improvement, mathematical approaches to software quality, and the history of computing. He is the author of such Springer titles as Concise Guide to Software Engineering, Guide to Discrete Mathematics, Introduction to the History of Computing, Pillars of Computing, Introduction to Software Quality, Giants of Computing, and Mathematics in Computing. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

Elliptic Integrals, Elliptic Functions and Modular Forms in Quantum Field Theory / Blümlein, Johannes ; Schneider, Carsten ; Paule, Peter  

Público ISBD Ningún comentario para este título. 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. Idioma : Inglés (eng) 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. Clasificación: 005.131 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. Tipo de medio : Computadora Summary : This book includes review articles in the field of elliptic integrals, elliptic functions and modular forms intending to foster the discussion between theoretical physicists working on higher loop calculations and mathematicians working in the field of modular forms and functions and analytic solutions of higher order differential and difference equations. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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. Idioma : Inglés (eng) 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. Clasificación: 005.131 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. Tipo de medio : Computadora Summary : This book includes review articles in the field of elliptic integrals, elliptic functions and modular forms intending to foster the discussion between theoretical physicists working on higher loop calculations and mathematicians working in the field of modular forms and functions and analytic solutions of higher order differential and difference equations. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

Enquiridión de programación en MATLAB® / López García, Arturo Javier  

Público ISBD Ningún comentario para este título. Título : Enquiridión de programación en MATLAB® Tipo de documento: documento electrónico Autores: López García, Arturo Javier, ; Amaro Barriga, Manuel Javier, ; Garay Torillo, Josefina, Editorial: Editorial Parmenia, Universidad La Salle México Fecha de publicación: 2018 Número de páginas: 1 recurso en línea (148 páginas) ISBN/ISSN/DL: 978-607-749-087-6 Nota general: Incluye índice analítico. Incluye índice. Palabras clave:   Programming languages (Electronic computers)  Lenguajes de programación. Clasificación: 005.131 Enlace de acceso : https://elibro-net.biblioproxy.umanizales.edu.co/es/lc/umanizales/titulos/183495 Enquiridión de programación en MATLAB® [documento electrónico] / López García, Arturo Javier, ; Amaro Barriga, Manuel Javier, ; Garay Torillo, Josefina,  . - Editorial Parmenia, Universidad La Salle México, 2018 . - 1 recurso en línea (148 páginas). ISBN : 978-607-749-087-6 Incluye índice analítico. Incluye índice. Palabras clave:   Programming languages (Electronic computers)  Lenguajes de programación. Clasificación: 005.131 Enlace de acceso : https://elibro-net.biblioproxy.umanizales.edu.co/es/lc/umanizales/titulos/183495

Lógica de programación con Pseint / Arteaga Martínez, Máximo Miguel  

Público ISBD Ningún comentario para este título. Título : Lógica de programación con Pseint  : enfoque práctico Tipo de documento: documento electrónico Autores: Arteaga Martínez, Máximo Miguel, Editorial: Medellín [Colombia] : Corporacion Universitaria Remington Fecha de publicación: 2023 Número de páginas: 1 recurso en línea (209 páginas) ISBN/ISSN/DL: 9786289585247 Nota general: Incluye índice. Palabras clave:   Algoritmos (Computadores)  Programación (computadores)  Programación lógica.  Programación modular. Clasificación: 005.131 Enlace de acceso : https://elibro-net.biblioproxy.umanizales.edu.co/es/lc/umanizales/titulos/250650 Lógica de programación con Pseint  : enfoque práctico [documento electrónico] / Arteaga Martínez, Máximo Miguel,  . - Medellín [Colombia] : Corporacion Universitaria Remington, 2023 . - 1 recurso en línea (209 páginas). ISBN : 9786289585247 Incluye índice. Palabras clave:   Algoritmos (Computadores)  Programación (computadores)  Programación lógica.  Programación modular. Clasificación: 005.131 Enlace de acceso : https://elibro-net.biblioproxy.umanizales.edu.co/es/lc/umanizales/titulos/250650

Sistemas embebidos con VHDL / Rodríguez Torres, Octavio  

Permalink

---

1 (1 - 6 / 6) Ver por página : 25 50 100 200