Software

• CheckReport (versión beta). Un programa Java para chequear que se cumple una serie de condiciones. Se genera un informe en Md de quellas que no se cumplen. Quedan por depurar muchas cosas, como usar XML. Pero tal y como está ya lo usan en algún servicio de nuestra uni.
• Exercitia (solo versión profesor, versión beta). Consta de dos programas Java. Uno para generar ejercicios (para los profesores) y otro para visualizarlos (para los alumnos). Solo el segundo es de acceso público. Necesitará instalar aparte servidor web local. Muestra los ejercicios en formato .html pero exporta parcialmente a .latex y formato binario. Solo el formato binario es leído por el programa Java destinado a los alumnos.
• Relaciones (versión alfa). Programa Java que genera una relación binaria aleatoria y determina qué propiedades cumple. También se puede pedir que genere una relación con una propiedad en particular.
• Lógica L0 (versión alfa). Programa Java que genera proposiciones de L0 aleatoriamente dado el número de átomos y operadores que se desea que tenga. Construye su árbol sintáctico, su tabla de verdad y clasifica la oración.
• Conjuntos (versión alpa). Programa Java que genera conjuntos aleatorios. Sus elementos pueden ser simples o conjuntos. A partir de dos conjuntos realiza todas sus operaciones de conuntos.

Se admiten sugerencias de mejora, pero no espere que le responda a sus dudas sobre el funcionamiento de los programas.