*** Ten Questions *** 

1. Having taken this course, do you think you have a better understanding of the use of decision procedures?



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




3. Did the course assume any prerequisite knowledge that you did not have?  




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




5. Were the guest lectures useful or were they disturbing the regular course flow?




6. What is your opinion about the homeworks?  




7. Were the exercise sessions helpful?




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




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



10. Any other comments?