Título :	Mathematics in Computing : An Accessible Guide to Historical, Foundational and Application Contexts
Tipo de documento:	documento electrónico
Autores:	O'Regan, Gerard, Autor
Mención de edición:	2 ed.
Editorial:	[s.l.] : Springer
Fecha de publicación:	2020
Número de páginas:	XXVI, 458 p. 206 ilustraciones, 73 ilustraciones en color.
ISBN/ISSN/DL:	978-3-030-34209-8
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  Teoría de las máquinas  Teoría de la codificación  Teoría de la información  Matemáticas  Historia  Aplicaciones matemáticas en informática  Lenguajes formales y teoría de los autómatas  Teoría de la codificación y la información  Historia de las Ciencias Matemáticas
Índice Dewey:	40.151
Resumen:	Este esclarecedor libro de texto proporciona una revisión concisa de los conceptos básicos de matemáticas esenciales para los informáticos. Se pone énfasis en las aplicaciones informáticas prácticas habilitadas por ideas matemáticas aparentemente abstractas, presentadas dentro de su contexto histórico. El texto abarca una amplia selección de temas clave, que van desde el uso de la teoría de campos finitos para corregir el código y el papel de la teoría de números en la criptografía, hasta el valor de la teoría de grafos al modelar redes y la importancia de los métodos formales para los sistemas críticos para la seguridad. Temas y características: Incluye numerosas características pedagógicas, como temas clave de apertura de capítulos, introducciones y resúmenes de capítulos, preguntas de repaso y un glosario. Describe las contribuciones históricas de figuras tan prominentes como Leibniz, Babbage, Boole y von Neumann. Presenta las matemáticas fundamentales. conceptos de conjuntos, relaciones y funciones, junto con los conceptos básicos de teoría de números, álgebra, algoritmos y matrices. Explora secuencias y series aritméticas y geométricas, inducción y recursividad matemáticas, teoría de grafos, computabilidad y decidibilidad, y teoría de autómatas. Repasa los temas centrales de teoría de la codificación, teoría del lenguaje, ingeniería de software y confiabilidad del software, así como métodos formales y verificación de modelos. Cubre temas clave sobre lógica, desde las contribuciones de la antigua Grecia hasta las aplicaciones modernas en IA, y analiza la naturaleza de la prueba matemática y la demostración de teoremas. Presenta una breve introducción a la probabilidad y la estadística, los números complejos, los cuaterniones y el cálculo. Este libro atractivo y fácil de entender atraerá a los estudiantes de informática que deseen obtener una visión general de las matemáticas utilizadas en la informática y a los matemáticos que sientan curiosidad por saber cómo se aplica su materia. en el campo de la informática. El libro también captará el interés del lector general motivado.
Nota de contenido:	What is a Computer? -- Foundations of Computing -- Overview of Mathematics in Computing -- Introduction to Algorithms -- Number Theory -- Algebra -- Sequences, Series, and Permutations and Combinations -- Mathematical Induction and Recursion -- Graph Theory -- Cryptography -- Coding Theory -- Language Theory and Semantics -- Computability and Decidability -- Matrix Theory -- A Short History of Logic -- Propositional and Predicate Logic -- Advanced Topics in Logic -- The Nature of Theorem Proving -- Software Engineering Mathematics -- Software Reliability and Dependability -- Overview of Formal Methods -- Z Formal Specification Language -- Automata Theory -- Model Checking -- Probability and Statistics -- Complex Numbers and Quaternions -- Calculus -- 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

Mathematics in Computing : An Accessible Guide to Historical, Foundational and Application Contexts [documento electrónico] / O'Regan, Gerard, Autor  . -  2 ed.  . - [s.l.] : Springer, 2020 . - XXVI, 458 p. 206 ilustraciones, 73 ilustraciones en color.
ISBN : 978-3-030-34209-8
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  Teoría de las máquinas  Teoría de la codificación  Teoría de la información  Matemáticas  Historia  Aplicaciones matemáticas en informática  Lenguajes formales y teoría de los autómatas  Teoría de la codificación y la información  Historia de las Ciencias Matemáticas
Índice Dewey:	40.151
Resumen:	Este esclarecedor libro de texto proporciona una revisión concisa de los conceptos básicos de matemáticas esenciales para los informáticos. Se pone énfasis en las aplicaciones informáticas prácticas habilitadas por ideas matemáticas aparentemente abstractas, presentadas dentro de su contexto histórico. El texto abarca una amplia selección de temas clave, que van desde el uso de la teoría de campos finitos para corregir el código y el papel de la teoría de números en la criptografía, hasta el valor de la teoría de grafos al modelar redes y la importancia de los métodos formales para los sistemas críticos para la seguridad. Temas y características: Incluye numerosas características pedagógicas, como temas clave de apertura de capítulos, introducciones y resúmenes de capítulos, preguntas de repaso y un glosario. Describe las contribuciones históricas de figuras tan prominentes como Leibniz, Babbage, Boole y von Neumann. Presenta las matemáticas fundamentales. conceptos de conjuntos, relaciones y funciones, junto con los conceptos básicos de teoría de números, álgebra, algoritmos y matrices. Explora secuencias y series aritméticas y geométricas, inducción y recursividad matemáticas, teoría de grafos, computabilidad y decidibilidad, y teoría de autómatas. Repasa los temas centrales de teoría de la codificación, teoría del lenguaje, ingeniería de software y confiabilidad del software, así como métodos formales y verificación de modelos. Cubre temas clave sobre lógica, desde las contribuciones de la antigua Grecia hasta las aplicaciones modernas en IA, y analiza la naturaleza de la prueba matemática y la demostración de teoremas. Presenta una breve introducción a la probabilidad y la estadística, los números complejos, los cuaterniones y el cálculo. Este libro atractivo y fácil de entender atraerá a los estudiantes de informática que deseen obtener una visión general de las matemáticas utilizadas en la informática y a los matemáticos que sientan curiosidad por saber cómo se aplica su materia. en el campo de la informática. El libro también captará el interés del lector general motivado.
Nota de contenido:	What is a Computer? -- Foundations of Computing -- Overview of Mathematics in Computing -- Introduction to Algorithms -- Number Theory -- Algebra -- Sequences, Series, and Permutations and Combinations -- Mathematical Induction and Recursion -- Graph Theory -- Cryptography -- Coding Theory -- Language Theory and Semantics -- Computability and Decidability -- Matrix Theory -- A Short History of Logic -- Propositional and Predicate Logic -- Advanced Topics in Logic -- The Nature of Theorem Proving -- Software Engineering Mathematics -- Software Reliability and Dependability -- Overview of Formal Methods -- Z Formal Specification Language -- Automata Theory -- Model Checking -- Probability and Statistics -- Complex Numbers and Quaternions -- Calculus -- 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