Jest to aplikacja dla systemu Linux o nazwie LogicCalculus do działania w systemie Linux online, której najnowszą wersję można pobrać jako LogicCalculus_1.1.1.tar.gz. Można go uruchomić online w bezpłatnym dostawcy hostingu OnWorks dla stacji roboczych.
Pobierz i uruchom online aplikację o nazwie LogicCalculus, która będzie działać bezpłatnie w systemie Linux online z OnWorks.
Postępuj zgodnie z tymi instrukcjami, aby uruchomić tę aplikację:
- 1. Pobrałem tę aplikację na swój komputer.
- 2. Wpisz w naszym menedżerze plików https://www.onworks.net/myfiles.php?username=XXXXX z wybraną nazwą użytkownika.
- 3. Prześlij tę aplikację w takim menedżerze plików.
- 4. Uruchom emulator online OnWorks Linux lub Windows online lub emulator online MACOS z tej witryny.
- 5. W systemie operacyjnym OnWorks Linux, który właśnie uruchomiłeś, przejdź do naszego menedżera plików https://www.onworks.net/myfiles.php?username=XXXXX z wybraną nazwą użytkownika.
- 6. Pobierz aplikację, zainstaluj ją i uruchom.
ZRZUTY EKRANU
Ad
LogicCalculus do uruchomienia w systemie Linux online
OPIS
LogicCalculus to logiczne IDE dla logiki zdaniowej i logiki predykatów. Obecnie może oceniać wyrażenia i wypełniać tabelę prawdy.Zakładka Charakterystyka
- Logika zdań [Gotowe]
- Logika predykatów [Planowane]
- Tabela prawdy [Gotowe]
- Własne Junktory [Planowane]
- Kwantory [Planowane]
Publiczność
Nauka/badania, edukacja, zaawansowani użytkownicy końcowi, według klas użytkowników końcowych, użytkownicy końcowi/komputery
Interfejs użytkownika
System X Window (X11), Win32 (MS Windows), Qt
Język programowania
C + +
Środowisko bazy danych
oparty na XML
Jest to aplikacja, którą można również pobrać z https://sourceforge.net/projects/logiccalculus/. Został umieszczony w OnWorks, aby można go było uruchomić online w najprostszy sposób z jednego z naszych bezpłatnych systemów operacyjnych.
