CS17 at Brown University: A great CS foundation course

I just finished going through bulk of the lecture notes published as part of the CS17 course of Brown University.

The course begins by introducing functional programming via Scheme and moves on to OCaml in later stages. By introducing the two languages, the students get a flavor of a static and a dynamically typed language. An important point inferred is: static typing is not simply about prefixing the data type of the data during its declaration.

Just as a basic foundation course should, the course also introduces algorithmic analysis, Abstract Data Types or ADTs- the reason for calling them abstract is very well clarified with illustrations.

There are really great lecture notes in there and they are enjoyable too. If you are a CS student work the assignments out. If you are no more a student with at least a faint interest in good CS and if you haven't taken a look at this course, please do.

I would also be interested in knowing some more such delightful courses. If you know one, please let me know in a comment. (I am aware of SICP, and currently have planned a schedule for working through them)