Descripción
Para satisfacer la necesidad de un texto introductorio de lógica simbólica accesible y cuidadosamente estructurado, Modern Logic presenta muchas características diseñadas para mejorar la comprensión de la materia por parte de los estudiantes, incluyendo un sistema de pruebas idéntico al galardonado programa informático MacLogic, y un apéndice especial que muestra cómo usar MacLogic como ayuda didáctica. Al final de cada capítulo hay ejercicios graduados —más de 900 en total—, con respuestas seleccionadas al final del libro. A diferencia de los textos de la competencia, Modern Logic otorga el mismo peso a la semántica y a la teoría de la prueba y explica su relación, y desarrolla en detalle técnicas para simbolizar el lenguaje natural en lógica de primer orden. Tras una introducción general que presenta la noción de forma lógica, el libro ofrece secciones sobre lógica sentencial clásica, lógica de predicados monádicos y lógica de primer orden completa con identidad. Una sección final aborda las extensiones y alternativas a la lógica clásica, incluida la lógica modal, la lógica intuicionista
y la lógica difusa. Para estudiantes de filosofía, matemáticas, informática o lingüística, Modern Logic proporciona una comprensión exhaustiva de los conceptos básicos y una base sólida para un trabajo más avanzado.
Autor: Graeme Forbes
Editorial: Oxford University Press, USA
Publicado: 20/01/1994
Páginas: 416
Tipo de encuadernación: Tapa blanda
Peso: 1.45lbs
Tamaño: 9.20h x 6.50w x 0.60d
ISBN13: 9780195080292
ISBN10: 0195080297
Categorías BISAC:
- Filosofía | Lógica
- Matemáticas | Lógica
- Informática | Diseño lógico
y la lógica difusa. Para estudiantes de filosofía, matemáticas, informática o lingüística, Modern Logic proporciona una comprensión exhaustiva de los conceptos básicos y una base sólida para un trabajo más avanzado.
Autor: Graeme Forbes
Editorial: Oxford University Press, USA
Publicado: 20/01/1994
Páginas: 416
Tipo de encuadernación: Tapa blanda
Peso: 1.45lbs
Tamaño: 9.20h x 6.50w x 0.60d
ISBN13: 9780195080292
ISBN10: 0195080297
Categorías BISAC:
- Filosofía | Lógica
- Matemáticas | Lógica
- Informática | Diseño lógico
Sobre el autor
Graeme Forbes es profesor de Filosofía en la Universidad de Colorado en Boulder. Es autor de Attitude Problems (Oxford, 2006), Languages of Possibility (1989) y The Metaphysics of Modality (Oxford, 1985). Ha sido investigador becado en New College, Oxford, y en la Universidad de Edimburgo, y ha enseñado en la Universidad de California en Santa Bárbara y en Riverside.