Publisher's Synopsis
Designed for a one-semester course for undergraduate majors in math, computer science, and computer engineering, this text helps students take the crucial step from consuming mathematics to producing mathematics. Author Vadim Ponomarenko employs the general concept of discrete mathematics to introduce the basic knowledge of proof techniques and their uses. Theorizing that providing solutions inhibits learning, he offers only hints to the many exercises.