| Título : |
Guide to Discrete Mathematics : An Accessible Introduction to the History, Theory, Logic and Applications |
| 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: |
2021 |
| Número de páginas: |
XXI, 452 p. 178 ilustraciones, 64 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-3-030-81588-2 |
| 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: |
Historia Aplicaciones matemáticas en informática Teoría de la Computación Matemáticas discretas Matemáticas discretas en informática Historia de la Computación Ordenador Unidades aritméticas y lógicas informáticas Matemáticas Informática Estructuras aritméticas y lógicas |
| Índice Dewey: |
004.015 Matemáticas aplicadas a la informática, especialmente lógica matemática y teoría de algoritmos. |
| Resumen: |
Este estimulante libro de texto/referencia presenta una guía amplia y accesible sobre los fundamentos de las matemáticas discretas, destacando cómo se pueden aplicar las técnicas a diversas áreas interesantes de la informática. El texto está diseñado para motivar e inspirar al lector, fomentando un mayor estudio de esta importante habilidad. Temas y características: Proporciona una introducción a los componentes básicos de las matemáticas discretas, incluidos conjuntos, relaciones y funciones. Describe los conceptos básicos de la teoría de números, las técnicas de inducción y recursividad, y las aplicaciones de secuencias, series, permutaciones y combinaciones matemáticas. Presenta el conceptos básicos de álgebra, que cubren ecuaciones simultáneas y cuadráticas, y las leyes de logaritmos e índices, además de estructuras en álgebra abstracta como monoides, grupos, anillos, dominios integrales, campos y espacios vectoriales. Explica los fundamentos de la teoría de autómatas, matrices, teoría de grafos, criptografía, teoría de la codificación, teoría del lenguaje y los conceptos de computabilidad y decidibilidad. Revisa la historia de la lógica, analizando la lógica proposicional y de predicados, así como temas avanzados como la lógica difusa, la lógica temporal, la lógica intuicionista, los valores indefinidos y los teoremas. probadores y las aplicaciones de la lógica a la IA Examina el campo de la ingeniería de software, incluida la confiabilidad y confiabilidad del software, y describe métodos formales Investiga la probabilidad y las estadísticas y presenta una descripción general de la investigación de operaciones y las matemáticas financieras. Este trabajo atractivo y claramente escrito ofrece una visión general invaluable de Matemáticas discretas para estudiantes universitarios de informática y para estudiantes de matemáticas interesados en las ricas aplicaciones de las matemáticas discretas en el 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 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: |
1. Mathematics in Civilization -- 2. Sets, Relations and Functions -- 3. Number Theory -- 4. Mathematical Induction and Recursion -- 5. Sequences, Series and Permutations and Combinations -- Algebra -- 6. Automata Theory -- 7. Matrix Theory -- 8. Graph Theory -- 9. Cryptography -- 10. Coding Theory -- 11. Language Theory and Semantics -- 12. Computability and Decidability -- 13. A Short History of Logic -- 14. Propositional and Predicate Logic -- 15. Advanced Topics in Logic -- 16. Software Engineering Mathematics -- 17. Formal Methods -- 18. Z Formal Specification Language -- 19. Probability, Statistics and Applications. |
| 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 |
Guide to Discrete Mathematics : An Accessible Introduction to the History, Theory, Logic and Applications [documento electrónico] / O'Regan, Gerard, Autor . - 2 ed. . - [s.l.] : Springer, 2021 . - XXI, 452 p. 178 ilustraciones, 64 ilustraciones en color. ISBN : 978-3-030-81588-2 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
| Palabras clave: |
Historia Aplicaciones matemáticas en informática Teoría de la Computación Matemáticas discretas Matemáticas discretas en informática Historia de la Computación Ordenador Unidades aritméticas y lógicas informáticas Matemáticas Informática Estructuras aritméticas y lógicas |
| Índice Dewey: |
004.015 Matemáticas aplicadas a la informática, especialmente lógica matemática y teoría de algoritmos. |
| Resumen: |
Este estimulante libro de texto/referencia presenta una guía amplia y accesible sobre los fundamentos de las matemáticas discretas, destacando cómo se pueden aplicar las técnicas a diversas áreas interesantes de la informática. El texto está diseñado para motivar e inspirar al lector, fomentando un mayor estudio de esta importante habilidad. Temas y características: Proporciona una introducción a los componentes básicos de las matemáticas discretas, incluidos conjuntos, relaciones y funciones. Describe los conceptos básicos de la teoría de números, las técnicas de inducción y recursividad, y las aplicaciones de secuencias, series, permutaciones y combinaciones matemáticas. Presenta el conceptos básicos de álgebra, que cubren ecuaciones simultáneas y cuadráticas, y las leyes de logaritmos e índices, además de estructuras en álgebra abstracta como monoides, grupos, anillos, dominios integrales, campos y espacios vectoriales. Explica los fundamentos de la teoría de autómatas, matrices, teoría de grafos, criptografía, teoría de la codificación, teoría del lenguaje y los conceptos de computabilidad y decidibilidad. Revisa la historia de la lógica, analizando la lógica proposicional y de predicados, así como temas avanzados como la lógica difusa, la lógica temporal, la lógica intuicionista, los valores indefinidos y los teoremas. probadores y las aplicaciones de la lógica a la IA Examina el campo de la ingeniería de software, incluida la confiabilidad y confiabilidad del software, y describe métodos formales Investiga la probabilidad y las estadísticas y presenta una descripción general de la investigación de operaciones y las matemáticas financieras. Este trabajo atractivo y claramente escrito ofrece una visión general invaluable de Matemáticas discretas para estudiantes universitarios de informática y para estudiantes de matemáticas interesados en las ricas aplicaciones de las matemáticas discretas en el 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 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: |
1. Mathematics in Civilization -- 2. Sets, Relations and Functions -- 3. Number Theory -- 4. Mathematical Induction and Recursion -- 5. Sequences, Series and Permutations and Combinations -- Algebra -- 6. Automata Theory -- 7. Matrix Theory -- 8. Graph Theory -- 9. Cryptography -- 10. Coding Theory -- 11. Language Theory and Semantics -- 12. Computability and Decidability -- 13. A Short History of Logic -- 14. Propositional and Predicate Logic -- 15. Advanced Topics in Logic -- 16. Software Engineering Mathematics -- 17. Formal Methods -- 18. Z Formal Specification Language -- 19. Probability, Statistics and Applications. |
| 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 |
|  |
Guide to Discrete Mathematics
