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.

MPALG 1213-1 Types for programs and proofs, DAT140|DIT232

Status: Avslutad
Öppen för svar: 2012-10-22 - 2012-11-09
Antal svar: 20
Procent av deltagarna som svarat: 52%
Kontaktperson: Maria Sörner»

Opening question

1. Which university do you belong to?

Some of our courses are taken jointly by students of the University of Gothenburg and Chalmers University of Technology. In order for us to be able to look at the answers of each student group separately, we would like you to indicate which university you are registered at.

19 svarande

University of Gothenburg»3 15%
Chalmers University of Technology»16 84%

Genomsnitt: 1.84

Your own effort

2. 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.

20 svarande

At most 15 hours/week»5 25%
Around 20 hours/week»5 25%
Around 25 hours/week»6 30%
Around 30 hours/week»3 15%
At least 35 hours/week»1 5%

Genomsnitt: 2.5

- A lot of the time was spent on homework, which is fine.» (Around 25 hours/week)

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

20 svarande

0%»0 0%
25%»0 0%
50%»3 15%
75%»4 20%
100%»13 65%

Genomsnitt: 4.5

- I did not finnish the course.» (50%)
- Really nice lecture. » (100%)
- (100% of lectures, no Agda help things)» (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.

To review the learning outcomes for this course, click here. (Opens in new window)

4. How understandable are the course goals?

19 svarande

The goals are difficult to understand»0 0%
The goals give some guidance, but could be clearer»6 31%
The goals clearly describe what I am supposed to learn»13 68%

Genomsnitt: 2.68

- I don"t like this question. I"m not going to read the goals!» (?)
- It"s hard to sum up this course into a short sentence, but I understand now what I was supposed to learn at least.» (The goals give some guidance, but could be clearer)

5. 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.

18 svarande

No, the goals are set too low»0 0%
Yes, the goals seem reasonable»17 94%
No, the goals are set too high»1 5%

Genomsnitt: 2.05

- Might be a little bit high, but it is primarily a phd course» (Yes, the goals seem reasonable)
- I had all the prequisites but this course was really hard for me that had just taken one course in functional programming three years ago. When doing the marketing of this course, be very clear with that this is a heavy course and that you should be very familiar with functional programming to begin with.» (No, the goals are set too high)

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

18 svarande

No, not at all»0 0%
To some extent»3 16%
Yes, definitely»13 72%
I don"t know/have not been examined yet»2 11%

Genomsnitt: 2.94

Teaching and course administration

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

20 svarande

Small extent»0 0%
Some extent»6 30%
Large extent»8 40%
Great extent»6 30%

Genomsnitt: 3

- Peters lectures were easy to follow and very much to the point. I could however not keep up with the PhD students. Despite having take all the prequesite courses and more, I couldn"t help but to feel that there gaps to be filled. The curry howardCurry-Howard isomorphism and the concept of how logic relates to computation was done away with way to quickly. It was hard to get a good picture of the boundries of the agda language. Had the features been defined rigorously and systematically, very like mathematics is commonly taught, it would have made things a whole lot easier. This seems to be somewhat of a culture thing in the CS curriculum. In general, I didn"t feel that the lecturers were at fault, as much as a lack of good complemetary text. » (Some extent)
- Sometimes the teaching by the various lecturers felt unaligned.» (Some extent)
- Great lectures! Nisse"s lectures were a bit difficult to follow though.» (Great extent)
- Nisse was way too fast though.» (Great extent)

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

20 svarande

Small extent»0 0%
Some extent»6 30%
Large extent»9 45%
Great extent»5 25%

Genomsnitt: 2.95

- Mostly forcing myself through the exercises. Should maybe be obligatory! » (Some extent)
- I feel like there is a lack of cohesion in the course material, they all touch on the subject but none of them really cover it all that well. I often found myself solving problems of the kind "what does this mean" or "how do you express X in convention Y" rather than dealing with issues of complexity, i.e. substantial things like developing the skills to work with the model. Given well structured, rigorous texts you can instead move on to solve more difficult problems, rather than having the text itself be a boundry. » (Large extent)
- Good book!» (Great extent)
- The book was followed relatively closely.» (Great extent)
- Main literature (Pierce) was really good. Lecture notes was also good! The Agda tutorials helped a bunch.» (Great extent)

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

20 svarande

Very badly»0 0%
Rather badly»0 0%
Rather well»7 35%
Very well»13 65%

Genomsnitt: 3.65

- It was hard to prepare for the live programming sessions. A heads-up about what sections to read and grasp beforehand would help, especially since there are at least 3 different pieces of course litterature (and I allways seemed to be reading the wrong one). » (Rather well)
- Very good and easy to fix when something don"t go according to the plans. I think you should have been appointed groups for the presentation to work with someone new in this type of examination.» (Rather well)

Study climate

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

20 svarande

Very poor»0 0%
Rather poor»0 0%
Rather good»4 20%
Very good»12 60%
I did not seek help»4 20%

Genomsnitt: 4

- Props to Guilhem Moulin, the assistant, for being very helpful and kind when I had questions.» (Very good)
- Great - both with Peter and Guilhem» (Very good)
- The mailing list works well.» (Very good)

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

20 svarande

Very poorly»0 0%
Rather poorly»1 5%
Rather well»7 35%
Very well»11 55%
I did not seek cooperation»1 5%

Genomsnitt: 3.6

- I like that the homework is individual.» (Very well)

12. How was the course workload?

20 svarande

Too low»0 0%
Low»1 5%
Adequate»9 45%
High»8 40%
Too high»2 10%

Genomsnitt: 3.55

- I felt the material quite challenging but the assignments were not overly demanding.» (Adequate)
- of course depends on if you do the exercises! I did» (High)
- For me who did not have fresh and good knowledge of functional programming this course was REALLY tough.» (Too high)

13. How was the total workload this study period?

20 svarande

Too low»0 0%
Low»0 0%
Adequate»6 30%
High»11 55%
Too high»3 15%

Genomsnitt: 3.85

- Together with SW-E using formal methods.» (Adequate)
- This course aims to cover such a wide variety of topics, I think the time would be better spent building a rigoroous understanding about the relation of logic and computation and defining the behaviour of the Agda language. » (High)
- Partly my fault as I took 3 courses.» (Too high)
- For me mostly becouse of this course.» (Too high)

Summarizing questions

14. What is your general impression of the course?

20 svarande

Poor»0 0%
Fair»2 10%
Adequate»4 20%
Good»6 30%
Excellent»8 40%

Genomsnitt: 4 (bidrar till totalt genomsnitt/jämförelseindex)

- I find the subject matter pretty interesting, but there are so many discouraging things about this course. Take home exams have a tendency to turn into an around the clock marathon, since there is allways something more you can do and picking a subject for presentation that you can"t assess the difficulty of at that stage adds a lot of insecurity. A lot of the time I felt like I was juggling 3 different courses. I also did not appreciate the concept of spending the last weeks of the course being taught papers by fellow students. This format is ill fit for conveying papers unless you are a group of researchers. People at our level generally require room for contemplation when reading them. » (Fair)
- Would be nice to have some connections to real world applications, other then student presentation. Might be hard to add, but still, it"s always nice to have.» (Good)
- I very much liked the overall atmosphere and the style of the course.» (Good)
- Extremely interesting course, and the overall execution was very good.» (Excellent)
- Lectures were very good. Dybjer is a good lecturer. Danielsson"s guest lectures were good albeit quite packed with information and the pace was high. Not really a complaint though, since the code was posted online. » (Excellent)

15. What should definitely be preserved to next year?

- The course layout in general.»
- exercises»
- - Strong focus on using Agda to formalize the concepts that were discussed. - Student presentations.»
- Agda, the course book»
- Agda live coding sessions Weekly hand-ins»
- The take-home exam is a very good thing, and is needed for a course with this challenging subject matter.»
- Presentations added a nice touch to the course. Some papers seemed really hard compared to others though. Homework should be kept in. However, try to present solutions to them as well.»
- I think that the presentations worked was a very good part of the course and it should absolutely be preserved.»
- Handin exercises »

16. What should definitely be changed to next year?

- No comment really.»
- I"m not sure about the presentations. I did not find that I learned anything from it! »
- Some of the papers that were presented seemed very out-of-place in terms of prerequisite knowledge (the papers by Reynolds, in particular).»
- 4h written exam, scrap student presentations, course litterature, narrow down the learning outcomes. »
- Perhaps more effort should be put in coordinating the lectures taught by different lecturers/assistants.»
- Please publish homework solutions online. It would help so much.»
- Some of the exercises was a bit unclear and I believe that it would have made more sense to go through all the exercises briefly in class.»
- One should look at the papers that you could make a presentation about. Our paper covered for instance a very interesting area but was rather poorly written. »
- Slow down Nisse a lot. Add much more comments to all agda code –, it"s hard to understand what it does the first time you see it, and hard to remember the second time.»

17. Additional comments

- Good course in general, with good lecturers and assistants.»
- Coq came up several times during the course, and I think it would have been interesting to see it at least once. Maybe there could be a homework using it? Or at least give it as an option. Thank you for a great course!»
- Every lecture we had involved the use of a projector, but none of the rooms had their own projector. This meant there was always time wasted messing around with the projector, and the imagine was often small, crooked etc. which I found a little distracting. There were also not enough chairs for students on most days!»
- Very good course. Glad I picked this one. Thank you.»
Genomsnitt totalt för detta stycke: 4

Genomsnitt totalt för alla frågor: 4
Beräknat jämförelseindex: 0.75

Kursutvärderingssystem från