Pascal или Python Почему именно эти языки - это невозможно объяснить человеку, который не знает несколько языков программирования. Вообще, это спорный вопрос: разные люди советуют разные языки. Главное - это хороший учебник по выбранному языку.
Си или можно Go он проще. Python и подобные динамические типизированные не советую, поскольку не будешь иметь понятия о типах данных. На Си написано большинство современных ЯП их интерпретаторы и компиляторы