LogicCalculus എന്ന് പേരിട്ടിരിക്കുന്ന Linux ആപ്പാണിത്, ഇതിന്റെ ഏറ്റവും പുതിയ റിലീസ് LogicCalculus_1.1.1.exe ആയി ഡൗൺലോഡ് ചെയ്യാം. വർക്ക് സ്റ്റേഷനുകൾക്കായുള്ള സൗജന്യ ഹോസ്റ്റിംഗ് ദാതാവായ OnWorks-ൽ ഇത് ഓൺലൈനായി പ്രവർത്തിപ്പിക്കാം.
LogicCalculus എന്ന് പേരിട്ടിരിക്കുന്ന ഈ ആപ്പ് OnWorks-നൊപ്പം സൗജന്യമായി ഓൺലൈനായി ഡൗൺലോഡ് ചെയ്ത് പ്രവർത്തിപ്പിക്കുക.
ഈ ആപ്പ് പ്രവർത്തിപ്പിക്കുന്നതിന് ഈ നിർദ്ദേശങ്ങൾ പാലിക്കുക:
- 1. നിങ്ങളുടെ പിസിയിൽ ഈ ആപ്ലിക്കേഷൻ ഡൗൺലോഡ് ചെയ്തു.
- 2. ഞങ്ങളുടെ ഫയൽ മാനേജറിൽ https://www.onworks.net/myfiles.php?username=XXXXX എന്നതിൽ നിങ്ങൾക്ക് ആവശ്യമുള്ള ഉപയോക്തൃനാമം നൽകുക.
- 3. അത്തരം ഫയൽമാനേജറിൽ ഈ ആപ്ലിക്കേഷൻ അപ്‌ലോഡ് ചെയ്യുക.
- 4. ഈ വെബ്സൈറ്റിൽ നിന്ന് OnWorks Linux ഓൺലൈനോ Windows ഓൺലൈൻ എമുലേറ്ററോ MACOS ഓൺലൈൻ എമുലേറ്ററോ ആരംഭിക്കുക.
- 5. നിങ്ങൾ ഇപ്പോൾ ആരംഭിച്ച OnWorks Linux OS-ൽ നിന്ന്, നിങ്ങൾക്ക് ആവശ്യമുള്ള ഉപയോക്തൃനാമത്തോടുകൂടിയ ഞങ്ങളുടെ ഫയൽ മാനേജർ https://www.onworks.net/myfiles.php?username=XXXXX എന്നതിലേക്ക് പോകുക.
- 6. ആപ്ലിക്കേഷൻ ഡൌൺലോഡ് ചെയ്യുക, അത് ഇൻസ്റ്റാൾ ചെയ്ത് പ്രവർത്തിപ്പിക്കുക.
സ്ക്രീൻഷോട്ടുകൾ
Ad
ലോജിക് കാൽക്കുലസ്
വിവരണം
ലോജിക് കാൽക്കുലസ് എന്നത് വാചക ലോജിക്കിനും പ്രെഡിക്കേറ്റ് ലോജിക്കിനുമുള്ള ഒരു ലോജിക് IDE ആണ്. നിലവിൽ ഇതിന് പദപ്രയോഗങ്ങൾ വിലയിരുത്താനും ഒരു സത്യ പട്ടിക പൂരിപ്പിക്കാനും കഴിയും.
സവിശേഷതകൾ
- സെന്റൻഷ്യൽ ലോജിക് [പൂർത്തിയായി]
- യുക്തി പ്രവചിക്കുക [പ്ലാൻഡ്]
- സത്യപട്ടിക [പൂർത്തിയായി]
- സ്വന്തം ജങ്ക്‌ടോറുകൾ [ആസൂത്രണം ചെയ്‌തത്]
- ക്വാണ്ടറുകൾ [ആസൂത്രണം]
പ്രേക്ഷകർ
ശാസ്ത്രം/ഗവേഷണം, വിദ്യാഭ്യാസം, വിപുലമായ അന്തിമ ഉപയോക്താക്കൾ, അന്തിമ ഉപയോക്തൃ ക്ലാസ്, അന്തിമ ഉപയോക്താക്കൾ/ഡെസ്‌ക്‌ടോപ്പ്
ഉപയോക്തൃ ഇന്റർഫേസ്
X വിൻഡോ സിസ്റ്റം (X11), Win32 (MS Windows), Qt
പ്രോഗ്രാമിംഗ് ഭാഷ
സി ++
ഡാറ്റാബേസ് പരിസ്ഥിതി
XML അടിസ്ഥാനമാക്കിയുള്ളത്
Categories
https://sourceforge.net/projects/logiccalculus/ എന്നതിൽ നിന്നും ലഭിക്കാവുന്ന ഒരു ആപ്ലിക്കേഷനാണിത്. ഞങ്ങളുടെ സൗജന്യ ഓപ്പറേറ്റീവ് സിസ്റ്റങ്ങളിലൊന്നിൽ നിന്ന് ഏറ്റവും എളുപ്പമുള്ള രീതിയിൽ ഓൺലൈനിൽ പ്രവർത്തിപ്പിക്കുന്നതിനായി ഇത് OnWorks-ൽ ഹോസ്റ്റ് ചെയ്‌തിരിക്കുന്നു.
