Ask HN: Give Me Your Advice, CS50 (edx.org) or IntroCS (By Robert Sedgewick)

Hi there, which course will you recommend for a self taught (Java) programmer who wants a more formal introduction to Computer Science? I don't mind learning a new programming language.

a). CS50 at edX (C programming language).

b). Computer Science: An interdisciplinary approach. Book and Video Lectures by Robert Sedgewick and Kevin Wayne.

Will it bring more benefit to tackle that field of study with the C programming language instead of Java? Also, do you think I should first need to take a Discrete Mathematics course first? Thanks a lot for your insights.