Books
Mathematics for Computer Science
Discrete Structures for Computer Science: Counting, Recursion, and Probability
This is book for an undergraduate course on Discrete Structures for Computer Science students. It covers mathematical reasoning, basic proof techniques, sets, functions, relations, basic graph theory, asymptotic notation, and countability.
Mathematics for Computer Science
This book covers elementary discrete mathematics for computer science and engineering. It emphasizes mathematical definitions and proofs as well as applicable methods.