d |
d |
||
| Riadok 1: | Riadok 1: | ||
| − | Prehľad tém bakalárskych prác | + | 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)] | * [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)] | ||
Verzia zo dňa a času 20:03, 22. október 2017
Prehľad tém bakalárskych prác 2017-2018: