*** Five Questions on LVA 184.774 Automated Deduction*** 


1. How much of the course material you have already known from your other, previously attended courses? 








2. What do you think about the lectures? (Were they ok, too fast, not detailed enough, etc.)








3. What is your opinion about the homeworks?  







4. What did you like the most about the course?






5. What's the one thing we should change about the course? 
(It's also ok to name more than one thing.)