TY  - BOOK
AU  - Suppes, Patrick
TI  - Introducción a la lógica matemática
SN  - 9789686708011
AV  - QA9  .S9618 
PY  - 1992///
CY  - México
PB  - Reverte
N1  - 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; Ingeniería Electrónica; Ingeniería en Sistemas Automotrices; Ingenieria en Sistemas Computacionales; Ingeniería Ferroviaria; Ingeniería Mecatrónica
N2  - "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.


ER  -