Lenguaje, Prueba y Lógica: Texto y CD- Jon Barwise

Este libro de texto / paquete de software cubre el lenguaje de primer orden en un método apropiado para cursos de primero y segundo en lógica. Los únicos servicios de clasificación en línea instantáneamente califican soluciones para cientos de ejercicios de computadora. Es especialmente diseñado para ser utilizado por los instructores de filosofía de una manera que es útil a los estudiantes de filosofía, ciencias de la computación, matemáticas y lingüística. El libro es una versión completamente reescrita y mucho mejorada del lenguaje de la lógica de primer orden. El material introductorio se presenta de manera más sistemática y accesible. Los capítulos avanzados incluyen pruebas de solidez e integridad para la lógica proposicional y predicada, así como un esbozo accesible del primer teorema de incompletitud de Gódel. El libro es apropiado para una amplia gama de cursos, desde los primeros cursos de lógica para los estudiantes (filosofía, matemáticas y ciencias de la computación) hasta un primer curso de lógica de posgrado. El paquete incluye cuatro piezas de software: Tarskis World 5.0, una nueva versión de la Programa popular que enseña el lenguaje básico de primer orden y su semántica; Fitch, un entorno de prueba de deducción natural para dar y comprobar las pruebas de primer orden, Boole, un programa que facilita la construcción y el control de tablas de verdad y nociones relacionadas (tautología, consecuencia tautológica, etc); Presentar los ejercicios realizados con los programas anteriores al Grade Grinder, el servicio de clasificación automática. Los informes de nivel se devuelven al estudiante y, si se solicita, al instructor del estudiante, eliminando la necesidad de un tedioso control de la tarea. Todos los programas están disponibles para los sistemas Windows, Macintosh y Linux. Los instructores no necesitan usar los programas mismos para poder aprovechar su valor pedagógico. Más información sobre el software se puede encontrar en lpl.stanford.edu.El precio de un nuevo paquete de texto / software incluye un ID de registro, que debe utilizarse cada vez que el trabajo se somete al servicio de clasificación. Una vez activado, el ID de registro no es transferible.