Паскаль. Ненавижу этот язык за его низкую выразительность и бюрократическую систему типов, но через это надо пройти. Как тренажёр он вполне годится. К счастью, далеко идти не придётся, т.к. ничего серьёзного на Паскале не напишешь. Пару-тройку алгоритмов обработки массива в цикле - и довольно.
Потом - Хаскель (Haskell). Он научит правильно мыслить о программах.
А потом - любой ремесленный язык из текущего менйстрима. Но в этот момент уже лучше иметь представление о предметной области, в которой собираешься работать, и изучать соответствующий ей язык.