In that talk though, he discusses the impossible task of introducing new course electives/mandatory courses to public middle or high schools, how the school board and teachers will simply drop the rigor if it's a mandatory course making it yet another useless class or how students will never end up taking it as an elective as their elective timeslots fill with remedial assistance courses.
You are right though I wish there was a course that taught set theory and complexity in HS. Anybody interested in learning both at the same time, there are intro discrete math books that also teach intro programming https://cs.wheaton.edu/~tvandrun/dmfp/ but not in the full CS101 coverage of SICP.
You are right though I wish there was a course that taught set theory and complexity in HS. Anybody interested in learning both at the same time, there are intro discrete math books that also teach intro programming https://cs.wheaton.edu/~tvandrun/dmfp/ but not in the full CS101 coverage of SICP.