Aktuálna verzia práce
21.4.2022
[zip]
- pridanie inverzu pre funkcie
- moznost prechadzania vysvetlovaca pomocou next/previous
Predchádzajúce verzie práce
10.4.2022
[zip]
- Oprava vykreslovania Hasseho diagramu (vykresloval sa opacne)
8.4.2022
[zip]
Pripravil som testovacie príklady v nasledovných súboroch:
- tester_matrix.ipynb
- tester_graph.ipynb
- tester.ipynb
4.4.2021
[zip]
- ADT pre binárne relácie
- Jednoduchá textová reprezentácia pre množinovú a maticovú reprezentáciu binárnej relácie
- Jednoduchá grafová reprezentácia pre grafovú reprezentáciu binárnej relácie
11.4.2021
[zip]
- ADT pre relácie na množine a čiastočné usporiadania
- Orientovaný graf pre relácie na množine
- Hasseho diagram pre čiastočné usporiadania
18.4.2021
[zip]
- Množinová reprezentácia
- Využitie sympy - FiniteSet
- Oddelenie maticovej a grafovej reprezentácie do samostatných modulov
26.4.2021
[zip]
- Úprava terminológie
- BinaryRelation - základné vzťahy, kompozícia, definičný obor, obor hodnôt, obraz a vzor množiny v relácii
- Refaktorizácia celého kódu
7.5.2021
[zip]
- Zjednodušenie a opravenie kódu pre Binárne relácie a relácie na množine
31.5.2021
[zip]
- partialOrder
- zväzové operácie
- override union, intersection, ...
- homogeneousRelation
- override union, intersection, ...
- interpreter
- jednoduchý interpreter pre množinové operácie
13.7.2021
[zip]
- Zapracovanie pripomienok
- Lark - pythonovska kniznica na parsovanie
- zadefinovany jazyk pre mnoziny s uvodom do relacii
1.11.2021
[zip]
- interpreter
- generovanie relácii
- nájdenie kontrapríkladu
3.12.2021
[zip]
- Zabalenie interpretra do triedy, pridanie kontroly nad premennými a univerzom.
- modul explanator, testovanie / skúšanie vysvetľovača
1.2.2022
[zip]
[tex]
- Zabalenie interpretra do triedy, pridanie kontroly nad premennými a univerzom.
- modul explanator, testovanie / skúšanie vysvetľovača
- generovanie DIMACS CNF pre MiniSat