31sty/100
JAVA – prosty program
Zlecę zaimplementowanie w języku JAVA (NetBeans) dokładnej metody Semantic Tableaux.
Ogólny zarys jest następujący:
1. Użytkownik podaje lub wczytuje formułę rachunku zdań.
2. Generowane jest drzewo automatycznie lub przy kontroli użytkownika (w formie graficznej).
3. Sprawdzana jest poprawność dowodu.
Dokładny opis jak to ma dokładnie działać wyślę zainteresowanym osobom.
Mam już jeden taki program, ale trzeba by go trochę przerobić, zatem wolę, aby zadanie zostało wykonane od początku. Najważniejsza jest dla mnie cena, a później czas.
Kontakt tylko poprzez serwis (mail).)