![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEiHprsNbFC0bQs7-RwOuN-dl9lHCiQUW2hedU4fIh0sdUdJsxFSvwpjizCPhC4nIx_8-BSTx2t18mfaWa2eCQBaxX9O8fdUc2z5-dqkAT6x4TfnvUAB22kZBlC1IXo-FCpRxVng9dXPgUA/s320/Logica+y+Teor%C3%ADa+de+Conjuntos.jpg)
- Lenguajes formales de primer orden
- Sistemas deductivos formales
- La completitud semántica
- Teoría de la recursión
- Teorías aritméticas
- Incompletitud
- Los axiomas de la teoría de conjuntos
- Modelos de la teoría de conjuntos
- La formalización de la lógica en teoría de conjuntos, entre otros..
CONTRASEÑA: Visual.SaC
No hay comentarios:
Publicar un comentario