El mundo de Tarski: Revisado y ampliado

Opiniones de los lectores

En general, el libro recibió críticas dispares. Mientras que algunos usuarios lo encontraron útil y bien implementado, especialmente para mejorar el razonamiento lógico y el aprendizaje de la lógica de primer orden, otros se enfrentaron a importantes problemas de usabilidad debido a la anticuada compatibilidad del software. El libro es elogiado por su valor educativo, pero criticado por la falta de información clara sobre los requisitos del sistema.

Asequible, útil para aprender lógica de primer orden, ejercicios bien implementados, buen estado a la llegada, entrega rápida de Amazon, respuesta de apoyo del equipo de la Universidad de Stanford para la resolución de problemas, y un buen suplemento de aprendizaje.

Software anticuado que sólo funciona en máquinas Power PC, falta de información clara sobre compatibilidad, dificultades en el proceso de instalación y registro, asistencia telefónica desconectada, y algunos usuarios expresan frustración por la complicada configuración.

(basado en 9 opiniones de lectores)

Título original:

Tarski's World: Revised and Expanded

Contenido del libro:

El mundo de Tarski es un método innovador y apasionante de introducir a los estudiantes en el lenguaje de la lógica de primer orden.

Utilizando el paquete didáctico, los estudiantes dominan rápidamente los significados de las conectivas y los calificadores y pronto adquieren fluidez en el lenguaje simbólico que constituye el núcleo de la lógica moderna. El programa permite a los estudiantes construir mundos tridimensionales y luego describirlos en lógica de primer orden.

El programa, compatible con los formatos Macintosh y Windows, también contiene una herramienta correctiva única y eficaz en forma de juego, que conduce metódicamente a los estudiantes de vuelta a sus errores si evalúan erróneamente las oraciones de los mundos construidos. Una novedad de esta edición revisada y ampliada es el acceso de los estudiantes a Grade Grinder, un innovador servicio de calificación por Internet que proporciona información precisa y oportuna a los estudiantes siempre que lo necesiten. Los estudiantes pueden enviar las soluciones de los más de 100 ejercicios del programa a Grade Grinder para su evaluación, y los resultados se devuelven rápidamente a los estudiantes y, opcionalmente, también al profesor.

Una interfaz basada en la web permite también a los profesores gestionar las tareas y las calificaciones de sus clases. Pensado como complemento de un texto estándar de lógica, El mundo de Tarski es una herramienta esencial para ayudar a los estudiantes a aprender el lenguaje de la lógica.