This is the companion volume to James L. Hein's Discrete Structures, Logic, and Computability, Third Edition.

Programming exercises are included in this book to help readers learn discrete mathematics, logic, and computability. Like typical homework tasks, the majority of the experiments are brief and to the point in order to accurately mimic normal classroom activities.

The new Third Edition of Discrete Structures, Logic, and Computability, which has been completely updated, focuses on topics from the fields of mathematics, logic, and computer science itself and introduces beginning computer science and computer engineering students to the fundamental methods and ideas used by computer scientists today.

Dr. Hein offers simple explanations of the concepts and methods needed to comprehend and apply the art and science of computers. All of the discrete structure-related subjects from the IEEE/ACM Joint Task Force on Computing Curricula reports for computer science programs and computer engineering programs are covered in the work.

Traditional experimental labs employ a wide range of instruments to carry out various tests. The experiments in this book were conducted using the Prolog programming language as the tool.