semanticviz.paultal.online
Explorează frumusețea tabelelor semantice. Transformă formule logice complexe în vizualizări clare și interactive cu algoritmul meu logic avansat.
Arbori Interactivi
Urmărește descompunerea formulelor în timp real. Sistemul meu avansat de randare creează diagrame frumoase, gata de exportat, care fac înțelegerea logicii intuitivă.
Tabele de Adevăr
Generează instantaneu tabele de adevăr complete. Analizează validitatea, consistența, și contingența cu algoritmul meu performant de evaluare.
Parser Inteligent
Scrie natural cu evidențierea sintaxei inteligente. Detecția erorilor în timp real și suportul pentru multiple notații logice asigură un flux de lucru fluid.
Despre Proiect
SemanticViz este un proiect realizat pentru cursul de Logică Computațională din cadrul FMI UBB. Este realizat de Paul Tal cu scopul de a implementa un algoritm învățat la curs. Mai exact am implementat metoda tabelelor semantice. SemanticViz este o aplicație web ce permite utilizatorilor să genereze tabele semantice bazate pe o formulă.