Ročníkový projekt

Študent: Matej Mok · Vedúci: Mgr. Ján Kľuka, PhD

Téma: Vylepšenie pracovného zošita na výučbu matematickej logiky

Kontext

Logický pracovný zošit je softvér na podporu výučby matematickej logiky pre informatikov. Jedná sa o editor formátovaného textu s podporou Markdownu, HTML a TeXu. Do dokumentu je možné vkladať interaktívne prvky ktorými sú aplikácie na podporu výučby matematickej logiky. Zmeny v dokumente vytvorenom pomocou zošitu sú priebežne synchronizované s git repozitárom hostovaným na službe GitHub. Dokument sa je rozdelený do buniek ktoré sú buď textové alebo aplikačné. Bunky sa je možné jednoducho pridávať, preusporiadať mazať.

Špecifikácia

Technické funkcie a vylepšenia

História repozitára – zmenšenie počtu commitov použitím dočasnej vetvy a zlúčením commitov do jedného pri pripojení do hlavnej vetvy

Undo/redo

Práca offline s využitím local storage

Drobné, zatiaľ neotestované vylepšenia

Štruktúra cvičení a zdieľanie informácií

Implementácia mechanizmu na zdieľanie dát medzi bunkami vhodného na postupné odvodzovanie tvrdení, rozširovanie jazyka a teórie.

Možné ďalšie rozšírenia

Integrácia kontrolóra formalizácií a jeho backendu

Kvízové otázky a backend na ich vyhodnocovanie

Technický problém: zdieľaná autentifikácia

Používateľské vylepšenia

Zjednodušená prezentácia repozitára, uľahčenie prístupu k zadaniam

Repozitáre

Frontend: https://github.com/FMFI-UK-1-AIN-412/workbook

Frontend (vývoj): https://github.com/4zzz/workbook

Backend: https://github.com/FMFI-UK-1-AIN-412/workbook-auth-backend/

Funkčná verzia

Stabilná: https://fmfi-uk-1-ain-412.github.io/workbook/

Priebežne aktualizovaná vývojová: https://4zzz.github.io/workbook/

Výsledky

Report zo zimného semestra: PDF

Report z letného semestra: PDF