Judith Gersting's Mathematical Structures for Computer Science has long been acclaimed for its clear presentation of essential concepts and its exceptional range of applications relevant to computer science majors. Now with this new edition, it is the first discrete mathematics textbook revised to meet the proposed new ACM/IEEE standards for the course.
I would never pick up this book unless for my class homework. After three-semester, finally done with this book. The concepts are pretty high level, but I have to agree that they are useful in the terms of programming.