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: Logic, Programming and PrologLogic, Programming and Prolog
by - 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.
(22138 views)
Book cover: Natural Language Processing Techniques in PrologNatural Language Processing Techniques in Prolog
by - Union College
Contents: Finite State Automata; Finite State Parsers and Transducers; Finite State Methods in Natural Language Processing; Recursive Transition Networks (RTNs); RTN transducers and ATNs; Definite Clause Grammars; Bottom Up, Top Down Parsing; etc.
(8339 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.
(18477 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.
(6448 views)