Buch, Englisch, 452 Seiten, HC runder Rücken kaschiert, Format (B × H): 160 mm x 241 mm, Gewicht: 875 g
Reihe: Texts in Computer Science
An Accessible Introduction to the History, Theory, Logic and Applications
Buch, Englisch, 452 Seiten, HC runder Rücken kaschiert, Format (B × H): 160 mm x 241 mm, Gewicht: 875 g
Reihe: Texts in Computer Science
ISBN: 978-3-030-81587-5
Verlag: Springer International Publishing
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.
Zielgruppe
Lower undergraduate
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik EDV & Informatik Allgemein EDV & Informatik: Geschichte
- Mathematik | Informatik Mathematik Mathematik Allgemein Geschichte der Mathematik
- Mathematik | Informatik Mathematik Mathematik Allgemein Diskrete Mathematik, Kombinatorik
- Mathematik | Informatik EDV | Informatik Informatik Mathematik für Informatiker
Weitere Infos & Material
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.