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.
RNDr. Petr Kučera, Ph.D. [32-KTIML], Decision procedures and SAT/SMT solvers [NAIL094, přednáška]
Student has disallowed display of personal data, 03.07.2024, 3. Year, Informatika - Umělá inteligence, Master's (post-Bachelor)
Z nahrávek by se mohlo usuzovat, že přednášjícího přednášení látky nudí, ale zase koho by bavilo přednášed před prázdnou třídou..
Látka je ale podána velmi strukturovaně a srozumitelně a je vidět, že přednášející tématům opravdu rozumí a umí je předávat.
Comment on course, Decision procedures and SAT/SMT solvers [NAIL094, cvičení]
Student has disallowed display of personal data, 14.09.2024, 3. ročník, Informatika - Umělá inteligence, Master's (post-Bachelor)
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.
Comment on course, Decision procedures and SAT/SMT solvers [NAIL094, přednáška]
Student has disallowed display of personal data, 03.07.2024, 3. Year, Informatika - Umělá inteligence, Master's (post-Bachelor)
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é.
