I am thinking of taking the Introduction to Logic at Coursera by Michael Genesereth. The videos are up for Coursera but not the materials. However, at Stanford CS157: Computational Logic, there are materials posted.
It appears roughly or perhaps identical course materials have been used back to 2004.
The solutions 1c, 1d, 2h, and 4a are “explanations” that assume you understand the course perfectly. We could call these cryptic explanations. They only explain if you already know the material extremely well. This includes obscure notation and cases of empty objects.
Who benefits from these explanations? If the student doesn’t understand what is going on, they won’t follow the explanation.
How well are these outcomes or situations in 1c and 1d explained in the course lecture notes? I don’t find it very well explained. Maybe I couldn’t find it. Maybe it isn’t there. Maybe it was not part of the original thought process and then in years since he never bothered to change it. Despite student difficulties over and over again with these same points.
Section 2.5 reverse evaluation is poorly explained with no example to help.
I am wondering if it is worthwhile to take the Coursera Introduction to Logic given these poor materials at Stanford. This is like Khan Academy videos but at a higher level.
Have students at Stanford been taking this course and failing to get it because of these poor explanations since 2004? And for years before that?
So students can’t get past this course because of these obscure explanations and lecture notes lacking in example?
This is what is wrong with math education at the university level. The professors fob this off by saying doing problems is how you learn the course. Or they say working with other students is how you learn.
There is no point taking poor materials at Stanford that have blocked students from their intended major and putting them into Coursera. That just blocks thousands of students instead of the unlucky ones to take this at Stanford.
These same materials exist year after year at this site. Past year students must have complained about them. Others dropped out. But nothing was done to ever fix them. Just a stone wall of you can’t get it, then you are dumb and can’t do computer science or logic.
This is the attitude to be enshrined into Coursera?
These remarks are draft and preliminary and may simply reflect my failure to understand the course website or some other reason. They are intended only to stimulate discussion and not be taken as criticism.