Utvärderingar
Aktuella utvärderingar
Administrera
Hjälpsida
|
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 Ht11, DAT060/DIT201
Status: Avslutad Öppen för svar: 2011-10-10 - 2011-10-28 Antal svar: 35 Procent av deltagarna som svarat: 9% Kontaktperson: Åsa Samdell»
Your own effort1. 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.35 svarande
At most 15 hours/week» | | 21 | | 60% |
Around 20 hours/week» | | 9 | | 25% |
Around 25 hours/week» | | 3 | | 8% |
Around 30 hours/week» | | 1 | | 2% |
At least 35 hours/week» | | 1 | | 2% |
Genomsnitt: 1.62 - Essentially lectures and exercise sessions» (At most 15 hours/week)
- just prepared before exam» (At most 15 hours/week)
2. How large part of the teaching offered did you attend? 35 svarande
0%» | | 4 | | 11% |
25%» | | 5 | | 14% |
50%» | | 5 | | 14% |
75%» | | 9 | | 25% |
100%» | | 12 | | 34% |
Genomsnitt: 3.57 - It collided with my other courses» (0%)
- Everything that I learned in this course, I learned through the exercise sessions.» (0%)
- Lecture did collide with other course» (50%)
- Unfortunately, towards the end of the course a lot of the lectures was over my head, so it was pointless.» (50%)
- I missed a week due to illness.» (75%)
- the first teacher"s class were so boring .But exercise class and Terry"s class are prefect.» (75%)
- Missed the occasional lecture» (100%)
Goals and goal fulfilmentThe 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?35 svarande
I have not seen/read the goals» | | 15 | | 42% |
The goals are difficult to understand» | | 1 | | 2% |
The goals give some guidance, but could be clearer» | | 7 | | 20% |
The goals clearly describe what I am supposed to learn» | | 12 | | 34% |
Genomsnitt: 2.45 - Having almost no previous formal knowledge about logic, I never really understood the goals until the end of the course. I studied almost aimlessly until then.» (The goals are difficult to understand)
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.28 svarande
No, the goals are set too low» | | 2 | | 7% |
Yes, the goals seem reasonable» | | 25 | | 89% |
No, the goals are set too high» | | 1 | | 3% |
Genomsnitt: 1.96 - I don"t know since I haven"t read them» (?)
- Extremely simple course» (No, the goals are set too low)
- haven"t seen them» (Yes, the goals seem reasonable)
5. Did the examination assess whether you have reached the goals?29 svarande
No, not at all» | | 0 | | 0% |
To some extent» | | 6 | | 20% |
Yes, definitely» | | 8 | | 27% |
I don"t know/have not been examined yet» | | 15 | | 51% |
Genomsnitt: 3.31 - more time would have been nice at the exam» (To some extent)
Teaching and course administration6. To what extent has the teaching been of help for your learning?35 svarande
Small extent» | | 7 | | 20% |
Some extent» | | 10 | | 28% |
Large extent» | | 12 | | 34% |
Great extent» | | 6 | | 17% |
Genomsnitt: 2.48 - Did not use help» (Small extent)
- Lectures have been good, albeit slow» (Large extent)
- Good lectures that was (for the most part) easy to follow. » (Great extent)
- a lot better going to the lectures and exercises rather than just reading the book» (Great extent)
7. To what extent has the course literature and other material been of help for your learning?33 svarande
Small extent» | | 4 | | 12% |
Some extent» | | 8 | | 24% |
Large extent» | | 14 | | 42% |
Great extent» | | 7 | | 21% |
Genomsnitt: 2.72 - None» (?)
- Book is good, albeit a bit expensive» (Some extent)
- Did not buy the book, but did some exercises by looking at some friends" books.» (Some extent)
- The chosen course literature is really quite good.» (Great extent)
- Studied after book and examples in the book» (Great extent)
8. How well did the course administration, web page, handouts etc work?34 svarande
Very badly» | | 0 | | 0% |
Rather badly» | | 3 | | 8% |
Rather well» | | 22 | | 64% |
Very well» | | 9 | | 26% |
Genomsnitt: 3.17 - They helped in a sense that I am able to repeat and review the topics.» (?)
- Update the web page» (Rather badly)
- The old site was a bit of a nuisance, but seeing as it was out of your control I can"t complain.» (Rather well)
- Confusion with multiple similar pages, links to a non-updated one from the student portal.» (Rather well)
- Dead links on homepage to the exercises.» (Rather well)
- I think this course needs a Google group page that students can help each other for solving questions and problems. » (Rather well)
- No complaints» (Very well)
- It was clear how to study without lectures» (Very well)
Study climate9. How were the opportunities for asking questions and getting help?35 svarande
Very poor» | | 0 | | 0% |
Rather poor» | | 0 | | 0% |
Rather good» | | 5 | | 14% |
Very good» | | 10 | | 28% |
I did not seek help» | | 20 | | 57% |
Genomsnitt: 4.42 10. How well has cooperation between you and your fellow students worked?34 svarande
Very poorly» | | 0 | | 0% |
Rather poorly» | | 0 | | 0% |
Rather well» | | 11 | | 32% |
Very well» | | 7 | | 20% |
I did not seek cooperation» | | 16 | | 47% |
Genomsnitt: 4.14 - we did not do any thing as group!» (?)
- I mean no disrespect to the teacher Thierry Coquand, but I began to understand temporal logic only when a fellow student gave me some examples. » (Rather well)
- Very individual course though, due to no labs.» (Rather well)
11. How was the course workload?35 svarande
Too low» | | 2 | | 5% |
Low» | | 7 | | 20% |
Adequate» | | 22 | | 62% |
High» | | 4 | | 11% |
Too high» | | 0 | | 0% |
Genomsnitt: 2.8 - Very, very light workload.» (Too low)
- There would not have been enough time to do all the suggested exercises.» (Adequate)
- Most of the lectures were very interesting, but at the same time not very enlightening. Perhaps because of the sheer ammount of new information that had to be taken in at the same time. Therefore, I had to study on my own most of the time and that always implies a higher workload for the student in comparison with supervised studies.» (High)
12. How was the total workload this study period?35 svarande
Too low» | | 0 | | 0% |
Low» | | 4 | | 11% |
Adequate» | | 14 | | 40% |
High» | | 13 | | 37% |
Too high» | | 4 | | 11% |
Genomsnitt: 3.48 - I was working as a teaching assistant and took a very substantial second course (neural networks)» (High)
Summarizing questions13. What is your general impression of the course?35 svarande
Poor» | | 0 | | 0% |
Fair» | | 4 | | 11% |
Adequate» | | 7 | | 20% |
Good» | | 20 | | 57% |
Excellent» | | 4 | | 11% |
Genomsnitt: 3.68 - The lectures, book, etc are all well crafted but especially the lectures are very superficial. I don"t know if it"s been a problem course previously but this felt almost insultingly simplistic for a masters-level course.» (Fair)
- Lots of definitions and very abstract course in general, with a new way of thinking. Should be difficult, and it is.» (Adequate)
- Teaches some great techniques and a different view (description) of how to approach logic.» (Good)
- This has been an excellent course.» (Excellent)
14. What should definitely be preserved to next year?- exercises and book guid»
- Everything.»
- The times of the lectures!»
- Course literature»
- I think that everything should be preserved, and some of those things should be improved. I think that making any radical changes would not be worth the risk of disrupting the administration which seems to work quite good. »
- Interesting subjects and good lectures.»
- Most things!»
- Book.»
- The topics we learned»
15. What should definitely be changed to next year?- Maybe don"t spend so much time on propositional and predicate logic, and more time on LTL and CTL and so on. A lot of time in the beginning were spent on things which we have seen before in courses like discret mathematics and then the last weeks when the more complicated thing came up we didn"t spend very much time on them.
Another thing that might be good is to have some sort of assignments or other active moment in the course.»
- I"d like lecture notes to be put on the course webpage. I find it to be a great complement to reading the literature.»
- give slides of this course»
- Nothing.»
- -»
- Quicken the pace of the lectures, feel free to go in-depth on the subject (actually presenting Gödel"s proofs, for instance) or expand the scope of the course to include CTL* and other topics currently just mentioned.»
- 1. Clarify course goals.
2. Teachers should interact more with students during lectures.
3. Occassionaly, the teacher made changes on the blackboard so quickly that it was hard to take notes. In those cases the information could probably have been presented more pedagogically. I hardly saw any student besides me trying to taking notes during lectures.»
- Force the students to do work on their own! Such as mandatory home assignments or laborations. More emphasis on real-world applications.»
- It would be cool to go even deeper into model checking »
- The faulty definition of equivalence between CTL-formulas.»
- Less time on propositional logic and skip SAT-solvers»
- The webpage, it was hard to find, and sometimes linkes were broken.»
- If they have slides it is better than writing during class. »
- More specified goals»
- Could add some sort of assignment for the basic things like natural deduction in the first half of the course.»
16. Additional comments- Thanks Jan and Thierry for a great course. It has been inspiring.»
- Would be good if there were som clear example of how we will use our new knowledge»
- I think having some form of computing-based hand-in assignments would be quite helpful to activate students. Write a programs to compute SAT for formulae in a CTL model, model checkers, etc. As is I felt no reason to focus my study time on this course until the actual exam.»
- This course was OK. But considering that Thierry Coquand is one of the top logicians in Europe or maybe even the work, I"m disappointed that it was neither inspiring nor very enlightening.»
Kursutvärderingssystem från
|