grianneau (Sep 16 2023 at 13:06): grianneau (Sep 16 2023 at 13:06):What are the characteristics of your student population, inside and outside the course?
How many students did/do you have? What are the requirements to entry the course?
Karl Palmskog (Sep 16 2023 at 13:26):there is quite a lot of information about students in our 2022 survey blog posts (students are typically synonymous with "new users"): https://coq.discourse.group/t/coq-community-survey-2022-results-part-i/1730/1
grianneau (Sep 16 2023 at 14:09):Karl Palmskog said:
there is quite a lot of information about students in our 2022 survey blog posts (students are typically synonymous with "new users"): https://coq.discourse.group/t/coq-community-survey-2022-results-part-i/1730/1
Can you give examples of information about students based on this survey?
Karl Palmskog (Sep 16 2023 at 14:15): grianneau (Sep 16 2023 at 14:44):I can read all this about graduate students and newcomers in this survey. So if I keep reading as you do: Emacs is the most popular editor among newcomers, and therefore among students.
Karl Palmskog (Sep 16 2023 at 15:00):this is a convenience sample, so things like averages and "most popular" are going to be suspect. But convenience samples are more robust when looking at interrelationships among variables. So we could for example conclude that the student population is probably going to have a tilt towards VS Code and/or Windows that the researcher population doesn't
Pierre Rousselin (Sep 18 2023 at 11:29):My students are first year undergraduate in double-major CS+maths. We have given this small course for two years each time with 2 groups of roughly 25 students each. There were no explicit requirements, although of course some form of mathematical maturity did help but it's hard to explicit.
Last updated: Oct 13 2024 at 01:02 UTC