DD2454 Semantics for Programming
Languages, HT07
Course Evaluation
In the questions below, please use the following numeric evaluation
scheme:
1 very bad, 2 bad, 3 rather bad, 4 rather good, 5 good, 6 very good.
General Questions
1: How well was the course goal made clear at the beginning of the
course? [5.0]
2: How would you rate the course book? [3.5]
"too heavy"
3: How useful did you find the course web pages? [4.2]
Lectures and Tutorials
4: What percentage of lectures did you attend?
5: What use did you have of the lectures and tutorials? [5.5]
6: How well did the exercise sessions fit the material covered in the
lectures? [5.0]
7: How was the lecturer didactically speaking? [5.6]
8: How enthusiastic and motivated was the lecturer? [5.9]
9: How well did the lecturer answer questions? [5.7]
10: How friendly and helpful was the lecturer during breaks, in
e-mails, etc? [5.9]
11: Did the lecturer use avalable tools appropriately (OH, video, etc)? [5.1]
Environment
12: How was the lecture room concerning light, acoustics, and air? [4.5] "messy environment"
General
13: How meaningful do you consider the course? [4.0]
14: Did you have all prerequisite knowledge for the course? [4.9]
15: Your suggestions for improving the course:
- earlier feedback for homeworks
- more examples on inductive proofs
- more step-by-step examples for each problem class
- clearer requirements on level of detail for problems
- more assignments
- make programming task of 3-rd assignment obligatory
- explain new symbols when introducing them
- get a new course book
16: Other comments:
- too many symbols sometimes, and too
focused on proving
- the book doesn't show the various proof techniques very well