Lenguaje, Demostración y Lógica: Segunda Edición [Con Software]

Opiniones de los lectores

Las reseñas de este libro de texto de FOL ponen de manifiesto una mezcla de experiencias: algunos elogian la claridad y el software que lo acompaña, mientras que otros expresan su frustración por la necesidad de adquirir nuevas copias para acceder al software y por la calidad de la enseñanza. Aunque muchos encuentran valor en las explicaciones y herramientas del libro, varios usuarios informan de problemas significativos con los fallos del software y la estructura general del libro.

⬤ El libro está bien escrito, con explicaciones claras y un enfoque en la construcción de la intuición.
⬤ El software que lo acompaña y el servicio de autocalificación mejoran el aprendizaje y permiten una aplicación práctica en las pruebas.
⬤ Es útil para diversos campos como la programación lógica y la arquitectura de bases de datos.
⬤ Muchos usuarios encontraron útil el software una vez instalado.

⬤ Los usuarios deben comprar nuevas copias para acceder al software esencial; las copias usadas pueden quedar inservibles.
⬤ El software puede presentar fallos e inconvenientes, lo que provoca frustración.
⬤ Algunos usuarios encuentran los ejercicios del libro difíciles en comparación con los ejemplos, lo que lleva a confusión.
⬤ Hay informes sobre un control de calidad deficiente en cuanto al estado y la integridad de los ejemplares vendidos.

(basado en 65 opiniones de lectores)

Título original:

Language, Proof, and Logic: Second Edition [With Software]

Contenido del libro:

Language Proof and Logic está disponible como libro físico con el software incluido y como paquete descargable de software más el libro en formato PDF. La versión totalmente electrónica está disponible en Openproof atgradegrinder.net..

El paquete libro de texto/software cubre el lenguaje de primer orden con un método apropiado para los cursos de primero y segundo de lógica. Un servicio de calificación en línea califica instantáneamente las soluciones a cientos de ejercicios informáticos. Está diseñado para ser utilizado por profesores de filosofía que impartan un curso de lógica a estudiantes universitarios de filosofía, informática, matemáticas y lingüística.

El material introductorio se presenta de forma sistemática y accesible. Los capítulos avanzados incluyen pruebas de solidez y completitud para la lógica proposicional y de predicados, así como un esbozo accesible del primer teorema de incompletitud de Godel. El libro es apropiado para una amplia gama de cursos, desde los primeros cursos de lógica para estudiantes universitarios (filosofía, matemáticas e informática) hasta un primer curso de lógica para graduados.

El paquete de software incluye cuatro programas:

Tarski's World, una nueva versión del popular programa que enseña el lenguaje básico de primer orden y su semántica;

Fitch, un entorno de pruebas de deducción natural para dar y comprobar pruebas de primer orden;

Boole, un programa que facilita la construcción y comprobación de tablas de verdad y nociones relacionadas (tautología, consecuencia tautológica, etc. );

Submit, un programa que permite a los estudiantes enviar los ejercicios realizados con los programas anteriores a Grade Grinder, el servicio de calificación automática.

Los informes de calificaciones se devuelven al estudiante y, si lo solicita, al instructor del estudiante, eliminando la necesidad de la tediosa comprobación de los deberes. Todos los programas están disponibles para sistemas Windows y Macintosh. No es necesario que los profesores utilicen los programas para aprovechar su valor pedagógico. Encontrará más información sobre el software en gradegrinder.net.

El precio de un nuevo paquete de texto/software incluye un ID de registro, que debe utilizarse cada vez que se envíe un trabajo al servicio de calificación. Una vez activado, el ID de registro no es transferible.