Introducción a la lógica matemática /
Suppes, Patrick
Introducción a la lógica matemática / Patrick Suppes. - 1a. Edición - México Reverte 1992 - 280 página Ilustraciones 23 cm.
Lenguaje de la lógica proposicional
Tablas de verdad y tautologías
Inferencias y deducción formal
Reglas de inferencia
Lógica de predicados (cuantificadores)
Teoría de conjuntos elementales
Axiomatización y consistencia
Estructuras lógicas y modelos
Principios de demostración matemática
Introducción a la metateoría
"Introducción a la lógica matemática" de Patrick Suppes es una obra fundamental para quienes desean comprender los principios básicos de la lógica formal moderna. Desde el análisis proposicional hasta la lógica de predicados y el razonamiento axiomático, el texto proporciona herramientas teóricas esenciales para el pensamiento lógico y matemático. Es ideal tanto como texto de curso como para el autoestudio de estudiantes universitarios en carreras de matemáticas, filosofía y ciencias de la computación.
9789686708011
QA9 / .S9618
Introducción a la lógica matemática / Patrick Suppes. - 1a. Edición - México Reverte 1992 - 280 página Ilustraciones 23 cm.
Lenguaje de la lógica proposicional
Tablas de verdad y tautologías
Inferencias y deducción formal
Reglas de inferencia
Lógica de predicados (cuantificadores)
Teoría de conjuntos elementales
Axiomatización y consistencia
Estructuras lógicas y modelos
Principios de demostración matemática
Introducción a la metateoría
"Introducción a la lógica matemática" de Patrick Suppes es una obra fundamental para quienes desean comprender los principios básicos de la lógica formal moderna. Desde el análisis proposicional hasta la lógica de predicados y el razonamiento axiomático, el texto proporciona herramientas teóricas esenciales para el pensamiento lógico y matemático. Es ideal tanto como texto de curso como para el autoestudio de estudiantes universitarios en carreras de matemáticas, filosofía y ciencias de la computación.
9789686708011
QA9 / .S9618
