Descripción
Este libro guía a los estudiantes a través de una exploración de la idea de que el pensamiento puede entenderse como una forma de computación. Los estudiantes establecen la conexión entre el pensamiento y la computación aprendiendo a escribir programas informáticos para una variedad de tareas que requieren pensar, incluyendo resolver acertijos, comprender el lenguaje natural, reconocer objetos en escenas visuales, planificar cursos de acción y jugar juegos estratégicos. El material se presenta con tecnicismos mínimos y es accesible para estudiantes universitarios sin conocimientos especializados o antecedentes técnicos más allá de las matemáticas de la escuela secundaria. Los estudiantes utilizan Prolog (sin tener que aprender algoritmos: "Prolog sin lágrimas"), aprendiendo a expresar lo que necesitan como un programa Prolog y dejando que Prolog busque las respuestas.
Después de una introducción a los conceptos básicos, Thinking as Computation ofrece tres capítulos sobre Prolog, cubriendo el encadenamiento hacia atrás, programas y consultas, y cómo escribir los tipos de programas Prolog utilizados en el libro. El libro continúa con estudios de caso de tareas que parecen requerir pensamiento, luego va más allá de Prolog para considerar el aprendizaje, la explicación y el razonamiento proposicional. La mayoría de los capítulos concluyen con breves notas bibliográficas y ejercicios. El libro se basa en un curso popular en la Universidad de Toronto y puede usarse en una variedad de contextos de aula, por estudiantes que van desde estudiantes de primer año de artes liberales hasta estudiantes de informática más avanzados técnicamente.
Autor: Hector J. Levesque
Editorial: MIT Press
Publicado: 11/08/2017
Páginas: 322
Tipo de encuadernación: Tapa blanda
Peso: 1.10 libras
Tamaño: 8.70h x 6.60w x 0.60d
ISBN13: 9780262534741
ISBN10: 0262534746
Categorías BISAC:
- Computadoras | Inteligencia Artificial | General
- Computadoras | Idiomas | General
Sobre el autor
Hector J. Levesque es Profesor de Ciencias de la Computación en la Universidad de Toronto. Es coautor (con Gerhard Lakemeyer) de The Logic of Knowledge Bases (MIT Press, 2001) y coeditor (con Ronald J. Brachman) de Knowledge Representation and Reasoning (MIT Press, 1992).