Introducción a la lógica matemática / Patrick Suppes.
Material type:
TextPublication details: México Reverte 1992Edition: 1a. EdiciónDescription: 280 página Ilustraciones 23 cmISBN: - 9789686708011
- QA9 .S9618
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
Libro
|
CI Tlahuac Sala General | Colección General | QA9 .S9618 1992 | Ej. 1 | Available | ITTLAHUAC25070026 | ||
|
Libro
|
CI Tlahuac Sala General | Colección General | QA9 .S9618 1992 | Ej. 2 | Available | ITTLAHUAC25070027 |
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.
Ingeniería Electrónica
Ingeniería en Sistemas Automotrices
Ingenieria en Sistemas Computacionales
Ingeniería Ferroviaria
Ingeniería Mecatrónica
There are no comments on this title.
Click on an image to view it in the image viewer
