Thinking as Computation pdf epub mobi txt 電子書下載2025

簡體網頁||繁體網頁

☆☆☆☆☆

出版者:

作者:Levesque, Hector J.

出品人:

頁數:328

译者:

出版時間:2012-1

價格:$ 50.85

裝幀:

isbn號碼:9780262016995

叢書系列:

圖書標籤:

計算機科學
Prolog
MIT
認知科學
程序設計
TCS
Programming
Artificial.Intelligence

下載連結在頁面底部

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製連結

想要找書就要到本本書屋

onlinetoolsland.com

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

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.

具體描述

讀後感

評分☆☆☆☆☆

很多語言都有一個或多個它能夠大展身手的領域，對於 C++，或許是編譯器和圖形渲染，對於 C，或許是操作係統，而對於 Prolog 呢？這本書結閤具體問題，帶領讀者慢慢地學習 Prolog，不光學習到瞭 Prolog 本身，還學習到瞭非常多的領域知識（Parser，AI，first-order logic，......

評分☆☆☆☆☆