Při výběru garanta předmětu se zobrazují připomínky jak k němu, tak ke všem vyučujícím daného předmětu. Při výběru vyučujícího, který garantem není, se zobrazují připomínky vztažené pouze k němu.
doc. RNDr. Jan Kofroň, Ph.D. [32-KDSS], Sémantika programů [NSWI162, cvičení]
Autor příspěvku je pořadateli ankety známý, 18.02.2024, 5. ročník, Informatika, bakalářské
Nemám, co vytknout. S vyučujícím jsem byl velmi spokojený, látka byla dobře vysvětlena.
Autor příspěvku je pořadateli ankety známý, 11.01.2024, 3. ročník, Informatika, bakalářské
Vyučující je nápomocný při řešení problémů, výklad je dobře strukturovaný, srozumitelný, a při cvičení zapojuje studenty.
Připomínka k předmětu, Sémantika programů [NSWI162, cvičení]
Autor příspěvku je pořadateli ankety známý, 18.02.2024, 5. ročník, Informatika, bakalářské
Sémantika programů je pro mě zajímavý předmět, kde jsem se dozvěděl o použití logiky pro verifikaci programů. Náročnost je odpovídající 1 kreditu, zápočet je za 3 menší úkoly.
Velmi zajímavý předmět, přijde mi vlastně docela škoda, že má tak malý rozsah a kreditovou dotaci, určitě by šlo ukázat mnohem víc, a předmět by pak možná mohl být trochu více prakticky užitečný. Takhle z toho je jenom zajímavost na okraj, kterou si asi mnozí splní a už si na ni znova nevzpomenou.
Autor příspěvku je pořadateli ankety známý, 11.01.2024, 3. ročník, Informatika, bakalářské
Zajímavý předmět, ačkoliv by se třeba hodila rozsáhlejší ukázka použití verifikačních systémů na jazycích používaných v praxi (Java, Python) místo jazyka Pi.