Bu, en son sürümü LogicCalculus_1.1.1.exe olarak indirilebilen LogicCalculus adlı Linux uygulamasıdır. İş istasyonları için ücretsiz barındırma sağlayıcısı OnWorks'te çevrimiçi olarak çalıştırılabilir.
LogicCalculus 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 OnWorks Linux çevrimiçi veya Windows çevrimiçi öykünücüsünü veya MACOS çevrimiçi öykünücüsünü başlatın.
- 5. Yeni başladığınız OnWorks Linux işletim sisteminden, istediğiniz kullanıcı adıyla https://www.onworks.net/myfiles.php?username=XXXXX dosya yöneticimize gidin.
- 6. Uygulamayı indirin, kurun ve çalıştırın.
EKRAN
Ad
MantıkHesap
TANIM
LogicCalculus, cümle mantığı ve yüklem mantığı için bir mantık IDE'sidir. Şu anda ifadeleri değerlendirebilir ve bir doğruluk tablosunu doldurabilir.
Özellikler
- Sentetik mantık [Bitti]
- Yüklem mantığı [Planlandı]
- Doğruluk Tablosu [Bitti]
- Kendi Junktor'ları [Planlandı]
- Quantors [Planlı]
Seyirci
Bilim/Araştırma, Eğitim, Gelişmiş Son Kullanıcılar, Son Kullanıcı Sınıfına göre, Son Kullanıcılar/Masaüstü
Kullanıcı arabirimi
X Pencere Sistemi (X11), Win32 (MS Windows), Qt
Programlama dili
C + +
Veritabanı Ortamı
XML tabanlı
Kategoriler
Bu, https://sourceforge.net/projects/logiccalculus/ adresinden de getirilebilen 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.
