Esta es la aplicación de Linux llamada Dominoes on Acid, cuya última versión se puede descargar como Domino.jar. 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 Dominoes on Acid 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.
Dominó en ácido
Ad
DESCRIPCIÓN
Superficialmente, Dominoes on Acid es una variante en solitario de Dominoes con extrañas fichas de colores. Pero en un nivel más profundo, es una GUI para la deducción natural. Cada dominó completo es equivalente a una prueba de una tautología en la lógica proposicional clásica.
Caracteristicas
- Crea pruebas matemáticas rígidas mientras juegas.
- Puedes divertirte jugando incluso sin entender las matemáticas que hay detrás.
Audiencia
Educación, Ciencia / Investigación
Interfaz de usuario
Swing de Java
Lenguaje de programación
Java
Categorías
Esta es una aplicación que también se puede obtener de https://sourceforge.net/projects/nddomino/. Se ha alojado en OnWorks para poder ejecutarlo online de la forma más sencilla desde uno de nuestros Sistemas Operativos gratuitos.
