d
d
Riadok 1: Riadok 1:
 
Prehľad tém bakalárskych prác 2017-2018:
 
Prehľad tém bakalárskych prác 2017-2018:
  
* [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/~danis30/bc/ Tamás Danis: Aplikácia na podporu prevencie a zdravia jedinca (Blaho)]
 
* [http://www.st.fmph.uniba.sk/~danis30/bc/ Tamás Danis: Aplikácia na podporu prevencie a zdravia jedinca (Blaho)]
 +
* [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/~simsikova2/bachelor_thesis/ Viktória Šimšíková: Web Application for Interaction Visualisation (Hrušecký)]

Verzia zo dňa a času 22:42, 22. október 2017

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