Diferencia entre revisiones de «Área de lógica matemática»
Contenido eliminado Contenido añadido
Sin resumen de edición |
|||
Línea 12:
*[http://es.wikibooks.org/wiki/Teor%C3%ADa_de_conjuntos ''Teoría de conjuntos''] Exposición de la Teoría Intuitiva de Conjuntos. Imprescindible su dominio para cualquier estudio matemático.
==Software==
'''Software para el aprendizaje de la Lógica *[http://www.cs.otago.ac.nz/staffpriv/hans/logiccourseware.html ''Logic software and logic education''], de Hans van Ditmarsch, University of Otago (New Zealand)
*[http://logicae.usal.es ''Summa Logicae''], de María Manzano, Universidad de Salamanca (España)
*[http://www.phil.cam.ac.uk/teaching_staff/Smith/LaTeX/ ''LaTeX for Logicians''], de Peter Smith, University o Cambridge
|