Descripción
Este libro guía a los estudiantes a través de una exploración de la idea de que el pensamiento podría entenderse como una forma de computación. Los estudiantes establecen la conexión entre el pensamiento y la informática aprendiendo a escribir programas informáticos para una variedad de tareas que requieren pensar, como 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 mínimas tecnicidades 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 usan 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, El pensamiento como computación ofrece tres capítulos sobre Prolog, que cubren el encadenamiento hacia atrás, los programas y las consultas, y cómo escribir los tipos de programas Prolog utilizados en el libro. A esto le siguen estudios de caso de tareas que parecen requerir pensamiento, para luego ir más allá de Prolog y 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 se puede utilizar en una variedad de contextos de aula, por estudiantes que van desde universitarios 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.70 alto x 6.60 ancho x 0.60 profundidad
ISBN13: 9780262534741
ISBN10: 0262534746
Categorías BISAC:
- Informática | Inteligencia Artificial | General
- Informática | Lenguajes | 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).