Algunos tópicos de Lógica matemática y los Fundamentos de la matemática
Franklin Galindo
Estudio avanzado de ultraproductos, interpolación de Craig, álgebras booleanas y órdenes parciales. Conecta la lógica matemática contemporánea con los fundamentos de la matemática.
Cargando el libro...
Sigue con estos libros
-
Vuelve al inicio del tema
Guía de Ejercicios LógicaEjercicios de lógica proposicional: simbolización de enunciados, tablas de verdad y equivalencias. Práctica directa para afianzar lo aprendido.
PDF verificado · Descarga segura - Lógica Matemática
Un tratado completo de lógica de primer orden, cálculo deductivo y teorías axiomáticas. Recorre desde los lenguajes formales y modelos hasta los teoremas de incompletitud con rigor y claridad.
PDF verificado · Descarga segura - Principios básicos de la lógica
Una introducción clara a la lógica como ciencia del razonamiento. Repasa su historia desde Aristóteles, los principios lógicos, el concepto, la definición y la inferencia.
PDF verificado · Descarga segura - Tratados de lógica (Órganon)
La obra que fundó la lógica como disciplina. Reúne las Categorías, los Tópicos y las Refutaciones sofísticas, donde Aristóteles define el silogismo, la deducción y los principios del razonamiento válido.
PDF verificado · Descarga segura - Ejercicios de “Lógica matemática y fundamentos” (2018–19)
Colección de ejercicios del Grupo de Lógica Computacional de la Universidad de Sevilla. Cubre lógica de primer orden y fundamentos, ideal para autoevaluarte.
PDF verificado · Descarga segura
Explora más de Matemáticas
- Álgebra
- Aritmética
- Estadística
- Geometría
- Matemática General
- Matemáticas Financieras
- Matemáticas para Niños
- Álgebra Lineal