Mathematics in Computing : An Accessible Guide to Historical, Foundational and Application Contexts /

This illuminating textbook provides a concise review of the core concepts in mathematics essential to computer scientists. Emphasis is placed on the practical computing applications enabled by seemingly abstract mathematical ideas, presented within their historical context. The text spans a broad se...

Full description

Bibliographic Details
Main Author:	O'Regan, Gerard (Author)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2020.
Edition:	2nd ed. 2020.
Series:	Undergraduate Topics in Computer Science,
Subjects:	Computer science-Mathematics. Computer mathematics. Mathematical logic. Coding theory. Information theory. Mathematics. History. Math Applications in Computer Science. Mathematical Applications in Computer Science. Mathematical Logic and Formal Languages. Coding and Information Theory. History of Mathematical Sciences. Electronic books.
Online Access:	Connect to the full text of this electronic book

Table of Contents:

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.