La lógica y su historia Tradicionalmente se ha dicho que la lógica se ocupa del estudio del razonamiento. Esto hoy en día puede considerarse desbordado por la enorme extensión y diversidad que ha alcanzado esta disciplina, pero puede servirnos como primera aproximación a su contenido. El libro que ponemos a tu disposición tiene entre sus páginas los siguientes temas:
- 1. Lenguajes formales de primer orden
- 2. Sistemas deductivos formales
- 3. La completitud semántica
- 4. Teoría de la recursión
- 5. Teorías aritméticas
- 6. Incompletitud
- 7. Los axiomas de la teoría de conjuntos
- 8. Modelos de la teoría de conjuntos
- 9. La formalización de la lógica en teoría de conjuntos, entre otros
ING. GUILLERMO AMAYA
Escribe con decencia, todo el contenido que comparto es gratis. Si ves algún error por favor notifícalo con educación.