To jest aplikacja dla systemu Linux o nazwie Set Theory Relations w języku Java, której najnowszą wersję można pobrać w formacie doc.zip. Można go uruchomić online w bezpłatnym dostawcy hostingu OnWorks dla stacji roboczych.
Pobierz i uruchom online aplikację o nazwie Relacje teorii mnogości w Javie z OnWorks za darmo.
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.
Teoria zestawów relacji w Javie
Ad
OPIS
Proste klasy Java implementujące podstawowe koncepcje relacji zdefiniowane w teorii mnogości. Relacja to zbiór par uporządkowanych. Relacja może mieć właściwości, w tym, że jest zwrotna, symetryczna lub przechodnia. Klasy umożliwiają określenie niektórych par uporządkowanych i wydedukują wszystkie inne powiązane pary uporządkowane implikowane przez właściwości relacji. Istnieją implementacje relacji przechodnich, zwrotno-przechodnich i symetrycznych-zwrotnych-i-przechodnich (równoważności) przy użyciu zestawów skrótów i zestawów drzew.
Aktualna wersja (0.1) została przetestowana, ale nie jest w znacznym stopniu wykorzystywana. Mile widziane będą informacje zwrotne na temat zastosowań w terenie, a także oferty współpracy mające na celu udoskonalenie algorytmów dedukcji.
Publiczność
Deweloperzy, Testerzy
Język programowania
Java
Kategorie
Jest to aplikacja, którą można również pobrać z https://sourceforge.net/projects/settheoryrels/. Jest hostowany w OnWorks, aby można go było uruchomić online w najprostszy sposób z jednego z naszych bezpłatnych systemów operacyjnych.
