**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

**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.

(

**18830**views)

**The First 10 Prolog Programming Contests**

by

**Bart Demoen, Phuong-Lan Nguyen, Tom Schrijvers, Remko Troncon**

This book shows solutions to problems that were in the first 10 Prolog Programming Contests. The solutions could have been constructed during the contest under time pressure, and so you will find many solutions using the generate and test strategy.

(

**13524**views)

**Prolog Programming: A First Course**

by

**Paul Brna**

These notes are designed for undergraduate students who have some programming experience. The function of the text is to provide students studying Artificial Intelligence with an intensive introduction to Prolog, there is a slight bias towards AI.

(

**15007**views)

**Prolog and Natural-Language Analysis**

by

**F. C. N. Pereira, S. M. Shieber**-

**Center for the Study of Language**

A concise introduction to logic programming and the logic-programming language Prolog both as vehicles for understanding elementary computational linguistics and as tools for implementing the basic components of natural-language-processing systems.

(

**21527**views)