Mathematics for Computer Scientists
by Gareth J. Janacek, Mark L. Close
Publisher: BookBoon 2008
ISBN-13: 9788776814267
Number of pages: 153
Description:
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.
Download or read it online for free here:
Download link
(3.9MB, PDF)
Similar books
Mathematics in the Age of the Turing Machineby Thomas Hales - arXiv
Computers have rapidly become so pervasive in mathematics that future generations may look back to this day as a golden dawn. The article gives a survey of mathematical proofs that rely on computer calculations and formal proofs.
(16040 views)
Computer Algebra, Algorithms, Systems and Applicationsby Richard Liska, at al. - Czech Technical University
From the table of contents: Introduction; Algorithms for algebraic computation; Integrated mathematical systems; Basic possibilities of integrated mathematical systems; Applications of computer algebra; Another sources of study.
(17644 views)
Numerical Algorithms: Methods for Computer Vision, Machine Learning, and Graphicsby Justin Solomon - CRC Press
Using examples from a broad base of computational tasks, including data processing and computational photography, the book introduces numerical modeling and algorithmic design from a practical standpoint and provides insight into theoretical tools.
(9574 views)
Isabelle/HOL: A Proof Assistant for Higher-Order Logicby 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.
(17596 views)