Mathematical Foundations of Software Engineering A Practical Guide to Essentials /

This essential 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 trad...

Fuld beskrivelse

Saved in:
Bibliografiske detaljer
Hovedforfatter: O'Regan, Gerard (Author)
Institution som forfatter: SpringerLink (Online service)
Format: Electronisk eBog
Sprog:engelsk
Udgivet: Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Udgivelse:1st ed. 2023.
Serier:Texts in Computer Science,
Fag:
Online adgang:https://doi.org/10.1007/978-3-031-26212-8
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
Indholdsfortegnelse:
  • 1. Fundamentals of Software Engineering
  • 2. Software Engineering Mathematics
  • 3. Mathematical Prerequisites
  • 4. Introduction to Algorithms
  • 5
  • Algebra
  • 6. Mathematical Induction and Recursion
  • 7. Graph Theory
  • 8. Sequences, Series and Permutations and Combinations
  • 9. A Short History of Logic
  • 10. Propositional and Predicate Logic
  • 11. Advanced Topics in Logic
  • 12. Language Theory and Semantics
  • 13. Automata Theory
  • 14. Computability and Decidability
  • 15. Software Reliability and Dependability.