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.
Home Automation with Intel Galileo
Create thrilling and intricate home automation projects using Intel Galileo
About This Book
Make the most out of Intel Galileo by understanding its fundamentals and architecture
Explore sensors and devices to successfully control home functions like lights, security, energy management,...
Computers and Games: 7th International Conference, CG 2010, Kanazawa, Japan
This book contains the papers of the 7th Computer and Games Conference
(CG 2010) held in Kanazawa, Japan. The conference took place during
September 24–26, 2010 in conjunction with the 15th Computer Olympiad and
the 17th World Computer Chess Championship.
The Computer and Games conference series is a major international...
Building PHP Applications with Symfony, CakePHP, and Zend Framework
The first detailed, unbiased comparison of the three leading PHP frameworks
Web developers have been eager for an impartial comparison of leading PHP frameworks so they can make educated decisions about the most effective tool for their needs. This guide uses Symfony, CakePHP, and Zend Framework to solve key problems,...
Perspectives on Free and Open Source Software Briefly stated, the terms “free software” and “open source software” refer
to software products distributed under terms that allow users to:
Use the software
Modify the software
Redistribute the software
in any manner they see fit, without requiring that they pay the author(s)