In particular, this book is meant to introduce logic, proofs, sets, relations, functions, counting, and probability, with an emphasis on applications in computer science.
Fully updated throughout, enable the students to develop the requisite computational skills needed in software engineering.
Some new chapters covering current topics are also added in this revised edition.