No, because students choose a minimum number of said courses in their undergrad and then take some of the remaining courses in the grad level. There are other higher level courses that are not double listed like homotopy type theory but whether or not they're offered varies from year to year. An undergrad taking such a course can put it towards their undergrad degree if they wish to.
The courses you are referring to are undergrad level courses that a supervisor will ask their student to audit.
Damn I'm in my senior year of high school taking calc 2. I'd go even higher but they don't offer beyond that.
I am the poster that just wrote about the lack of logic courses in the math department (didn't post anywhere else in the thread)-- glad you agree with me.
I noticed something similar. In my pure math degree I took the standard math courses. There were very few courses in logic. I ended up taking mathematical logic courses in the Philosophy department. These were huge weed out courses and math majors (with interest) also enrolled.
They taught logic very rigorously. I too ended up taking a computability theory course in the philosophy department (the course credit counted as a math course) and there were graduate students enrolled.
They also offered a Model theory course and I took a Set theory course.
Like you mentioned these were Graduate level courses that undergraduates could take.
Most of my standard math courses were in traditional areas of math, I'm very happy I was able to take courses in logic.
I started studying CS towards my junior/senior year and then went on to take course in Theory of Computation.
From there I decided to switch from pure math to CS.
My CS courses are very theoretical and even the more applied courses I take in CS have theoretical sides to them.