m
m
Line 4: Line 4:
 
* [https://nitrajka.github.io/ Alexandra Nyitraiová: Educational tools for first order logic (Šiška)]
 
* [https://nitrajka.github.io/ Alexandra Nyitraiová: Educational tools for first order logic (Šiška)]
 
* [https://zoltanonody.github.io/proof-assistant-docs/ Zoltán Onódy: A proof assistant for elementary mathematics (Kľuka)]
 
* [https://zoltanonody.github.io/proof-assistant-docs/ Zoltán Onódy: A proof assistant for elementary mathematics (Kľuka)]
 +
* [http://www.st.fmph.uniba.sk/~spisakova31/bp/ Andrea Spišáková: Softvérová podpora vyučovania matematiky Hejného metódou - prostredie Parketovanie (Borovanský)]
 +
* [https://stingel.github.io/ Peter Stingel: Activity Data Transfer and presentation from Garmin Watch (Borovanský)]
 
* [http://www.st.fmph.uniba.sk/~simsikova2/bachelor_thesis/ Viktória Šimšíková: Web Application for Interaction Visualisation (Hrušecký)]
 
* [http://www.st.fmph.uniba.sk/~simsikova2/bachelor_thesis/ Viktória Šimšíková: Web Application for Interaction Visualisation (Hrušecký)]
 
* [https://www.st.fmph.uniba.sk/~vozar23/ Adam Vozár: Zdieľaný kalendár pre študentov na vysokej škole (Gyarfáš)]
 
* [https://www.st.fmph.uniba.sk/~vozar23/ Adam Vozár: Zdieľaný kalendár pre študentov na vysokej škole (Gyarfáš)]

Revision as of 21:43, 23 October 2017

Prehľad tém bakalárskych prác 2017-2018: