Softvérová podpora vyučovania diskrétnej matematiky

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

15.6.2021 [zip]

13.7.2021 [zip]

1.11.2021 [zip]

3.12.2021 [zip]

1.2.2022 [zip] [tex]