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

  • Implementácia prvej verzie Editora unárnych funkcií.

  • 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.