Aceasta este aplicația Windows numită frdcsa a cărei ultima versiune poate fi descărcată ca frdcsa-panoply-git-20200329.tgz. Poate fi rulat online în furnizorul de găzduire gratuit OnWorks pentru stații de lucru.
Descărcați și rulați online această aplicație numită frdcsa cu OnWorks gratuit.
Urmați aceste instrucțiuni pentru a rula această aplicație:
- 1. Ați descărcat această aplicație pe computer.
- 2. Introduceți în managerul nostru de fișiere https://www.onworks.net/myfiles.php?username=XXXXX cu numele de utilizator pe care îl doriți.
- 3. Încărcați această aplicație într-un astfel de manager de fișiere.
- 4. Porniți orice emulator online OS OnWorks de pe acest site, dar mai bun emulator online Windows.
- 5. Din sistemul de operare Windows OnWorks pe care tocmai l-ați pornit, accesați managerul nostru de fișiere https://www.onworks.net/myfiles.php?username=XXXXX cu numele de utilizator dorit.
- 6. Descărcați aplicația și instalați-o.
- 7. Descărcați Wine din depozitele de software ale distribuțiilor Linux. Odată instalat, puteți apoi să faceți dublu clic pe aplicație pentru a le rula cu Wine. De asemenea, puteți încerca PlayOnLinux, o interfață elegantă peste Wine, care vă va ajuta să instalați programe și jocuri populare Windows.
Wine este o modalitate de a rula software-ul Windows pe Linux, dar fără a fi necesar Windows. Wine este un strat de compatibilitate Windows open-source care poate rula programe Windows direct pe orice desktop Linux. În esență, Wine încearcă să reimplementeze suficient Windows de la zero, astfel încât să poată rula toate acele aplicații Windows fără a avea nevoie efectiv de Windows.
SCREENSHOTS
Ad
frdcsa
DESCRIERE
Prima lansare a unui sistem de inteligență artificială gratuit/libre de 20 de ani. Proiectul constă din două componente: FRD - pentru demonstrarea automată a teoremei și CSA - pentru software de uz general. O altă dimensiune este dacă software-ul este colectat și/sau scris. FRDCSA adoptă ambele abordări. În general, FRDCSA este multistrategică. De exemplu, folosește atât tehnologii simbolice, cât și conexiuni. Scopul este de a maximiza capacitatea de rezolvare a problemelor/capacitatea teoretică a dovezilor. Vede computerele ca sisteme matematice formale. Prin urmare, legat de teoremele de completitudine ale lui Turing și Feferman. Versiunea lansată (Panoply-Git) este în mod necesar redactată și depășită. Cu ceva asistență, s-ar putea lansa o versiune mai actualizată. Vine cu o versiune timpurie a Free Life Planner, un sistem bazat pe Prolog pentru a vă ajuta să vă gestionați viața. Multe (89) alte sisteme, cu excepția bazelor de cod externe și git, nu sunt incluse în mare parte din cauza spațiului, dar RADAR vă permite să le adunați. Se va lansa mai târziu cu ajutor.
DESCRIERE
- Inteligenta Artificiala
- Inginerie Software
- Conglomerat de software
- Planificare, programare și execuție
- GNU / Linux
- Mașină virtuală
- Demonstrarea automată a teoremei
Categorii
Aceasta este o aplicație care poate fi preluată și de la https://sourceforge.net/projects/frdcsa/. A fost găzduit în OnWorks pentru a fi rulat online într-un mod cât mai ușor de pe unul dintre sistemele noastre operative gratuite.
