jmm00044
16 noviembre 2011, 17:26
Lógica y Teoría de Conjuntos - Carlos Ivorra Castillo
http://i1127.photobucket.com/albums/l625/jmm00044/Otro/LogicayTeorC3ADadeConjuntos.jpg
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.
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..
zip 3 mbs
***Contenido oculto. Abra la versión completa del tema para visualizar los enlaces.***
http://i1127.photobucket.com/albums/l625/jmm00044/Otro/LogicayTeorC3ADadeConjuntos.jpg
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.
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..
zip 3 mbs
***Contenido oculto. Abra la versión completa del tema para visualizar los enlaces.***