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 Programming: A First Courseby 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.
(14578 views)
The First 10 Prolog Programming Contestsby 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.
(13133 views)
The Power of Prologby Markus Triska - 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.
(6531 views)
Prolog Techniquesby Attila Csenki - BookBoon
This is the first of two volumes by the author on the programming language Prolog and its applications. In the first volume you can read about the accumulator technique, difference lists, program manipulations and exploratory code development.
(18446 views)