Mathematics for Computer Scientists
by Gareth J. Janacek, Mark L. Close
Publisher: BookBoon 2008
Number of pages: 153
In this textbook you will find the basic mathematics that is needed by computer scientists. The author will help you to understand the meaning and function of mathematical concepts. The best way to learn it, is by doing it, the exercises in this book will help you do just that. Subjects as Elementary logic, factorization, plotting functions and matrices are explained.
Home page url
Download or read it online for free here:
by S. Basu, R. Pollack, M. Roy - Springer
The monograph gives a detailed exposition of the algorithmic real algebraic geometry. It is well written and will be useful both for beginners and for advanced readers, who work in real algebraic geometry or apply its methods in other fields.
by Cameron Davidson-Pilon - GitHub, Inc.
This book is designed as an introduction to Bayesian inference from a computational understanding-first, and mathematics-second, point of view. The book assumes no prior knowledge of Bayesian inference nor probabilistic programming.
by T. Nipkow, L.C. Paulson, M. Wenzel - Springer
This book is a self-contained introduction to interactive proof in higher-order logic, using the proof assistant Isabelle. It is a tutorial for potential users. The book has three parts: Elementary Techniques; Logic and Sets; Advanced Material.
by Victor Shoup - Cambridge University Press
This introductory book emphasises algorithms and applications, such as cryptography and error correcting codes. It is accessible to a broad audience. Prerequisites are a typical undergraduate course in calculus and some experience in doing proofs.