Luis Sánchez Graillet
Revisaremos los materiales presentados a finales de septiembre 2006 en
el Segundo Congreso Internacional sobre Herramientas para
Enseñar Lógica, en Salamanca, España. Los
participantes son investigadores de Alemania, Argentina,
España, Estados Unidos, Estonia, Francia, Holanda,
Hungría, Inglaterra, México, Nueva Zelandia,
Perú, Portugal, la República Checa, Rumania y
Suecia. Los temas incluyen "Aplicaciones de la Internet
semántica", "Lenguaje, comunicación y lógica",
"Visualización del razonamiento en clase", "Aprendizaje
electrónico", "Enseñanza de la lógica para
filósofos", "Software interactivo", "Enseñanza de la
programación lógica", "Probadores automáticos de
teoremas" y "Razonamiento conductual".