Line 31: | Line 31: | ||
|- | |- | ||
|Nikola Kulíková||Kľuka||[http://www.st.fmph.uniba.sk/~kulikova16/ Automatizácia kontroly formalizačných cvičení v logike] | |Nikola Kulíková||Kľuka||[http://www.st.fmph.uniba.sk/~kulikova16/ Automatizácia kontroly formalizačných cvičení v logike] | ||
− | || +||1||+||+||+||2||+||+|| || || || | + | || +||1||+||+||+||2||+||+||+||3||ok|| |
|- | |- | ||
|Marek Lichvár||Markošová||[http://www.st.fmph.uniba.sk/~lichvar4/ Tvorba softvéru pre konštrukciu a analýzu kontextovej jazykovej siete v anglickom jazyku] | |Marek Lichvár||Markošová||[http://www.st.fmph.uniba.sk/~lichvar4/ Tvorba softvéru pre konštrukciu a analýzu kontextovej jazykovej siete v anglickom jazyku] |
Revision as of 13:05, 30 May 2022
Utorok, 10:40 - 11:25, M-V, Andrej Blaho
[ naspäť na stránku Bakalárskeho seminára ]
prihláste sa na tréningovú obhajobu