Mathematics in Computing
Springer London Ltd (Verlag)
978-1-4471-4533-2 (ISBN)
This clearly written and enlightening textbook provides a concise, introductory guide to the key mathematical concepts and techniques used by computer scientists. Topics and features: ideal for self-study, offering many pedagogical features such as chapter-opening key topics, chapter introductions and summaries, review questions, and a glossary; places our current state of knowledge within the context of the contributions made by early civilizations, such as the ancient Babylonians, Egyptians and Greeks; examines the building blocks of mathematics, including sets, relations and functions; presents an introduction to logic, formal methods and software engineering; explains the fundamentals of number theory, and its application in cryptography; describes the basics of coding theory, language theory, and graph theory; discusses the concept of computability and decideability; includes concise coverage of calculus, probability and statistics, matrices, complex numbers and quaternions.
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 the Springer titles "A Brief History of Computing", "Introduction to Software Process Improvement", "Mathematical Approaches to Software Quality" and "A Practical Approach to Software Quality".
Mathematics in Civilization.- Sets, Relations and Functions.- Logic.- Software Engineering.- Formal Methods.- Z Formal Specification Language.- Number Theory.- Cryptography.- Coding Theory.- Language Theory and Semantics.- Computability and Decidability.- Probability, Statistics and Software Reliability.- Matrix Theory.- Complex Numbers and Quaternions.- Calculus.- Graph Theory.
| Zusatzinfo | XX, 288 p. |
|---|---|
| Verlagsort | England |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Themenwelt | Informatik ► Theorie / Studium ► Kryptologie |
| Mathematik / Informatik ► Mathematik ► Angewandte Mathematik | |
| Mathematik / Informatik ► Mathematik ► Geschichte der Mathematik | |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| Schlagworte | Calculus • coding theory • cryptography • Discrete Mathematics • formal methods • graph theory • Group Theory and Ring Theory • History of Mathematics • matrix theory • Number Theory • probability and statistics • Software engineering • Software Reliability • Z Specification Language |
| ISBN-10 | 1-4471-4533-X / 144714533X |
| ISBN-13 | 978-1-4471-4533-2 / 9781447145332 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
