|Categories||Download eBook: Prolog Experiments in Discrete Mathematics, Logic, and Computability|
This is the accompany book of Discrete Structures, Logic, and Computability, Third Edition, by James L. Hein.
This book contains programming experiments that are designed to reinforce the learning of discrete mathematics, logic, and computability. Most of the experiments are short and to the point, just like traditional homework problems, so that they reflect the daily classroom work.
Thoroughly updated, the new Third Edition of Discrete Structures, Logic, and Computability introduces beginning computer science and computer engineering students to the fundamental techniques and ideas used by computer scientists today, focusing on topics from the fields of mathematics, logic, and computer science itself. Dr. Hein provides elementary introductions to those ideas and techniques that are necessary to understand and practice the art and science of computing. The text contains all the topics for discrete structures in the reports of the IEEE/ACM Joint Task Force on Computing Curricula for computer science programs and for computer engineering programs.
More Prolog eBooks:
An Introduction to Logic Programming Through Prolog
Natural Language Processing for Prolog Programmers
Natural Language Processing Techniques in Prolog
Prolog Programming in Depth
Natural Language Processing for the Working Programmer
Logic, Programming and Prolog, 2nd Edition
Learn Prolog Now!