Thinking as Computation: A First Course (Hardcover)

Hector J. Levesque

  • 出版商: MIT
  • 出版日期: 2012-01-06
  • 售價: $1,800
  • 貴賓價: 9.8$1,764
  • 語言: 英文
  • 頁數: 322
  • 裝訂: Hardcover
  • ISBN: 0262016990
  • ISBN-13: 9780262016995
  • 立即出貨 (庫存=1)

買這商品的人也買了...

商品描述

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.

商品描述(中文翻譯)

本書引導學生探索一個想法,即思考可以被理解為一種計算形式。學生通過學習編寫計算機程序來完成各種需要思考的任務,包括解決謎題、理解自然語言、識別視覺場景中的物體、計劃行動方案和玩策略遊戲,從而將思考與計算相連接。本書的內容以最少的技術性呈現,適合沒有專業知識或技術背景的大學本科生閱讀,只需具備高中數學知識即可。學生使用Prolog(無需學習算法:“無淚Prolog!”)來表達他們需要的內容,並讓Prolog搜索答案。在介紹基本概念後,《思考作為計算》提供了三章關於Prolog的內容,包括反向鏈接、程序和查詢,以及如何編寫本書中使用的Prolog程序。本書隨後通過案例研究探討了一些看似需要思考的任務,然後超越Prolog考慮了學習、解釋和命題推理。大多數章節結束時都附有簡短的參考文獻和練習題。本書基於多倫多大學的一門熱門課程,適用於各種教學環境,適合從大一文科本科生到技術更加先進的計算機科學專業學生閱讀。