Logo

Prolog Experiments in Discrete Mathematics, Logic, and Computability

Small book cover: Prolog Experiments in Discrete Mathematics, Logic, and Computability

Prolog Experiments in Discrete Mathematics, Logic, and Computability
by

Publisher: Portland State University
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

Book cover: Artificial Intelligence through PrologArtificial Intelligence through Prolog
by - 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.
(23865 views)
Book cover: Applications of PrologApplications of Prolog
by - BookBoon
In this volume the author discusses some areas where Prolog can be fruitfully employed. The book comprises four chapters: Enigma 1225: Rows are Columns; Blind Search; Informed Search; Text Processing. There are 54 exercises in this book.
(17990 views)
Book cover: The Power of PrologThe Power of Prolog
by - metalevel.at
The goal of this material is to bridge the gap between the great Prolog textbooks of the past and the language as it currently is, several decades after these books were written. You will see that many limitations of the past are no longer relevant.
(5970 views)
Book cover: Building Expert Systems in PrologBuilding Expert Systems in Prolog
by - Amzi! inc.
This book is designed to teach you how to build expert systems from the inside out. The author presents the various features used in expert systems, shows how to implement them in Prolog, and how to use them to solve problems.
(17670 views)