Free Computer Books, Tutorials & Lecture Notes
Mathematics
&
Logic
Select a Book Catagory -->
Book Home
Languages
Java and J2EE
Unix, Linux
Computer Science
Special Topics
Databases
Networking
Web/Internet
Microsoft Windows
Miscellaneous
Other IT Book Sites
Pattern in the Title:
Only Problems, Not Solutions! 4th Ed. (F. Smarandache)
Applied Probability (Tina Kapur, Rajeev Surati)
Mathematics for Computer Science (Tara Holm)
Discrete Mathematics (Shai Simonson)
Practical Foundations of Mathematics (Paul Taylor)
A Problem Course in Mathematical Logic (Stefan Bilaniuk)
Logic for Computer Science: Foundations of Automatic Theorem Proving (by Jean Gallier)
Foundations of Computer Science (Hans-Peter Bischof)
Introduction to Finite Mathematics (John G. Kemeny, et al)
Mathematical Foundations of Computer Science (Susan H. Rodger)
A Computational Introduction to Number Theory and Algebra (V. Shoup)
The Limits of Mathematics: A Course on Information Theory and the Limits of Formal Reasoning (G.J. Chaitin)
Linear Algebre (Jim Hefferon)
[Answer to Exercises]
Magic Squares and Cubes (W. S. Andrews)
Implementing Mathematics with The Nuprl Proof System
Algebra Plus
(by Eric G. Wagner)
Basic Concepts of Mathematics (E. Zakon)
Abstract Algebra: The Basic Graduate Year (R.B. Ash)
Advanced Calculus (by L.H. Loomis, and S. Sternberg, Harvard University, 1990, 592p, PDF)
A Course in Universal Algebra (by Stanley N. Burris and H.P. Sankappanavar)
Universal Algebra for Computer Science
(Eric G. Wagner)
The Structure of Finite Algebras (D. Hobby and R. McKenzie)
Abstract Algebra Online
Mathematical Tools for Physics
Elementary Linear Algebra (K. Matthews)
Mathematical Analysis I (E. Zakon)
Elements of Abstract and Linear Algebra (E.H. Connell)
An Introduction to the Theory of Numbers (L. Moser)
Vector Math for 3D Computer Graphics, 3rd Edition
Logics of Time and Computation (Robert Goldblatt)
Categories, Types and Structures: An introduction to Category Theory for the Computer Scientist (G. Longo)
Constructive Real Numbers and Constructive Function Spaces (by N. A. Sanin)
Logic and Proof
Toposes, Triples and Theories (M. Barr, C. Wells)
Templates for the Solution of Linear Systems: Building Blocks for the Iterative Methods
Graph Theory, 3rd Edition (R. Diestel)
Elementary Linear Algebra
Matroid Decomposition (K. Truemper)
Model Theory, Algebra, and Geometry
Probability Theory: The Logic of Science (E.T. Jaynes)
Notes on Coding Theory (J.I. Hall)
Unsolved Problems in Mathematical Systems and Control Theory (Edited by V.D. Blondel and A. Megretski)
Mathematics and Biology: The Interface, Challenges, and Opportunities
[
Mirror
]
About Books
FAQ
Free
IT Magazines
Java Resource
IT Jobs
Support this site, buy deep discounted Computer Books
here
!
