d |
d |
||
Riadok 5: | Riadok 5: | ||
* [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ý)] | * [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://davinci.fmph.uniba.sk/~staskovicova1/bakalarska_praca/ Lívia Staškovičová: Zber údajov z verejných informačných zdrojov (Gruska)] | ||
* [https://stingel.github.io/ Peter Stingel: Activity Data Transfer and presentation from Garmin Watch (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áš)] | ||
* [http://davinci.fmph.uniba.sk/~karafova3 Kristína Karafová: Softvérová podpora vyučovania matematiky Hejného metódou - prostredie Susedia (Borovanský)] | * [http://davinci.fmph.uniba.sk/~karafova3 Kristína Karafová: Softvérová podpora vyučovania matematiky Hejného metódou - prostredie Susedia (Borovanský)] |
Verzia zo dňa a času 23:17, 24. október 2017
Prehľad tém bakalárskych prác 2017-2018:
- Tamás Danis: Aplikácia na podporu prevencie a zdravia jedinca (Blaho)
- Alexandra Nyitraiová: Educational tools for first order logic (Šiška)
- Zoltán Onódy: A proof assistant for elementary mathematics (Kľuka)
- Andrea Spišáková: Softvérová podpora vyučovania matematiky Hejného metódou - prostredie Parketovanie (Borovanský)
- Lívia Staškovičová: Zber údajov z verejných informačných zdrojov (Gruska)
- Peter Stingel: Activity Data Transfer and presentation from Garmin Watch (Borovanský)
- Viktória Šimšíková: Web Application for Interaction Visualisation (Hrušecký)
- Adam Vozár: Zdieľaný kalendár pre študentov na vysokej škole (Gyarfáš)
- Kristína Karafová: Softvérová podpora vyučovania matematiky Hejného metódou - prostredie Susedia (Borovanský)