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 solvingDiscusses propositional and predicate logic and various proof techniques to demonstrate the correctness of a logical argument.Examines number theory and its...