Bu, en son sürümü mild_all__2.2.4.zip olarak indirilebilen SPINdle adlı Windows uygulamasıdır. İş istasyonları için ücretsiz barındırma sağlayıcısı OnWorks'te çevrimiçi olarak çalıştırılabilir.
SPINdle adlı bu uygulamayı OnWorks ile ücretsiz olarak indirin ve çevrimiçi çalıştırın.
Bu uygulamayı çalıştırmak için şu talimatları izleyin:
- 1. Bu uygulamayı PC'nize indirdiniz.
- 2. Dosya yöneticimize https://www.onworks.net/myfiles.php?username=XXXXX istediğiniz kullanıcı adını girin.
- 3. Bu uygulamayı böyle bir dosya yöneticisine yükleyin.
- 4. Bu web sitesinden herhangi bir OS OnWorks çevrimiçi öykünücüsünü başlatın, ancak daha iyi Windows çevrimiçi öykünücüsü.
- 5. Yeni başlattığınız OnWorks Windows işletim sisteminden, istediğiniz kullanıcı adıyla https://www.onworks.net/myfiles.php?username=XXXXX dosya yöneticimize gidin.
- 6. Uygulamayı indirin ve kurun.
- 7. Wine'ı Linux dağıtımları yazılım havuzlarınızdan indirin. Kurulduktan sonra, Wine ile çalıştırmak için uygulamaya çift tıklayabilirsiniz. Ayrıca, popüler Windows programlarını ve oyunlarını yüklemenize yardımcı olacak Wine üzerinden gösterişli bir arayüz olan PlayOnLinux'u da deneyebilirsiniz.
Wine, Windows yazılımını Linux üzerinde çalıştırmanın bir yoludur, ancak Windows gerektirmez. Wine, Windows programlarını doğrudan herhangi bir Linux masaüstünde çalıştırabilen açık kaynaklı bir Windows uyumluluk katmanıdır. Esasen Wine, Windows'a ihtiyaç duymadan tüm bu Windows uygulamalarını çalıştırabilmesi için yeterince Windows'u sıfırdan yeniden uygulamaya çalışıyor.
EKRAN
Ad
İŞ MİLİ
TANIM
SPINdle, geçersiz mantık teorilerinin sonuçlarını verimli bir şekilde hesaplamak için kullanılabilecek bir mantık akıl yürütücüsüdür. Mevcut uygulama, hem temel reddedilebilir mantığı hem de modal feshedilebilir mantığı kapsar.
Özellikler
- Olgu, katı kurallar, feshedilebilir kurallar, mağluplar ve üstünlük gibi tüm reddedilebilir mantığın kural türlerini destekler.
- Modal operatör dönüşümleri ile Modal Defeasible Logics'i destekler.
- Olumsuzlamayı ve çelişen (birbirini dışlayan) değişmezleri destekler.
- Yıkılabilir teori, XML ve düz metin (önceden tanımlanmış sözdizimi ile) kullanılarak temsil edilebilir ve bir teori ve uzantısı da XML kullanılarak dışa aktarılabilir.
- Standart geçersiz kılınabilir mantık teorisini düzenlemek için bir görsel teori editörü geliştirilmiştir. (Ayrıntılar için lütfen proje evine bakın.)
Programlama dili
Java
Kategoriler
Bu, https://sourceforge.net/projects/spindlereasoner/ adresinden de getirilebilecek bir uygulamadır. Ücretsiz İşletim Sistemlerimizden birinden en kolay şekilde çevrimiçi çalıştırılabilmesi için OnWorks'te barındırılmıştır.
