Aktuella utvärderingar

Visa resultat

Här kan se resultatet från utvärderingen och exportera statistiken till ett annat program. Det går också att göra en enkel filtrering genom att klicka på svarsalternativen och kommentarerna eller en avancerad filtrering genom att använda knappen längst ned.

Logic in computer science, Lp 1 Ht09, DAT060/DIT201

Status: Avslutad
Öppen för svar: 2009-10-12 - 2009-10-28
Antal svar: 28
Procent av deltagarna som svarat: 8%
Kontaktperson: Åsa Samdell»

Your own effort

1. How many hours per week did you spend on this course?

We mean total time, that is, it comprises the time you spent in class and the time you spent on your own work. Try to estimate the average time over the entire study period.

28 svarande

At most 15 hours/week»18 64%
Around 20 hours/week»9 32%
Around 25 hours/week»1 3%
Around 30 hours/week»0 0%
At least 35 hours/week»0 0%

Genomsnitt: 1.39

2. How large part of the teaching offered did you attend?

28 svarande

0%»0 0%
25%»3 10%
50%»4 14%
75%»5 17%
100%»16 57%

Genomsnitt: 4.21

- Almost all lectures, no exercise sessions. I usually don"t go to exercise sessions. I prefer to work on my own. The lectures have been great. Both Thierry and John are great lecturers, in their own ways.» (100%)
- Most of the second part of the course lectures (Coquand) I didn"t understand, he is just too fast.» (100%)

Goals and goal fulfilment

The course syllabus states the course goals in terms of learning outcomes, i.e., knowledge, skills and attitudes to be acquired by the student during the course.

3. How understandable are the course goals?

28 svarande

I have not seen/read the goals»8 28%
The goals are difficult to understand»4 14%
The goals give some guidance, but could be clearer»10 35%
The goals clearly describe what I am supposed to learn»6 21%

Genomsnitt: 2.5

4. Are the goals reasonable considering your background and the number of credits?

Answer this this question and the succeeding one, only if you do know the course goals.

23 svarande

No, the goals are set too low»1 4%
Yes, the goals seem reasonable»21 91%
No, the goals are set too high»1 4%

Genomsnitt: 2

5. Did the examination assess whether you have reached the goals?

24 svarande

No, not at all»0 0%
To some extent»7 29%
Yes, definitely»6 25%
I don"t know/have not been examined yet»11 45%

Genomsnitt: 3.16

Teaching and course administration

6. To what extent has the teaching been of help for your learning?

28 svarande

Small extent»7 25%
Some extent»8 28%
Large extent»8 28%
Great extent»5 17%

Genomsnitt: 2.39

- The answer apply to the later part of the course [Coquand] where it gets difficult to understand if you have not reviewed the material beforehand.» (Small extent)
- Both lecturers were both incredibly interesting to listen to and very good at explaining the topics. The exercise sessions were not very helpful because I did the exercises in advance.» (Great extent)

7. To what extent has the course literature and other material been of help for your learning?

28 svarande

Small extent»3 10%
Some extent»8 28%
Large extent»10 35%
Great extent»7 25%

Genomsnitt: 2.75

- The lectures provide us with the most nessecary means for the course. The course litterature is useful for further exersises or going further when the lecture didn"t (ie harder demonstrations)» (Some extent)
- The book should have more solutions to exercises, how else are we suppose to learn if we are only given a handfull of solutions.» (Large extent)
- The book is very easy to understand, and provides good strategies for solving problems related to logic.» (Great extent)

8. How well did the course administration, web page, handouts etc work?

28 svarande

Very badly»2 7%
Rather badly»5 17%
Rather well»19 67%
Very well»2 7%

Genomsnitt: 2.75

- Not enough updates on the homepage, not enough exams or answers to exercises. » (Very badly)
- It could be interesting to have a more systematic way to have access to the solutions of the book"s exersises» (Rather well)

Study climate

9. How were the opportunities for asking questions and getting help?

28 svarande

Very poor»1 3%
Rather poor»2 7%
Rather good»5 17%
Very good»10 35%
I did not seek help»10 35%

Genomsnitt: 3.92

- The exercises were not good. The assistant did not know the course material and made a lot of misstakes.» (Rather poor)

10. How well has cooperation between you and your fellow students worked?

27 svarande

Very poorly»0 0%
Rather poorly»0 0%
Rather well»8 29%
Very well»8 29%
I did not seek cooperation»11 40%

Genomsnitt: 4.11

11. How was the course workload?

28 svarande

Too low»1 3%
Low»4 14%
Adequate»21 75%
High»1 3%
Too high»1 3%

Genomsnitt: 2.89

- The course workload allowed me to read the book and do exercises during the course, which helped my understanding a great deal.» (Adequate)

12. How was the total workload this study period?

28 svarande

Too low»1 3%
Low»2 7%
Adequate»16 57%
High»9 32%
Too high»0 0%

Genomsnitt: 3.17

- Normally too low (i.e this period slightly higher than average)» (Adequate)

Summarizing questions

13. What is your general impression of the course?

28 svarande

Poor»5 17%
Fair»2 7%
Adequate»4 14%
Good»14 50%
Excellent»3 10%

Genomsnitt: 3.28

- There were too much stuff at the end, it felt rushed (as in many courses), the difference with this course is that the later parts seems to be secondary since very few exercises were on those parts (SAT, fixed point CTL,... )» (Fair)

14. What should definitely be preserved to next year?

- The lecturers. I also think the material covered is great and is very reasonable for an introduction course in CS logic.»
- Lectures with Jan Smith, Natural Deduction, LTL and CTL although the book is not explaining it well.»
- the book was very good»
- Thierry Coquand, excellent teaching.»
- Most of the course.»

15. What should definitely be changed to next year?

- Maybe a way to hand in exercises and get them corrected. Like every week or so. Just a few so you get the flow going. However, maybe this is what the exercise sessions were for.»
- Programming assignments.»
- I can"t think of anything to improve. The course is excellent.»
- Speak English, annd NOT french!!!!»
- fixed-point semantics of CTL, it was just rushed through and not enough exercises on it so why bother. The book is well written but some parts are just too theoretical... SAT just went over my head, I never read that chapter because it was not included, so I thought, it turns out it IS included (lecturer Coquand?! made a mistake). SAT should be in an algorithms course, I felt it was just not important here...»
- please use PPT»
- Il faudrait enseigner la logique de faįon plus "pratique" : le cours s´,intitule Logic in Computer Science, mais on a pas vraiment entendu parler de computer sciences pendant le cours, du coup, en sortant de lā, on a aucune idée de ce ā quoi įa pourrait nous servir.»
- Nothing in particular.»

16. Additional comments

- Excellent course!»
- Don"t you have younger examiners?she interrupted us many times during the exam and couldn"t explain things well.»
- This course should have online lecture notes (they should be ready weeks in advance, not days as in other courses). The later chapters on LTL and CTL are just theoretical and boring, the ideas could be made more clear if we had lecture notes, it makes it very clear what is covered and considered important in the course and I would have read the material beforehand to a larger extent than I did. The lectures were just too focused on writing on the blackboard and I feel it went too fast.»
- Maybe add weekly assignments with feedbacks. »
- Weekly voluntary assignments, giving bonus points for the exam is an excellent way for motivating students to pick up studies before the exam.»

Kursutvärderingssystem från