Questa è l'app Linux denominata LogicCalculus la cui ultima versione può essere scaricata come LogicCalculus_1.1.1.exe. Può essere eseguito online nel provider di hosting gratuito OnWorks per workstation.
Scarica ed esegui online questa app chiamata LogicCalculus con OnWorks gratuitamente.
Segui queste istruzioni per eseguire questa app:
- 1. Scaricata questa applicazione sul tuo PC.
- 2. Entra nel nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 3. Carica questa applicazione in tale file manager.
- 4. Avviare l'emulatore online OnWorks Linux o Windows online o l'emulatore online MACOS da questo sito Web.
- 5. Dal sistema operativo OnWorks Linux che hai appena avviato, vai al nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 6. Scarica l'applicazione, installala ed eseguila.
IMMAGINI
Ad
Calcolo Logico
DESCRIZIONE
LogicCalculus è un IDE logico per la logica sentenziale e la logica dei predicati. Attualmente può valutare espressioni e riempire una tabella di verità.
Caratteristiche
- Logica sentenziale [Fatto]
- Logica del predicato [pianificato]
- Tavola della verità [Fatto]
- Proprio Junktors [pianificato]
- Quantori [Pianificato]
Pubblico
Scienza/Ricerca, Istruzione, Utenti finali avanzati, per classe di utenti finali, Utenti finali/Desktop
Interfaccia utente
Sistema X Window (X11), Win32 (MS Windows), Qt
Linguaggio di programmazione
C++
Ambiente database
Basato su XML
Categorie
Questa è un'applicazione che può anche essere scaricata da https://sourceforge.net/projects/logiccalculus/. È stato ospitato in OnWorks per essere eseguito online in modo più semplice da uno dei nostri sistemi operativi gratuiti.
