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
The Art of Prologby Leon S. Sterling, Ehud Y. Shapiro - The MIT Press
Hitherto, knowledge of how to use Prolog for serious programming has largely been communicated by word of mouth. This textbook sets down and explains for the first time in an accessible form the deeper principles and techniques of Prolog programming.
(8246 views)
Logic, Programming and Prologby 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.
(25096 views)
Adventure in Prologby Dennis Merritt - Springer
This book takes a pragmatic, rather than theoretical, approach to the language and is designed for programmers interested in adding this powerful language to their bag of tools. Much of the book is built around the writing of a short adventure game.
(25069 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.
(20840 views)