عنوان

Thinking as computation :

شابک

0262016990 (hardcover : alk. paper)

شابک

9780262016995 (hardcover : alk. paper)

شماره

dltt

عنوان اصلي

Thinking as computation :

نام عام مواد

[Book]

ساير اطلاعات عنواني

a first course /

نام نخستين پديدآور

Hector J. Levesque

محل نشرو پخش و غیره

Cambridge, Mass. :

نام ناشر، پخش کننده و غيره

MIT Press,

تاریخ نشرو بخش و غیره

c2012

نام خاص و کميت اثر

xx, 299 p. :

ساير جزييات

ill. ;

ابعاد

24 cm

متن يادداشت

Includes bibliographical references and index

متن يادداشت

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?

بدون عنوان

0

متن يادداشت

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

شماره استاندارد بين المللي کتاب و موسيقي

9780262302180

موضوع مستند نشده

Computational intelligence

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

Levesque, Hector J.,1951-

تاريخ عمليات

20130422104226.0

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y