Discrete Structures, Logic, and Computability

This book introduces the beginning computer science student to some of the fundamental ideas and techniques used by computer scientists today, focusing on discrete structures, logic, and computability.

---

Hein (Portland State U.) offers an introductory textbook that aims to give the reader a holistic understanding of discrete mathematics and computer science, through careful illustration of relationships between key concepts. Focusing on computation and the construction of objects, the text is organi