Questa è l'app di Windows denominata frdcsa la cui ultima versione può essere scaricata come frdcsa-panoply-git-20200329.tgz. Può essere eseguito online nel provider di hosting gratuito OnWorks per workstation.
Scarica ed esegui online gratuitamente questa app denominata frdcsa con OnWorks.
Segui queste istruzioni per eseguire questa app:
- 1. Scaricata questa applicazione sul tuo PC.
- 2. Entra nel nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 3. Carica questa applicazione in tale file manager.
- 4. Avvia qualsiasi emulatore online OS OnWorks da questo sito Web, ma migliore emulatore online Windows.
- 5. Dal sistema operativo OnWorks Windows che hai appena avviato, vai al nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 6. Scarica l'applicazione e installala.
- 7. Scarica Wine dai repository software delle tue distribuzioni Linux. Una volta installato, puoi quindi fare doppio clic sull'app per eseguirli con Wine. Puoi anche provare PlayOnLinux, un'interfaccia fantasiosa su Wine che ti aiuterà a installare programmi e giochi Windows popolari.
Wine è un modo per eseguire il software Windows su Linux, ma senza Windows richiesto. Wine è un livello di compatibilità Windows open source in grado di eseguire programmi Windows direttamente su qualsiasi desktop Linux. Essenzialmente, Wine sta cercando di re-implementare abbastanza Windows da zero in modo che possa eseguire tutte quelle applicazioni Windows senza effettivamente bisogno di Windows.
IMMAGINI:
frdcsa
DESCRIZIONE:
Prima versione di un sistema di intelligenza artificiale gratuito/libero lungo 20 anni. Il progetto è costituito da due poli: FRD - per la dimostrazione automatizzata di teoremi e CSA - per software generico. Un'altra dimensione è se il software viene raccolto e/o scritto. FRDCSA adotta entrambi gli approcci. In generale FRDCSA è multistrategia. Ad esempio, utilizza tecnologie sia simboliche che connessioniste. L'obiettivo è massimizzare la capacità di problem solving/capacità di dimostrazione. Considera i computer come sistemi matematici formali. Quindi in relazione ai teoremi di completezza di Turing e Feferman. La versione rilasciata (Panoply-Git) è necessariamente oscurata e non aggiornata. Con un po' di assistenza, potrebbe rilasciare una versione più aggiornata. Viene fornito con una prima versione di Free Life Planner, un sistema basato su Prolog per aiutarti a gestire la tua vita. Molti (89) altri sistemi, ad eccezione dei codebase esterni e git, per lo più non sono inclusi a causa dello spazio, ma RADAR ti consente di raccoglierli. Rilascerà più tardi con l'aiuto.
Caratteristiche
- Intelligenza Artificiale
- Software Engineering
- Conglomerato di software
- Pianificazione, programmazione ed esecuzione
- GNU / Linux
- Macchina virtuale
- Dimostrazione automatizzata di teoremi
Categorie
Questa è un'applicazione che può anche essere scaricata da https://sourceforge.net/projects/frdcsa/. È stato ospitato in OnWorks per essere eseguito online in modo più semplice da uno dei nostri sistemi operativi gratuiti.