Výstupy
Publicita
- Katedra počítačov a informatiky (TUKE)
- Informačná stránka projektu
- Informácia o prvom stretnutí riešiteľského kolektívu projektu:
- Informácia o druhom stretnutí riešiteľského kolektívu projektu:
- Katedra informatiky (UiO)
Interaktívny dokazovací systém
Hlavným cieľom projektu je vývoj webovej aplikácie: interaktívneho dokazovacieho systému a jeho nasadenie vo výučbe relevantných predmetov na TUKE a UiO.
- V príprave.
- Plán prvého prototypu - február 2024.
Prehľadový článok
Dôležitým aspektom každého výskumného projektu je dôkladná analýza aktuálneho stavu. Z tohto dôvodu vypracujeme prehľadový článok v oblasti využitia výučbových webových aplikácií vo výučbe formálnych metód.
- V príprave.
- Termín: leto 2024.
Skriptá
Ďalším výstupom riešenia projektu je tvorba resp. aktualizácia výučbových materiálov (skriptá) pre príslušné predmety, v ktorých bude využitý vyvinutý webový nástroj.
- Implementácia a formalizácia programovacích jazykov (UiO)
- Informačná stránka predmetu.
- V príprave.
- Logika pre informatikov (TUKE)
- Informačná stránka predmetu a aktuálna verzia skrípt.
- V procese finalizácie.
Konferencia/Workshop
Výsledky výskumu uskutočneného počas riešenia projektu pri vývoji webového výučbového nástroja a jeho následnej implementácii do výučby plánujeme publikovať na relevantných vedeckých konferenciách alebo workshopoch.
Termín: leto 2024.