(stránka s linkami na bakalárske práce 2017/2018)
 
d
Riadok 2: Riadok 2:
  
 
* [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://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)]

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

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