Esta es la aplicación de Linux llamada Hilbert II - QEDEQ cuya última versión se puede descargar como qedeq_0.04.07_win.zip. 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 Hilbert II - QEDEQ 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
Hilberto II - QEDEQ
DESCRIPCIÓN
En la tradición del programa de Hilbert, creamos una base de conocimiento matemática formal correcta (que puede verificar un verificador de pruebas) pero legible (como un libro de texto LaTeX ordinario) que es de libre acceso a través de Internet. Comenzó la lógica y la teoría de conjuntos.
Caracteristicas
- QEDEQ
Público
Desarrolladores, Educación, Usuarios finales / Escritorio, Otro público, Ciencia / Investigación
Interfaz de usuario
Línea de comandos, Gnome, Java Swing, Win32 (MS Windows), Windows Aero, X Window System (X11)
Lenguaje de programación
Java
Categorías
Esta es una aplicación que también se puede obtener de https://sourceforge.net/projects/pmii/. Se ha alojado en OnWorks para poder ejecutarlo online de la forma más sencilla desde uno de nuestros Sistemas Operativos gratuitos.
