Información del autor
Autor O'Regan, Gerard |
Documentos disponibles escritos por este autor (8)
Crear una solicitud de compra Refinar búsqueda
TÃtulo : A Brief History of Computing Tipo de documento: documento electrónico Autores: O'Regan, Gerard, Mención de edición: 3 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XXV, 359 p. 129 ilustraciones, 85 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-66599-9 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: Ordenador Historia de la Computación Clasificación: 004.09 Resumen: La historia de la informática tiene sus orÃgenes en los inicios de la civilización, y la necesidad de cálculos cada vez más sofisticados ha crecido a medida que evolucionaron los pueblos y comunidades. Este texto animado y fascinante rastrea los avances clave en la computación (desde el 3000 a. C. hasta la actualidad) de una manera concisa y fácil de seguir. Al ofrecer una introducción completa a los acontecimientos y conceptos más importantes de la historia de la informática, el libro se embarca en un viaje desde el antiguo Egipto hasta los tiempos modernos; desde calculadoras mecánicas, las primeras computadoras digitales, las primeras computadoras personales y teléfonos móviles, hasta la historia de la ingenierÃa de software, la evolución de los lenguajes de programación y la invención de la World Wide Web, entre otros temas. Esta nueva edición ampliada y revisada también examina el nacimiento de la industria del software y la evolución de la interacción persona-computadora, además de innovaciones como la computación en la nube, el Internet de las cosas y la computación cuántica. Temas y caracterÃsticas: · Ideal para el autoestudio, ya que ofrece muchas caracterÃsticas pedagógicas, como temas clave de apertura de capÃtulos, introducciones y resúmenes de capÃtulos, ejercicios y un glosario · Presenta información detallada sobre figuras importantes de la informática, como Boole, Babbage, Shannon , Turing, Zuse y Von Neumann · Analiza las primeras computadoras desarrolladas en Estados Unidos, Alemania y Gran Bretaña. · Analiza el desarrollo de la familia de computadoras IBM 360 y su importancia · Analiza el nacimiento de la industria del software y la evolución de la interacción persona-computadora · Revisa la historia de la ingenierÃa de software, los lenguajes de programación y los sistemas operativos · Analiza el progreso de la campo de la inteligencia artificial · Examina el impacto en la sociedad de la introducción de la computadora personal, la World Wide Web y la tecnologÃa de telefonÃa móvil · Analiza una variedad de innovaciones en informática como la computación en la nube, Internet de las cosas y la computación cuántica · Analiza Aspectos legales de la informática y responsabilidades profesionales de los profesionales de la informática. Este texto amplio y claramente escrito le da al lector una idea de la historia y estimula un mayor estudio del tema. Como tal, será de gran beneficio para los estudiantes de informática y, al mismo tiempo, captará el interés del lector más informal. Acerca del autor: El Dr. Gerard O''Regan es un consultor con intereses de investigación que incluyen la calidad del software y la mejora de los procesos del software, enfoques matemáticos de la calidad del software y la historia de la informática. Es autor de libros de texto de Springer como GuÃa concisa de métodos formales, GuÃa concisa de ingenierÃa de software, Matemáticas en informática y GuÃa concisa para pruebas de software. Nota de contenido: 1. What is a Computer ? -- 2. Early Civilisations -- 3. Foundations of Computing -- 4. The First Computers -- 5. Early Commercial Computers -- 6. Transistors and Semiconductors -- 7. Early Mainframes -- 8. The IBM 360 and later Mainframes -- 9. DEC and Minicomputers -- 10. The Microprocessor -- 11. Home Computers -- 12. The IBM Personal Computer -- 13. History of Operating Systems -- 14. The Birth of Software Industry and Human Computer Interaction -- 15. History of Programming Languages -- 16. History of Software Engineering -- 17. A Short History of Telecommunications -- 18. The Internet Revolution -- 19. The Smart Phone and the Facebook Revolution -- 20. A Miscellany of Innovations -- 21. History of Databases -- 22. History of Artificial Intelligence -- 23. Ethics and Professional Responsibility -- 24. Legal Aspects of Computing. Tipo de medio : Computadora Summary : The history of computing has its origins at the outset of civilization, and the need for increasingly sophisticated calculations has grown as towns and communities evolved. This lively and fascinating text traces the key developments in computation – from 3000 B.C. to the present day – in an easy-to-follow and concise manner. Providing a comprehensive introduction to the most significant events and concepts in the history of computing, the book embarks upon a journey from ancient Egypt to modern times; taking in mechanical calculators, early digital computers, the first personal computers and mobile phones, to the history of software engineering, the evolution of programming languages and the invention of the World Wide Web, among other topics. This expanded and revised new edition also examines the birth of the software industry and the evolution of human-computer interaction, in addition to innovations such as Cloud computing, the Internet of Things, and Quantum Computing. Topics and features: · Ideal for self-study, offering many pedagogical features such as chapter-opening key topics, chapter introductions and summaries, exercises, and a glossary · Presents detailed information on major figures in computing, such as Boole, Babbage, Shannon, Turing, Zuse and Von Neumann · Discusses the earliest computers developed in the United States, Germany and Britain. · Discusses the development of the IBM 360 family of computers and its importance · Discusses the birth of the software industry and the evolution of human-computer interaction · Reviews the history of software engineering, programming languages, and operating systems · Discusses the progress of the field of artificial intelligence · Examines the impact on society of the introduction of the personal computer, the World Wide Web, and mobile phone technology · Discusses a miscellany of innovations in computing such as cloud computing, the Internet of Things, and Quantum Computing· Discusses legal aspects of computing and professional responsibilities of computer professionals This clearly written and broad-ranging text both gives the reader a flavour of the history and stimulates further study in the subject. As such, it will be of great benefit to students of computer science, while also capturing the interest of the more casual reader. About the Author: Dr. Gerard O'Regan is a 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 textbooks such as Concise Guide to Formal Methods, Concise Guide to Software Engineering, Mathematics in Computing, and Concise Guide to Software Testing. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] A Brief History of Computing [documento electrónico] / O'Regan, Gerard, . - 3 ed. . - [s.l.] : Springer, 2021 . - XXV, 359 p. 129 ilustraciones, 85 ilustraciones en color.
ISBN : 978-3-030-66599-9
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: Ordenador Historia de la Computación Clasificación: 004.09 Resumen: La historia de la informática tiene sus orÃgenes en los inicios de la civilización, y la necesidad de cálculos cada vez más sofisticados ha crecido a medida que evolucionaron los pueblos y comunidades. Este texto animado y fascinante rastrea los avances clave en la computación (desde el 3000 a. C. hasta la actualidad) de una manera concisa y fácil de seguir. Al ofrecer una introducción completa a los acontecimientos y conceptos más importantes de la historia de la informática, el libro se embarca en un viaje desde el antiguo Egipto hasta los tiempos modernos; desde calculadoras mecánicas, las primeras computadoras digitales, las primeras computadoras personales y teléfonos móviles, hasta la historia de la ingenierÃa de software, la evolución de los lenguajes de programación y la invención de la World Wide Web, entre otros temas. Esta nueva edición ampliada y revisada también examina el nacimiento de la industria del software y la evolución de la interacción persona-computadora, además de innovaciones como la computación en la nube, el Internet de las cosas y la computación cuántica. Temas y caracterÃsticas: · Ideal para el autoestudio, ya que ofrece muchas caracterÃsticas pedagógicas, como temas clave de apertura de capÃtulos, introducciones y resúmenes de capÃtulos, ejercicios y un glosario · Presenta información detallada sobre figuras importantes de la informática, como Boole, Babbage, Shannon , Turing, Zuse y Von Neumann · Analiza las primeras computadoras desarrolladas en Estados Unidos, Alemania y Gran Bretaña. · Analiza el desarrollo de la familia de computadoras IBM 360 y su importancia · Analiza el nacimiento de la industria del software y la evolución de la interacción persona-computadora · Revisa la historia de la ingenierÃa de software, los lenguajes de programación y los sistemas operativos · Analiza el progreso de la campo de la inteligencia artificial · Examina el impacto en la sociedad de la introducción de la computadora personal, la World Wide Web y la tecnologÃa de telefonÃa móvil · Analiza una variedad de innovaciones en informática como la computación en la nube, Internet de las cosas y la computación cuántica · Analiza Aspectos legales de la informática y responsabilidades profesionales de los profesionales de la informática. Este texto amplio y claramente escrito le da al lector una idea de la historia y estimula un mayor estudio del tema. Como tal, será de gran beneficio para los estudiantes de informática y, al mismo tiempo, captará el interés del lector más informal. Acerca del autor: El Dr. Gerard O''Regan es un consultor con intereses de investigación que incluyen la calidad del software y la mejora de los procesos del software, enfoques matemáticos de la calidad del software y la historia de la informática. Es autor de libros de texto de Springer como GuÃa concisa de métodos formales, GuÃa concisa de ingenierÃa de software, Matemáticas en informática y GuÃa concisa para pruebas de software. Nota de contenido: 1. What is a Computer ? -- 2. Early Civilisations -- 3. Foundations of Computing -- 4. The First Computers -- 5. Early Commercial Computers -- 6. Transistors and Semiconductors -- 7. Early Mainframes -- 8. The IBM 360 and later Mainframes -- 9. DEC and Minicomputers -- 10. The Microprocessor -- 11. Home Computers -- 12. The IBM Personal Computer -- 13. History of Operating Systems -- 14. The Birth of Software Industry and Human Computer Interaction -- 15. History of Programming Languages -- 16. History of Software Engineering -- 17. A Short History of Telecommunications -- 18. The Internet Revolution -- 19. The Smart Phone and the Facebook Revolution -- 20. A Miscellany of Innovations -- 21. History of Databases -- 22. History of Artificial Intelligence -- 23. Ethics and Professional Responsibility -- 24. Legal Aspects of Computing. Tipo de medio : Computadora Summary : The history of computing has its origins at the outset of civilization, and the need for increasingly sophisticated calculations has grown as towns and communities evolved. This lively and fascinating text traces the key developments in computation – from 3000 B.C. to the present day – in an easy-to-follow and concise manner. Providing a comprehensive introduction to the most significant events and concepts in the history of computing, the book embarks upon a journey from ancient Egypt to modern times; taking in mechanical calculators, early digital computers, the first personal computers and mobile phones, to the history of software engineering, the evolution of programming languages and the invention of the World Wide Web, among other topics. This expanded and revised new edition also examines the birth of the software industry and the evolution of human-computer interaction, in addition to innovations such as Cloud computing, the Internet of Things, and Quantum Computing. Topics and features: · Ideal for self-study, offering many pedagogical features such as chapter-opening key topics, chapter introductions and summaries, exercises, and a glossary · Presents detailed information on major figures in computing, such as Boole, Babbage, Shannon, Turing, Zuse and Von Neumann · Discusses the earliest computers developed in the United States, Germany and Britain. · Discusses the development of the IBM 360 family of computers and its importance · Discusses the birth of the software industry and the evolution of human-computer interaction · Reviews the history of software engineering, programming languages, and operating systems · Discusses the progress of the field of artificial intelligence · Examines the impact on society of the introduction of the personal computer, the World Wide Web, and mobile phone technology · Discusses a miscellany of innovations in computing such as cloud computing, the Internet of Things, and Quantum Computing· Discusses legal aspects of computing and professional responsibilities of computer professionals This clearly written and broad-ranging text both gives the reader a flavour of the history and stimulates further study in the subject. As such, it will be of great benefit to students of computer science, while also capturing the interest of the more casual reader. About the Author: Dr. Gerard O'Regan is a 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 textbooks such as Concise Guide to Formal Methods, Concise Guide to Software Engineering, Mathematics in Computing, and Concise Guide to Software Testing. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
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 [...]
TÃtulo : Concise Guide to Software Engineering : From Fundamentals to Application Methods 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: XXIV, 331 p. 99 ilustraciones, 12 ilustraciones en color. ISBN/ISSN/DL: 978-3-319-57750-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: IngenierÃa de software IngenierÃa Informática Red de computadoras Software de ordenador IngenierÃa Informática y Redes Gestión de software Software matemático Clasificación: 005.1 Resumen: Este libro de texto esencial presenta una introducción concisa a los principios fundamentales de la ingenierÃa de software, junto con una guÃa práctica sobre cómo aplicar la teorÃa en un entorno industrial del mundo real. La amplia cobertura abarca todas las áreas del diseño, la gestión y la calidad del software. Temas y caracterÃsticas: Presenta una descripción general amplia de la ingenierÃa de software, incluidos los ciclos de vida del software y las fases de desarrollo de software, y la gestión de proyectos para ingenierÃa de software. Examina las áreas de ingenierÃa de requisitos, gestión de configuración de software, inspecciones de software, pruebas de software, garantÃa de calidad de software y procesos. calidad Cubre temas sobre métricas de software y resolución de problemas, confiabilidad y confiabilidad del software, y diseño y desarrollo de software, incluidos enfoques ágiles. Explica métodos formales, un conjunto de técnicas matemáticas para especificar y derivar un programa a partir de su especificación, presentando el lenguaje de especificación Z. Analiza el software. mejora de procesos, describe el modelo CMMI e introduce UML, un lenguaje de modelado visual para sistemas de software. Revisa una variedad de herramientas para respaldar diversas actividades en ingenierÃa de software y ofrece asesoramiento sobre la selección y gestión de un proveedor de software. Describe dichas innovaciones en el campo. del software como sistemas distribuidos, arquitectura orientada a servicios, software como servicio, computación en la nube y sistemas integrados. Incluye temas clave de aprendizaje, resúmenes y preguntas de repaso en cada capÃtulo, junto con un útil glosario. Este libro de texto práctico y fácil de seguir. La referencia es ideal para estudiantes de informática que buscan aprender cómo crear software confiable y de alta calidad a tiempo y dentro del presupuesto. El texto también sirve como manual de autoaprendizaje para ingenieros de software, profesionales de la calidad y administradores de software. Nota de contenido: Background -- Software Project Management -- Requirements Engineering -- Software Design and Development -- Configuration Management -- Software Inspections -- Software Testing -- Supplier Selection and Management -- Software Quality Assurance -- Software Metrics and Problem Solving -- Software Reliability and Dependability -- Formal Methods -- Z Formal Specification Language -- Unified Modeling Language -- Software Process Improvement -- Capability Maturity Model Integration -- Software Engineering Tools -- Agile Methodology -- A Miscellany of Innovation -- Epilogue. Tipo de medio : Computadora Summary : This essential textbook presents a concise introduction to the fundamental principles of software engineering, together with practical guidance on how to apply the theory in a real-world, industrial environment. The wide-ranging coverage encompasses all areas of software design, management, and quality. Topics and features: Presents a broad overview of software engineering, including software lifecycles and phases in software development, and project management for software engineering Examines the areas of requirements engineering, software configuration management, software inspections, software testing, software quality assurance, and process quality Covers topics on software metrics and problem solving, software reliability and dependability, and software design and development, including Agile approaches Explains formal methods, a set of mathematical techniques to specify and derive a program from its specification, introducing the Z specification language Discusses software process improvement, describing the CMMI model, and introduces UML, a visual modelling language for software systems Reviews a range of tools to support various activities in software engineering, and offers advice on the selection and management of a software supplier Describes such innovations in the field of software as distributed systems, service-oriented architecture, software as a service, cloud computing, and embedded systems Includes key learning topics, summaries and review questions in each chapter, together with a useful glossary This practical and easy-to-follow textbook/reference is ideal for computer science students seeking to learn how to build high quality and reliable software on time and on budget. The text also serves as a self-study primer for software engineers,quality professionals, and software managers. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Concise Guide to Software Engineering : From Fundamentals to Application Methods [documento electrónico] / O'Regan, Gerard, . - 1 ed. . - [s.l.] : Springer, 2017 . - XXIV, 331 p. 99 ilustraciones, 12 ilustraciones en color.
ISBN : 978-3-319-57750-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: IngenierÃa de software IngenierÃa Informática Red de computadoras Software de ordenador IngenierÃa Informática y Redes Gestión de software Software matemático Clasificación: 005.1 Resumen: Este libro de texto esencial presenta una introducción concisa a los principios fundamentales de la ingenierÃa de software, junto con una guÃa práctica sobre cómo aplicar la teorÃa en un entorno industrial del mundo real. La amplia cobertura abarca todas las áreas del diseño, la gestión y la calidad del software. Temas y caracterÃsticas: Presenta una descripción general amplia de la ingenierÃa de software, incluidos los ciclos de vida del software y las fases de desarrollo de software, y la gestión de proyectos para ingenierÃa de software. Examina las áreas de ingenierÃa de requisitos, gestión de configuración de software, inspecciones de software, pruebas de software, garantÃa de calidad de software y procesos. calidad Cubre temas sobre métricas de software y resolución de problemas, confiabilidad y confiabilidad del software, y diseño y desarrollo de software, incluidos enfoques ágiles. Explica métodos formales, un conjunto de técnicas matemáticas para especificar y derivar un programa a partir de su especificación, presentando el lenguaje de especificación Z. Analiza el software. mejora de procesos, describe el modelo CMMI e introduce UML, un lenguaje de modelado visual para sistemas de software. Revisa una variedad de herramientas para respaldar diversas actividades en ingenierÃa de software y ofrece asesoramiento sobre la selección y gestión de un proveedor de software. Describe dichas innovaciones en el campo. del software como sistemas distribuidos, arquitectura orientada a servicios, software como servicio, computación en la nube y sistemas integrados. Incluye temas clave de aprendizaje, resúmenes y preguntas de repaso en cada capÃtulo, junto con un útil glosario. Este libro de texto práctico y fácil de seguir. La referencia es ideal para estudiantes de informática que buscan aprender cómo crear software confiable y de alta calidad a tiempo y dentro del presupuesto. El texto también sirve como manual de autoaprendizaje para ingenieros de software, profesionales de la calidad y administradores de software. Nota de contenido: Background -- Software Project Management -- Requirements Engineering -- Software Design and Development -- Configuration Management -- Software Inspections -- Software Testing -- Supplier Selection and Management -- Software Quality Assurance -- Software Metrics and Problem Solving -- Software Reliability and Dependability -- Formal Methods -- Z Formal Specification Language -- Unified Modeling Language -- Software Process Improvement -- Capability Maturity Model Integration -- Software Engineering Tools -- Agile Methodology -- A Miscellany of Innovation -- Epilogue. Tipo de medio : Computadora Summary : This essential textbook presents a concise introduction to the fundamental principles of software engineering, together with practical guidance on how to apply the theory in a real-world, industrial environment. The wide-ranging coverage encompasses all areas of software design, management, and quality. Topics and features: Presents a broad overview of software engineering, including software lifecycles and phases in software development, and project management for software engineering Examines the areas of requirements engineering, software configuration management, software inspections, software testing, software quality assurance, and process quality Covers topics on software metrics and problem solving, software reliability and dependability, and software design and development, including Agile approaches Explains formal methods, a set of mathematical techniques to specify and derive a program from its specification, introducing the Z specification language Discusses software process improvement, describing the CMMI model, and introduces UML, a visual modelling language for software systems Reviews a range of tools to support various activities in software engineering, and offers advice on the selection and management of a software supplier Describes such innovations in the field of software as distributed systems, service-oriented architecture, software as a service, cloud computing, and embedded systems Includes key learning topics, summaries and review questions in each chapter, together with a useful glossary This practical and easy-to-follow textbook/reference is ideal for computer science students seeking to learn how to build high quality and reliable software on time and on budget. The text also serves as a self-study primer for software engineers,quality professionals, and software managers. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Concise Guide to Software Testing 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: 2019 Número de páginas: XXIV, 293 p. 92 ilustraciones, 84 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-28494-7 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: IngenierÃa de software Sistemas de seguridad Ciencia y tecnologÃa de seguridad Clasificación: 005.1 Resumen: Este libro de texto de enfoque práctico proporciona una introducción concisa y accesible al campo de las pruebas de software, explica los principios fundamentales y ofrece orientación sobre la aplicación de la teorÃa en un entorno industrial. Temas y caracterÃsticas: Presenta una breve historia de la calidad del software y sus pioneros influyentes, asà como una discusión de los diversos ciclos de vida del software utilizados en el desarrollo de software. Describe los fundamentos de las pruebas en la ingenierÃa de software tradicional y el papel que desempeñan las pruebas estáticas en la construcción de calidad. en un producto Explica el proceso de planificación de pruebas de software, análisis y diseño de pruebas, y gestión de pruebas Analiza la subcontratación de pruebas, las métricas de pruebas y la resolución de problemas Revisa las herramientas disponibles para respaldar las actividades de pruebas de software y los beneficios de una iniciativa de mejora de procesos de software Examina las pruebas en el mundo ágil y la verificación de sistemas crÃticos de seguridad. Considera los aspectos legales y éticos de las pruebas de software y la importancia de la gestión de la configuración del software. Proporciona temas de aprendizaje clave y preguntas de revisión en cada capÃtulo, y proporciona un útil glosario al final del libro. Esta guÃa fácil de seguir es un recurso esencial para estudiantes universitarios de informática que buscan aprender sobre pruebas de software y cómo crear software confiable y de alta calidad a tiempo y dentro del presupuesto. El trabajo también será de interés para los industriales, incluidos ingenieros de software, evaluadores de software, profesionales de la calidad y administradores de software, asà como para el lector motivado en general. 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 libros de texto de Springer como GuÃa concisa de métodos formales, GuÃa concisa de ingenierÃa de software, GuÃa de matemáticas discretas e Introducción a la calidad del software. Nota de contenido: Fundamentals of Software Quality -- Fundamentals of Software Engineering -- Fundamentals of Software Testing -- Static Testing -- Software Test Planning -- Test Case Analysis and Design -- Test Execution and Management -- Test Outsourcing -- Test Metrics and Problem Solving -- Software Testing Tools -- Test Process Improvement -- Testing in the Agile World -- Verification of Safety Critical Systems -- Legal, Ethical and Professional Aspects of Testing -- Configuration Management -- Epilogue. Tipo de medio : Computadora Summary : This practically-focused textbook provides a concise and accessible introduction to the field of software testing, explaining the fundamental principles and offering guidance on applying the theory in an industrial environment. Topics and features: Presents a brief history of software quality and its influential pioneers, as well as a discussion of the various software lifecycles used in software development Describes the fundamentals of testing in traditional software engineering, and the role that static testing plays in building quality into a product Explains the process of software test planning, test analysis and design, and test management Discusses test outsourcing, and test metrics and problem solving Reviews the tools available to support software testing activities, and the benefits of a software process improvement initiative Examines testing in the Agile world, and the verification of safety criticalsystems Considers the legal and ethical aspects of software testing, and the importance of software configuration management Provides key learning topics and review questions in every chapter, and supplies a helpful glossary at the end of the book This easy-to-follow guide is an essential resource for undergraduate students of computer science seeking to learn about software testing, and how to build high quality and reliable software on time and on budget. The work will also be of interest to industrialists including software engineers, software testers, quality professionals and software managers, as well as the motivated general reader. 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 textbooks as Concise Guide to FormalMethods, Concise Guide to Software Engineering, Guide to Discrete Mathematics, and Introduction to Software Quality. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Concise Guide to Software Testing [documento electrónico] / O'Regan, Gerard, . - 1 ed. . - [s.l.] : Springer, 2019 . - XXIV, 293 p. 92 ilustraciones, 84 ilustraciones en color.
ISBN : 978-3-030-28494-7
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: IngenierÃa de software Sistemas de seguridad Ciencia y tecnologÃa de seguridad Clasificación: 005.1 Resumen: Este libro de texto de enfoque práctico proporciona una introducción concisa y accesible al campo de las pruebas de software, explica los principios fundamentales y ofrece orientación sobre la aplicación de la teorÃa en un entorno industrial. Temas y caracterÃsticas: Presenta una breve historia de la calidad del software y sus pioneros influyentes, asà como una discusión de los diversos ciclos de vida del software utilizados en el desarrollo de software. Describe los fundamentos de las pruebas en la ingenierÃa de software tradicional y el papel que desempeñan las pruebas estáticas en la construcción de calidad. en un producto Explica el proceso de planificación de pruebas de software, análisis y diseño de pruebas, y gestión de pruebas Analiza la subcontratación de pruebas, las métricas de pruebas y la resolución de problemas Revisa las herramientas disponibles para respaldar las actividades de pruebas de software y los beneficios de una iniciativa de mejora de procesos de software Examina las pruebas en el mundo ágil y la verificación de sistemas crÃticos de seguridad. Considera los aspectos legales y éticos de las pruebas de software y la importancia de la gestión de la configuración del software. Proporciona temas de aprendizaje clave y preguntas de revisión en cada capÃtulo, y proporciona un útil glosario al final del libro. Esta guÃa fácil de seguir es un recurso esencial para estudiantes universitarios de informática que buscan aprender sobre pruebas de software y cómo crear software confiable y de alta calidad a tiempo y dentro del presupuesto. El trabajo también será de interés para los industriales, incluidos ingenieros de software, evaluadores de software, profesionales de la calidad y administradores de software, asà como para el lector motivado en general. 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 libros de texto de Springer como GuÃa concisa de métodos formales, GuÃa concisa de ingenierÃa de software, GuÃa de matemáticas discretas e Introducción a la calidad del software. Nota de contenido: Fundamentals of Software Quality -- Fundamentals of Software Engineering -- Fundamentals of Software Testing -- Static Testing -- Software Test Planning -- Test Case Analysis and Design -- Test Execution and Management -- Test Outsourcing -- Test Metrics and Problem Solving -- Software Testing Tools -- Test Process Improvement -- Testing in the Agile World -- Verification of Safety Critical Systems -- Legal, Ethical and Professional Aspects of Testing -- Configuration Management -- Epilogue. Tipo de medio : Computadora Summary : This practically-focused textbook provides a concise and accessible introduction to the field of software testing, explaining the fundamental principles and offering guidance on applying the theory in an industrial environment. Topics and features: Presents a brief history of software quality and its influential pioneers, as well as a discussion of the various software lifecycles used in software development Describes the fundamentals of testing in traditional software engineering, and the role that static testing plays in building quality into a product Explains the process of software test planning, test analysis and design, and test management Discusses test outsourcing, and test metrics and problem solving Reviews the tools available to support software testing activities, and the benefits of a software process improvement initiative Examines testing in the Agile world, and the verification of safety criticalsystems Considers the legal and ethical aspects of software testing, and the importance of software configuration management Provides key learning topics and review questions in every chapter, and supplies a helpful glossary at the end of the book This easy-to-follow guide is an essential resource for undergraduate students of computer science seeking to learn about software testing, and how to build high quality and reliable software on time and on budget. The work will also be of interest to industrialists including software engineers, software testers, quality professionals and software managers, as well as the motivated general reader. 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 textbooks as Concise Guide to FormalMethods, Concise Guide to Software Engineering, Guide to Discrete Mathematics, and Introduction to Software Quality. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
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, 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. Idioma : Inglés (eng) 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 Clasificación: 004.0151 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. Tipo de medio : Computadora Summary : This stimulating textbook/reference presents a broad and accessible guide to the fundamentals of discrete mathematics, highlighting how the techniques may be applied to various exciting areas in computing. The text is designed to motivate and inspire the reader, encouraging further study in this important skill. Topics and features: Provides an introduction to the building blocks of discrete mathematics, including sets, relations and functions Describes the basics of number theory, the techniques of induction and recursion, and the applications of mathematical sequences, series, permutations, and combinations Presents the essentials of algebra, covering simultaneous and quadratic equations, and the laws of logarithms and indices, in addition to such structures in abstract algebra as monoids, groups, rings, integral domains, fields, and vector spaces Explains the fundamentals of automata theory, matrices, graph theory, cryptography, coding theory, language theory, and the concepts of computability and decidability Reviews the history of logic, discussing propositional and predicate logic, as well as such advanced topics as fuzzy logic, temporal logic, intuitionistic logic, undefined values, theorem provers, and the applications of logic to AI Examines the field of software engineering, including software reliability and dependability and describes formal methods Investigates probability and statistics and presents an overview of operations research and financial mathematics This engaging and clearly written work offers an invaluable overview of discrete mathematics for undergraduate computer science students, and to students of mathematics interested in the rich applications of discrete mathematics 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 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 [...] Guide to Discrete Mathematics : An Accessible Introduction to the History, Theory, Logic and Applications [documento electrónico] / O'Regan, Gerard, . - 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.
Idioma : Inglés (eng)
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 Clasificación: 004.0151 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. Tipo de medio : Computadora Summary : This stimulating textbook/reference presents a broad and accessible guide to the fundamentals of discrete mathematics, highlighting how the techniques may be applied to various exciting areas in computing. The text is designed to motivate and inspire the reader, encouraging further study in this important skill. Topics and features: Provides an introduction to the building blocks of discrete mathematics, including sets, relations and functions Describes the basics of number theory, the techniques of induction and recursion, and the applications of mathematical sequences, series, permutations, and combinations Presents the essentials of algebra, covering simultaneous and quadratic equations, and the laws of logarithms and indices, in addition to such structures in abstract algebra as monoids, groups, rings, integral domains, fields, and vector spaces Explains the fundamentals of automata theory, matrices, graph theory, cryptography, coding theory, language theory, and the concepts of computability and decidability Reviews the history of logic, discussing propositional and predicate logic, as well as such advanced topics as fuzzy logic, temporal logic, intuitionistic logic, undefined values, theorem provers, and the applications of logic to AI Examines the field of software engineering, including software reliability and dependability and describes formal methods Investigates probability and statistics and presents an overview of operations research and financial mathematics This engaging and clearly written work offers an invaluable overview of discrete mathematics for undergraduate computer science students, and to students of mathematics interested in the rich applications of discrete mathematics 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 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 [...]
