On a book page, this tab will allow you to add a book to one of your lists.
Please login or register to use this feature.
9780262016995_cover Enlarge Cover
0 of 5
0 ratings
rated!
rated!
list price: $55.00 USD
edition:Hardcover
also available: Paperback
category: Computers
published: Jan 2012
ISBN:9780262016995
publisher: The MIT Press

Thinking as Computation

A First Course

by Hector J. Levesque

reviews: 0
tagged:
add a tag
Please login or register to use this feature.
prolog, intelligence (ai) & semantics
0 of 5
0 ratings
rated!
rated!
list price: $55.00 USD
edition:Hardcover
also available: Paperback
category: Computers
published: Jan 2012
ISBN:9780262016995
publisher: The MIT Press
Description

Students explore the idea that thinking is a form of computation by learning to write simple computer programs for tasks that require thought.

This book guides students through an exploration of the idea that thinking might be understood as a form of computation. Students make the connection between thinking and computing by learning to write computer programs for a variety of tasks that require thought, including solving puzzles, understanding natural language, recognizing objects in visual scenes, planning courses of action, and playing strategic games. The material is presented with minimal technicalities and is accessible to undergraduate students with no specialized knowledge or technical background beyond high school mathematics. Students use Prolog (without having to learn algorithms: “Prolog without tears!”), learning to express what they need as a Prolog program and letting Prolog search for answers.

After an introduction to the basic concepts, Thinking as Computation offers three chapters on Prolog, covering back-chaining, programs and queries, and how to write the sorts of Prolog programs used in the book. The book follows this with case studies of tasks that appear to require thought, then looks beyond Prolog to consider learning, explaining, and propositional reasoning. Most of the chapters conclude with short bibliographic notes and exercises. The book is based on a popular course at the University of Toronto and can be used in a variety of classroom contexts, by students ranging from first-year liberal arts undergraduates to more technically advanced computer science students.

About the Author
Hector J. Levesque is Professor Emeritus in the Department of Computer Science at the University of Toronto. He is the author of Common Sense, the Turing Test, and the Quest for Real AI, coauthor (with Gerhard Lakemeyer) of The Logic of Knowledge Bases, and coeditor (with Ronald J. Brachman) of Knowledge Representation and Reasoning, all three published by the MIT Press.
Author profile page >
Recommended Age, Grade, and Reading Levels
Age:
18 to 99
Grade:
13 to 17
Awards
  • , Selected as a Best of 2012 by Computing Reviews</PrizeName>
Editorial Review

A valuable resource for faculty in search of interesting course content for first-year undergraduates.—Choice

Out of print

This edition is not currently available in bookstores. Check your local library or search for used copies at Abebooks.

Buy the e-book:

X
Contacting facebook
Please wait...