48,95 €
Versandkostenfrei per Post / DHL
Lieferzeit 1-2 Wochen
Features: This book 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; 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 advanced topics such as the nature of theorem proving; 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.
Features: This book 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; 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 advanced topics such as the nature of theorem proving; 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.
Presents a broad and accessible introduction to discrete mathematics
Provides an introduction to logic, covering historical developments
Presents a strong focus on applications to cryptography, coding and graph theory, formal methods
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.
| Erscheinungsjahr: | 2022 |
|---|---|
| Genre: | Informatik, Mathematik, Medizin, Naturwissenschaften, Technik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Taschenbuch |
| Inhalt: |
xxi
452 S. 114 s/w Illustr. 64 farbige Illustr. 452 p. 178 illus. 64 illus. in color. |
| ISBN-13: | 9783030815905 |
| ISBN-10: | 3030815900 |
| Sprache: | Englisch |
| Einband: | Kartoniert / Broschiert |
| Autor: | O'Regan, Gerard |
| Auflage: | Second Edition 2021 |
| Hersteller: |
Springer
Springer International Publishing AG |
| Verantwortliche Person für die EU: | Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com |
| Maße: | 235 x 155 x 26 mm |
| Von/Mit: | Gerard O'Regan |
| Erscheinungsdatum: | 29.10.2022 |
| Gewicht: | 0,715 kg |
Ähnliche Produkte
Lieferzeit 1-2 Wochen
Lieferzeit 2-3 Wochen
Lieferzeit 4-7 Werktage
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Wochen
Lieferzeit 2-3 Wochen