中图分类法:	TP18 版次：
著者:	Levesque, Hector J.,
题名:	Thinking as computation : [ a first course /] / ,
出版发行:	出版地： Cambridge, Mass. : 出版社： MIT Press, 出版日期： c2012.
载体形态:	xx, 299 p. : ill. ; 24 cm.
内容提要:	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