skip to content
Thinking as computation : a first course Preview this item
ClosePreview this item
Checking...

Thinking as computation : a first course

Author: Hector J Levesque
Publisher: Cambridge, Mass. : MIT Press, ©2012.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:
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 though, including solving puzzles, understanding natural language, recognizing objects in visual scenes, planning courses of action, and playing strategic games.  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Hector J Levesque
ISBN: 9780262016995 0262016990
OCLC Number: 743431956
Awards: Winner of Selected as a Best of 2012 by Computing Reviews 2012
Description: xx, 299 pages : illustrations ; 24 cm
Contents: Thinking and computation --
A procedure for thinking --
The Prolog language --
Writing Prolog programs --
Case study : satisfying constraints --
Case study : interpreting visual scenes --
Lists in Prolog --
Case study : understanding natural language --
Case study : planning courses of action --
Case study : playing strategic games --
Case study : other ways of thinking --
Can computers really think?
Responsibility: Hector J. Levesque.

Abstract:

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

Reviews

Editorial reviews

Publisher Synopsis

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

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Related Subjects:(2)

User lists with this item (1)

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/743431956> # Thinking as computation : a first course
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "743431956" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/961700109#Place/cambridge_mass> ; # Cambridge, Mass.
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/961700109#Topic/kunstliche_intelligenz> ; # Künstliche Intelligenz
   schema:about <http://id.worldcat.org/fast/871995> ; # Computational intelligence
   schema:about <http://dewey.info/class/006.3/e23/> ;
   schema:bookFormat bgn:PrintBook ;
   schema:copyrightYear "2012" ;
   schema:creator <http://viaf.org/viaf/85550003> ; # Hector J. Levesque
   schema:datePublished "2012" ;
   schema:description "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 though, 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 technical detail 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 used in the book. It 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 that he 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."@en ;
   schema:description "Thinking and computation -- A procedure for thinking -- The Prolog language -- Writing Prolog programs -- Case study : satisfying constraints -- Case study : interpreting visual scenes -- Lists in Prolog -- Case study : understanding natural language -- Case study : planning courses of action -- Case study : playing strategic games -- Case study : other ways of thinking -- Can computers really think?"@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/961700109> ;
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://worldcat.org/entity/work/data/961700109#CreativeWork/> ;
   schema:name "Thinking as computation : a first course"@en ;
   schema:productID "743431956" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/743431956#PublicationEvent/cambridge_mass_mit_press_2012> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/961700109#Agent/mit_press> ; # MIT Press
   schema:url <http://mitpress-ebooks.mit.edu/product/thinking-as-computation> ;
   schema:workExample <http://worldcat.org/isbn/9780262016995> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/743431956> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/961700109#Place/cambridge_mass> # Cambridge, Mass.
    a schema:Place ;
   schema:name "Cambridge, Mass." ;
    .

<http://experiment.worldcat.org/entity/work/data/961700109#Topic/kunstliche_intelligenz> # Künstliche Intelligenz
    a schema:Intangible ;
   schema:name "Künstliche Intelligenz"@en ;
    .

<http://id.worldcat.org/fast/871995> # Computational intelligence
    a schema:Intangible ;
   schema:name "Computational intelligence"@en ;
    .

<http://viaf.org/viaf/85550003> # Hector J. Levesque
    a schema:Person ;
   schema:birthDate "1951" ;
   schema:familyName "Levesque" ;
   schema:givenName "Hector J." ;
   schema:name "Hector J. Levesque" ;
    .

<http://worldcat.org/isbn/9780262016995>
    a schema:ProductModel ;
   schema:isbn "0262016990" ;
   schema:isbn "9780262016995" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.