Mathematics in Computing

Mathematics in Computing: An Accessible Guide to Historical, Foundational and Application Contexts
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.

Table of Contents

Chapter 1 Mathematics in Civilization
Chapter 2 Sets, Relations and Functions
Chapter 3 Logic
Chapter 4 Software Engineering
Chapter 5 Formal Methods
Chapter 6 Z Formal Specification Language
Chapter 7 Number Theory
Chapter 8 Cryptography
Chapter 9 Coding Theory
Chapter 10 Language Theory and Semantics
Chapter 11 Computability and Decidability
Chapter 12 Probability, Statistics and Software Reliability
Chapter 13 Matrix Theory
Chapter 14 Complex Numbers and Quaternions
Chapter 15 Calculus
Chapter 16 Graph Theory