(Vytvorená stránka „'''Utorok, 8:10, M-I, Pavel Petrovič'''<br> <small>[ '' naspäť na stránku Bakalárskeho seminára '' ]</small><br> <!-- Prihláste sa na [http:/...“) |
|||
Riadok 43: | Riadok 43: | ||
|| || || || || || || || || || | || || || || || || || || || || | ||
|- | |- | ||
− | | | + | |Zoltán Onódy||Ján Kľuka||[https://zoltanonody.github.io/proof-assistant-docs/ A proof assistant for elementary mathematics] |
|| || || || || || || || || || | || || || || || || || || || || | ||
|- | |- |
Verzia zo dňa a času 08:28, 19. február 2018
Utorok, 8:10, M-I, Pavel Petrovič
[ naspäť na stránku Bakalárskeho seminára ]
PP - pripraví si prezentáciu
Hodnotenie denníkov:
Soňa Barteková | ||
Martina Bodišová | ||
Tomáš Bordáč | ||
Michal Brcko | ||
Milan Cifra | ||
Daniel Derevjanik | ||
Patrik Fašang | ||
Radoslav Hečko | ||
Matej Kopčík | ||
Lucia Kubíčková | ||
Patrícia Marmanová | ||
Michal Ondrejička | ||
Michal Plevka | ||
Lívia Staškovičová | ||
Dušan Suja |