Mathematics for programmers - Bob Tunnicliffe

Covering material suitable for a first year course in mathematics for computing science specialists, this text introduces mathematics in the context of its use in programming. The book also introduces the role of maths in programming, suitable for interested professionals in the software industry. Topics include: the basic mathematical language of sets; functions and relations; propositions and predicates. These are used in the context of various data types - natural numbers; characters and strings; generic types including stacks and trees. Functions are used to describe the effect of calculations, logic to describe what is required in a rigorous way, and other mathematical structures to provide the initial formal model of a "real" problem. Functions are used both to capture the effect of some calculation, and what is required from a calculation.