When the course guarantor is selected, comments will be displayed regarding his/her teaching performance as well as that of all the other teachers teaching the course. If a teacher who is not the course guarantor is selected, only comments related to his/her teaching will be displayed.
doc. RNDr. Jan Kofroň, Ph.D. [32-KDSS], Program Semantics [NSWI162, cvičení]
Author of entry is known to survey organiser, 18.02.2024, 5. ročník, Informatika, Bachelor's
Nemám, co vytknout. S vyučujícím jsem byl velmi spokojený, látka byla dobře vysvětlena.
Author of entry is known to survey organiser, 11.01.2024, 3. ročník, Informatika, Bachelor's
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.
Comment on course, Program Semantics [NSWI162, cvičení]
Author of entry is known to survey organiser, 18.02.2024, 5. ročník, Informatika, Bachelor's
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.
Author of entry is known to survey organiser, 11.01.2024, 3. ročník, Informatika, Bachelor's
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.
