Я думаю, что либо C, ибо классика плюс алгоритмы — все там, только с указателями конечно засада..., либо Python ибо тоже классика, но свежее и с прицелом на параллельность вычислений, за которым собственно будущее.
www.khanacademy.org/science/computer-science — на всякий случай.
