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

**prolog :- tutorial**

by

**J. R. Fisher**-

**California State Polytechnic University, Pomona**

Prolog is a logical and a declarative programming language. This tutorial is intended to help learn the essential, basic concepts of Prolog. The sample programs have been chosen to promote the use of Prolog in an artificial intelligence course.

(

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

(

**8871**views)

**Prolog Programming in Depth**

by

**Michael A. Covington, Donald Nute, Andre Vellino**-

**Prentice-Hall**

Full coverage of the Prolog programming language including the latest ISO standard. Includes ready-to-run code for expert system shells, other intelligent problem-solvers, and algorithms to read foreign file formats, even Lotus spreadsheets.

(

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

(

**16933**views)