m
m
Line 1: Line 1:
 
Prehľad tém bakalárskych prác 2017-2018:
 
Prehľad tém bakalárskych prác 2017-2018:
  
* [https://www.st.fmph.uniba.sk/~bordac6/BakalarskaPraca/ Tomáš Bordáč: Alexa skill na ovládanie počítača]
+
* [https://www.st.fmph.uniba.sk/~bordac6/BakalarskaPraca/ Tomáš Bordáč: Alexa skill na ovládanie počítača (Šiška)]
 
* [http://www.st.fmph.uniba.sk/~cifra9/BP/ Milan Cifra: Prieskumník sémantiky logiky prvého rádu (Kľuka)]
 
* [http://www.st.fmph.uniba.sk/~cifra9/BP/ Milan Cifra: Prieskumník sémantiky logiky prvého rádu (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://www.st.fmph.uniba.sk/~hrusovsky21/bakalarskapraca/ Ondrej Hrušovský: Vytvorenie herného prototypu v Unreal Engine 4 (Gyarfáš)]
 
* [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)]

Revision as of 22:07, 26 October 2017

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