Ebook: Mathematical Foundations of Software Engineering: A Practical Guide to Essentials
Author: Gerard O'Regan
- Genre: Mathematics
- Tags: Discrete Mathematics, Cryptography, Number Theory, Algebra, Graph Theory, Matrix Theory, Computational Logic, Quaternion, Ring Theory, Financial Mathematics, Software Engineering Logic, Formal Methods
- Series: Texts in Computer Science
- Year: 2023
- Publisher: Springer
- City: Cham
- Edition: 1
- Language: English
- pdf
This textbook presents an introduction to the mathematical foundations of software engineering. It presents the rich applications of mathematics in areas such as error-correcting codes, cryptography, the safety and security critical fields, the banking and insurance fields, as well as traditional engineering applications.
Topics and features:
- Addresses core mathematics for critical thinking and problem solving
- Discusses propositional and predicate logic and various proof techniques to demonstrate the correctness of a logical argument.
- Examines number theory and its applications to cryptography
- Considers the underlying mathematics of error-correcting codes
- Discusses graph theory and its applications to modelling networks
- Reviews tools to support software engineering mathematics, including automated and interactive theorem provers and model checking
- Discusses financial software engineering, including simple and compound interest, probability and statistics, and operations research
- Discusses software reliability and dependability and explains formal methods used to derive a program from its specification
- Discusses calculus, matrices, vectors, complex numbers, and quaternions, as well as applications to graphics and robotics
- 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 mathematics can assist them in building high-quality and reliable software on time and on budget. The text also serves as an excellent self-study primer for software engineers, quality professionals, and software managers.
Download the book Mathematical Foundations of Software Engineering: A Practical Guide to Essentials for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)