Buch

---

Übersicht

---

Verlag	:	Springer International Publishing
Buchreihe	:	Undergraduate Topics in Computer Science
Sprache	:	Englisch
Erschienen	:	11. 01. 2020
Seiten	:	344
Einband	:	Kartoniert
Höhe	:	235 mm
Breite	:	155 mm
ISBN	:	9783030342081
Sprache	:	Englisch

---

Autorinformation

---

Dr. Gerard O'Regan is a CMMI software process improvement consultant with research interests including software quality and software process improvement, mathematical approaches to software quality, and the history of computing. He is the author of such Springer titles as World of Computing: A Primer Companion for the Digital Age, Concise Guide to Formal Methods, Concise Guide to Software Engineering, Guide to Discrete Mathematics, and Introduction to the History of Computing.

Inhaltsverzeichnis

---

What is a Computer?.- Foundations of Computing.- Overview of Mathematics in Computing.- Introduction to Algorithms.- Number Theory.- Algebra.- Sequences, Series, and Permutations and Combinations.- Mathematical Induction and Recursion.- Graph Theory.- Cryptography.- Coding Theory.- Language Theory and Semantics.- Computability and Decidability.- Matrix Theory.- A Short History of Logic.- Propositional and Predicate Logic.- Advanced Topics in Logic.- The Nature of Theorem Proving.- Software Engineering Mathematics.- Software Reliability and Dependability.- Overview of Formal Methods.- Z Formal Specification Language.- Automata Theory.- Model Checking.- Probability and Statistics.- Complex Numbers and Quaternions.- Calculus.- Epilogue.

Pressestimmen

---

“This book, authored by a prolific writer, is about the applications of mathematics in computing and places emphasis on historical contexts where applicable. Aimed at undergraduate students of computer science, the book provides helpful pedagogical features: key topics covered in each chapter are listed at the beginning … . The book achieves its objective of providing a flavour of the mathematics used in computing, so the general reader will likely benefit from it as well.” (David J. Littleboy, SIGACT News, Vol. 55 (1), 2024)

Deine Buchhandlung

---