Esta es la aplicación de Linux llamada LogicCalculus cuya última versión se puede descargar como LogicCalculus_1.1.1.exe. Se puede ejecutar en línea en el proveedor de alojamiento gratuito OnWorks para estaciones de trabajo.
Descargue y ejecute en línea esta aplicación llamada LogicCalculus con OnWorks de forma gratuita.
Siga estas instrucciones para ejecutar esta aplicación:
- 1. Descargue esta aplicación en su PC.
- 2. Ingrese en nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.
- 3. Cargue esta aplicación en dicho administrador de archivos.
- 4. Inicie el emulador en línea OnWorks Linux o Windows en línea o el emulador en línea MACOS desde este sitio web.
- 5. Desde el SO OnWorks Linux que acaba de iniciar, vaya a nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.
- 6. Descarga la aplicación, instálala y ejecútala.
SCREENSHOTS
Ad
LógicaCálculo
DESCRIPCIÓN
LogicCalculus es un IDE lógico para la lógica oracional y la lógica de predicados. Actualmente puede evaluar expresiones y llenar una tabla de verdad.
Caracteristicas
- Lógica oracional [Listo]
- Lógica de predicado [planificada]
- Tabla de verdad [Listo]
- Propios Junktors [Planificado]
- Quantors [planificado]
Audiencia
Ciencia / investigación, educación, usuarios finales avanzados, por clase de usuario final, usuarios finales / escritorio
Interfaz de usuario
Sistema de ventanas X (X11), Win32 (MS Windows), Qt
Lenguaje de programación
C + +
Entorno de base de datos
Basado en XML
Categorías
Esta es una aplicación que también se puede obtener de https://sourceforge.net/projects/logiccalculus/. Se ha alojado en OnWorks para poder ejecutarlo online de la forma más sencilla desde uno de nuestros Sistemas Operativos gratuitos.
