Ito ang Linux app na pinangalanang LogicCalculus na ang pinakabagong release ay maaaring ma-download bilang LogicCalculus_1.1.1.exe. Maaari itong patakbuhin online sa libreng hosting provider na OnWorks para sa mga workstation.
I-download at patakbuhin online ang app na ito na pinangalanang LogicCalculus na may OnWorks nang libre.
Sundin ang mga tagubiling ito upang patakbuhin ang app na ito:
- 1. Na-download ang application na ito sa iyong PC.
- 2. Ipasok sa aming file manager https://www.onworks.net/myfiles.php?username=XXXXX kasama ang username na gusto mo.
- 3. I-upload ang application na ito sa naturang filemanager.
- 4. Simulan ang OnWorks Linux online o Windows online emulator o MACOS online emulator mula sa website na ito.
- 5. Mula sa OnWorks Linux OS na kasisimula mo pa lang, pumunta sa aming file manager https://www.onworks.net/myfiles.php?username=XXXX gamit ang username na gusto mo.
- 6. I-download ang application, i-install ito at patakbuhin ito.
MGA LALAKI
Ad
LogicCalculus
DESCRIPTION
Ang LogicCalculus ay isang logic IDE para sa sentential logic at ang predicate logic. Sa kasalukuyan, maaari nitong suriin ang mga expression at punan ang isang talahanayan ng katotohanan.
Mga tampok
- Logic ng pangungusap [Tapos na]
- Predicate logic [Planned]
- Talahanayan ng Katotohanan [Tapos na]
- Sariling Junktors [Planned]
- Quantors [Planned]
Audience
Agham/Pananaliksik, Edukasyon, Mga Advanced na End User, ayon sa Klase ng End-User, Mga End User/Desktop
Interface ng gumagamit
X Window System (X11), Win32 (MS Windows), Qt
Wika ng Programming
C + +
Kapaligiran ng Database
Nakabatay sa XML
Kategorya
Ito ay isang application na maaari ding kunin mula sa https://sourceforge.net/projects/logiccalculus/. Na-host ito sa OnWorks upang mapatakbo online sa pinakamadaling paraan mula sa isa sa aming mga libreng Operative System.
