Personally, I find the lack of logic programming, and logic in general, a rather notable property of the outlined curriculum. In fact, "logic" is nowhere explicitly mentioned in the course titles. Neither are "formal" and "method".

For comparison, at the department of AI in Edinburgh, Prolog was very important and even actively developed to such an extent that current Prolog systems are still hugely influenced by "Edinburgh Prolog" (the original version being "Marseille Prolog"). Also, theorem proving is an important area of computer science with many connections to AI.

In Vienna (TU Wien), the related Computational Intelligence curriculum also involves a lot of logic, Prolog, constraint solving and formal methods, which play an important role in many areas of AI. It is a graduate degree though and assumes familiarity with many of the topics that are mentioned in this curriculum.