Sets, logic and maths for computing (Q5900029)

This book is the excellent introductory course on mathematics for undergraduate students who would like to study computing. It explains the basic mathematical tools required by students as they set out in their studies of computer science or informatics. University studies in computing require the ability to pass from a concrete problem to an abstract representation, reason with the abstract structure, and return with useful solution to the specific situation. This short book offers just the basics which students need to know from the beginning, and on which they can build further when needed. This easy-to-follow text allows readers to carry out their computing studies with a clear understanding of the basic finite mathematics and logic that they will need. Written explicitly for undergraduates, it requires only a minimal mathematical background and is ideal for self-study as well as classroom use. It will be observed that author teaches the material as a language for thinking, as much as knowledge to be acquired and uses an intuitive approach with a focus on examples for all general concepts. Numerous exercises, solutions and proofs to deepen and test the reader's understanding are provided in the book. From time to time there are `boxes' of a different nature in the text. They raise common queries and clear away confusions. So the book is about certain mathematical tools that students need to apply over and over again when working with computations. There are included set theory, theory of relations, theory of functions, induction, recursion, combinatorics, probability, trees, propositional, and quantificational logics. Because of this all, the book will be of interest to any student who would like to understand the mathematical language. No matter if readers may not have done much mathematics at school: they can re-learn the essentials with the book, and perhaps even have fun doing so.