Visa resultat

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

Opening question

1. Which university do you belong to?

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?

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

4. How understandable are the course goals?

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?

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?

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?

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?

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?

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?

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?

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?

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?

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?

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?

16. What should definitely be changed to next year?

17. Additional comments