**Prolog Experiments in Discrete Mathematics, Logic, and Computability**

by James Hein

**Publisher**: Portland State University 2009**Number of pages**: 158

**Description**:

This book contains programming experiments that are designed to reinforce the learning of discrete mathematics, logic, and computability. It is the outgrowth of the experimental portion of a one-year course in discrete structures, logic, and computability for sophomores at Portland State University. The course has evolved over the last ten years from a standard course into a course that uses programming experiments as part of the required activity. Most of the experiments are short and to the point, just like traditional homework problems, so that they reflect the daily classroom work. The experiments in the book are organized to accompany the material in Discrete Structures, Logic, and Computability, Second Edition, by James L. Hein.

Download or read it online for free here:

**Download link**

(1.3MB, PDF)

## Similar books

**Artificial Intelligence through Prolog**

by

**Neil C. Rowe**-

**Prentice-Hall**

Artificial intelligence is a hard subject to learn. The author have written a book to make it easier. He explains difficult concepts in a simple, concrete way. This book is intended for all first courses in artificial intelligence.

(

**23165**views)

**Learn Prolog Now!**

by

**Patrick Blackburn, Johan Bos, Kristina Striegnitz**-

**College Publications**

One of the most popular introductions to Prolog, an introduction prized for its clarity and down-to-earth approach. It is widely used as a textbook at university departments around the world, and even more widely used for self study.

(

**16762**views)

**An Introduction to Logic Programming through Prolog**

by

**Michael Spivey**-

**Prentice Hall**

Using theory as a foundation for practical programming, this text presents the theory of logic programming with clear proofs and implementation techniques. It covers logical theory, programming, and the structure of a simple Prolog implementation.

(

**14058**views)

**Logic, Programming and Prolog**

by

**Ulf Nilsson, Jan Mauszynski**-

**John Wiley & Sons Inc**

This textbook provides a uniform account of both the foundations of logic programming and simple programming techniques in the programming language Prolog. The authors limited their attention to the most important areas of logic programming.

(

**21135**views)