Thinking as Computation: A First Course
 |
 |
abstract = {This work guides students through an exploration of the idea that thinking might be understood as a form of computation. After an introduction to the basic concepts, this book offers three chapters on Prolog, covering back-changing, programs and queries, and how to write the sorts of Prolog programs used in the book. 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?},
address = {Cambridge, MA, USA},
apice = {ComputationalthinkingBook2012},
author = {Hector J. Levesque},
doi = {10.7551/mitpress/9780262016995.001.0001},
isbn13 = {9780262016995},
numpages = 299,
publisher = {MIT Press},
title = {Thinking as Computation: A First Course},
url = {https://mitpress.mit.edu/books/thinking-computation},
year = 2012
}