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: Prolog Programming: A First CourseProlog Programming: A First Course
by
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.
(10717 views)
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.
(20023 views)
Book cover: Adventure in PrologAdventure in Prolog
by - 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.
(17944 views)
Book cover: The First 10 Prolog Programming ContestsThe First 10 Prolog Programming Contests
by
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.
(9523 views)