Ejercicios de “Lógica matemática y fundamentos” (2018–19)
José A. Alonso Jiménez, María J. Hidalgo Doblado
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.
Cargando el libro...
Sigue con estos libros
-
El siguiente del tema
Lógica y Teoría de ConjuntosRecorre la lógica de primer orden y la enlaza con la teoría axiomática de conjuntos. Ideal para entender cómo se construyen las matemáticas desde sus cimientos formales.
PDF verificado · Descarga segura - Lógica Simbólica
Texto que enseña a traducir el lenguaje natural a símbolos y a evaluar argumentos con tablas de verdad. Explicaciones sencillas y abundantes ejercicios.
PDF verificado · Descarga segura - Manual de Nivelación de Razonamiento Lógico
Manual con sesiones prácticas para nivelar el razonamiento lógico. Parte de situaciones cotidianas y avanza con ejercicios paso a paso.
PDF verificado · Descarga segura - Lógica matemática
Manual universitario que combina la mirada matemática y filosófica de la lógica formal. Desarrolla cálculo proposicional, cuantificadores y métodos de demostración con numerosos ejemplos.
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