Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
Thinking as computation : a first course
Levesque H., The MIT Press, Cambridge, MA, 2012. 328 pp.  Type: Book (978-0-262016-99-5)
Date Reviewed: May 24 2012

This text is an example of computer science education in the 21st century. The author did not break the ice in introducing this new philosophy, but he is certainly enjoying the swim.

In the 20th century (well actually from about 1960), computer science consisted of hardware and programming languages. That philosophy is no longer representative of the needs of computing now, nor, I believe, in the future. The student must learn to reason, to put herself in the world of the fuzzy variable, and to face problems that cannot even be conceived at the present.

This text was a result of a university-wide decision to supply the undergraduate student with a course taught as a seminar, facilitated by a full professor, and complemented by interaction with other students. The course has at its root the principle that ordinary thinking can be thought of as computation. The text (and the course) investigates the connection between thinking and computing. The vehicle for this investigation is the logic-oriented programming language. Through the use of PROLOG, the whole question of what it means to program a computer shifts from a procedural approach to a new approach based on knowledge bases of atomic and conditional sentences.

The first two chapters of the text explore the relationship between thinking and computation, and describe a procedure for “thinking.” The last two chapters deal with the principles of the PROLOG language. The text then concludes with seven case studies specifically chosen to show the power and elegance of PROLOG as the vehicle for solving the computing problems.

Very early in the text, the reader becomes aware that Hector Levesque is classically educated. His knowledge of the philosophers and scientists who have wrestled with the problem of “what thought is” and its importance in the field of computer science is extensive.

This book is a major contribution to philosophy and computing. It should be on the bookshelf of every professor of arts and sciences.

Reviewer:  James Van Speybroeck Review #: CR140181 (1210-1022)
Bookmark and Share
  Reviewer Selected
Featured Reviewer
 
 
Computer Science Education (K.3.2 ... )
 
 
Computer Uses in Education (K.3.1 )
 
Would you recommend this review?
yes
no
Other reviews under "Computer Science Education": Date
Improving computer science education
Kadijevich D., Angeli C., Schulte C.,  Routledge, New York, NY, 2013. 168 pp. Type: Book (978-0-415645-37-9), Reviews: (2 of 2)
Sep 21 2016
Sep 15 2016
BRIDGES: a system to enable creation of engaging data structures assignments with real-world data and visualizations
Burlinson D., Mehedint M., Grafer C., Subramanian K., Payton J., Goolkasian P., Youngblood M., Kosara R.  SIGCSE 2016 (Proceedings of the 47th ACM Technical Symposium on Computing Science Education, Memphis, TN,  Mar 2-5, 2016) 18-23, 2016. Type: Proceedings
Jul 8 2016
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2017 ThinkLoud, Inc.
Terms of Use
| Privacy Policy