Aplicaciones interactivas de lógica

* Todas las aplicaciones utilizadas en esta web has sido creadas por Steven DeHaven, Calgary, y Christian Gottschall, Vienna.

Christian Gottschall ha tenido la ambilidad de cedernos las aplicaciones (cgis y applets) para su instalación y uso en Cibernous.
Las traducciones han sido realizadas por Andrés Adrover y Elena Diez de la Cortina Montemayor.

Si no estás familiarizado con estas aplicaciones, te aconsejamos leer la introducción general a los programas interactivos.

1. Aplicación de servidor (cgi):

Ayuda sobre las tareas que ejecuta la aplicación de servidor.

Ayuda sobre el lenguaje de la aplicación de servidor.

2. Programa cliente (applet lógico):

Ayuda sobre las tareas que ejecuta el programa cliente (applet).

Ayuda sobre el uso del lenguaje del programa cliente (applet).

3. Verificador de pruebas de lógica de predicados (cuantores)

Ayuda sobre las tareas que ejecuta el verificador

Ayuda sobre el lenguaje propio de la aplicación