> what’s here doesn’t come close to covering what we did in the first year alone

This varies widely by University. The Git repo matches my experience pretty well except I also had Calc II and Discrete Mathematics.

> a course on logic programming, another on functional programming

This was already in the Git repo when I looked. I think the "Programming Languages" from University of Washington Courses cover that. Specifically "Programming Languages, Part C"... though it doesn't mention Common Lisp or Scheme and uses a lot of Ruby, which is an odd choice (IMHO).