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.
RNDr. Petr Kučera, Ph.D. [32-KTIML], Rozhodovací procedury a SAT/SMT řešiče [NAIL094, přednáška]
The problems we covered during practicals were interesting. I appreciated that the teacher always offered to go over examples of what learned at the lecture.
Připomínka k předmětu, Rozhodovací procedury a SAT/SMT řešiče [NAIL094, přednáška]
Zajímavý úvod do SAT a SMT řešičů. Některá témata zmíněna jen okrajově, což je škoda, ale nejspíš to omezený čas vyžaduje. Úkoly na zápočet o tématech opravdu donutí přemýšlet a jsou přiměřeně zvládnutelné.
