Introduces students to ideas and techniques from discrete mathematics that are widely used in science and engineering. Mathematical definitions and proofs are emphasized. Topics include formal logic ...

Mathematical thinking is crucial in all areas of computer science: algorithms, bioinformatics, computer graphics, data science, machine learning, etc. In this course, we will learn the most important ...

Written in a lively, clear style that talks to the reader, this book is unique for its emphasis on algorithmics and the inductive and recursive paradigms as central mathematical themes.