Bakalárska práca

Jakub Marček marcek18@uniba.sk

Informácie Týždenník Odkazy Zdroje

Informácie

Študent:
Jakub Marček
Názov:
Grafové editory pre prieskumník štruktúr logiky prvého rádu
Školiteľ:
Mgr. Ján Kľuka, PhD.
Zadanie

Týždenník

  • Posledné dolaďovanie Editora funckií a jeho príprava na release. [#AC87B4]

  • Dokončovanie návrhovej a začatie s implementačnou častou bakalárskej práce.

  • Dolaďovanie Editora funckií. [#ACFCBD]

  • Písanie návrhovej časti bakalárskej práce.

  • Zmeny fungovanie Editora funckií. Experimentovanie s algoritmom na premenu množinových zápisov interpretácií na intervalovú reprezentáciu. [#A86F9A]

  • Dolaďovanie fungovania a UI Queries. [#986B8C]

  • Písanie prehľadovej časti bakalárskej práce.

  • Testovanie a publikovanie nového patchu aplikácie (ver. 0.1.7) a jeho integrácia v aplikácii Logic Workbook.

  • Ďalšia iterácia fungovania Editora funckií. Tentokrát založená na menej stromovitom princípe zobrazovania. [#B149E4]

  • UI zmeny Henkinovej-Hintikkovej hry. [#D418AC]

  • Prípráva druhej prezentácie na BS.

  • Testovanie a publikovanie nového patchu aplikácie (ver. 0.1.6) a jeho integrácia v aplikácii Logic Workbook.

  • Refactoring komponentov Henkinovej-Hintikkovej hry. [#69A84F]

  • Refactoring logiky a vyhodnocovania Henkinovej-Hintikkovej hry. [#15BB06]

  • Pridanie náhody pri výbere cesty v Henkinovej-Hintikkovej hre. [#D49DA6]

  • Testovanie a publikovanie nového patchu aplikácie (ver. 0.1.4) a jeho integrácia v aplikácii Logic Workbook.

  • Zmena spôsobu reprezentovania Editora funkcií. Ten je teraz reprezentovaný ako strom switch-ov. [#E47DD9]

  • Optimalizovanie vyhodnocovania formúl a Henkinovej-Hintikkovej hry. [#3732F0]

  • Testovanie a publikovanie nového patchu aplikácie (ver. 0.1.3) a jeho integrácia v aplikácii Logic Workbook.

  • Implementácia prvej verzie Editora funkcií. [#AAC7F2]

  • Dolaďovanie UI Henkinovej-Hintikkovej hry. [#CE9CC3]

  • Testovanie a publikovanie nového patchu aplikácie (ver. 0.1.2) a jeho integrácia v aplikácii Logic Workbook.

  • Prvá verzia Queries. [#F60040]

  • Implementácia drobných zmien týkajúcich sa filtrovania pomocou unárnych predikátov. [#CBE425]

  • Testovanie a publikovanie nového patchu aplikácie (ver. 0.1.1) a jeho integrácia v aplikácii Logic Workbook.

Zdroje

  • React Flow: A library for building node-based UIs, 2025. Dostupné z https://reactflow.dev .
  • XFlow: React libraries for node-based UIs, 2025. Dostupné z https://xyflow.dev .
  • Miroslav Baluch. Prieskumník grafových štruktúr pre logiku prvého rádu, Bakalárska práca, Univerzita Komenského v Bratislave, Fakulta matematiky, fyziky a informatiky, 2020.
  • Milan Cifra. Prieskumník sémantiky logiky prvého rádu, Bakalárska práca, Univerzita Komenského v Bratislave, Fakulta matematiky, fyziky a informatiky, 2018.
  • R. P. Grimaldi. Discrete and combinatorial mathematics: an applied introduction, Addison-Wesley Pub. Co., 1985.
  • Ján Kľuka, Ján Mazák, and Jozef Šiška. Logika pre informatikov a Úvod do matematickej logiky: Poznámky z prednášok, 2025.
  • Meta Platforms, Inc. React: A JavaScript library for building user interfaces, 2025. Dostupné z https://react.dev .
  • Microsoft. TypeScript: Typed JavaScript at Any Scale, 2025. Dostupné z https://www.typescriptlang.org .
  • Richard Tóth. Henkinova-hintikkova hra v prieskumníku štruktúr, Bakalárska práca, Univerzita Komenského v Bratislave, Fakulta matematiky, fyziky a informatiky, 2021.