Питання охоплює надто широкий спектр можливих варіантів. Більшість мов програмування придатні для написання програм для ПК (як мінімум, консольних), але, очевидно, відповідь «тикніть пальцем і візьміть перше-ліпше» Вас не задовільнить.

З того, що справді має сенс учити на даному етапі:

Python — достатньо актуальна мова з невисоким порогом входження (новачкам варто звернути на неї увагу, хоча для реальної роботи також цілком придатна). Достатньо універсальна, хоча недоліком може бути дещо нижча швидкодія (це пов'язано з тим, що Python — інтерпритатор).

C — класична мова програмування для ПК. Структурно досить проста, хоч, мабуть, і менш актуальна, ніж C++.
C++ — подібна мова, але з рядом додаткових можливостей та дещо іншим стилем написання коду. Як на мій смак, надто громіздка.
Як і асемблер, мови C та C++ компілюються в машинний код, тому програми на ПК — це саме те, що пишеться на цих мовах.

Java — частково подібна до них мова, але повністю заточена під об'єктно-орієнтоване програмування (підхід до якого відрізняється від того, що є в C++).
C# — з точки зору синтаксису, має більше спільного з Java'ою, ніж з C чи C++, але має ширші синтаксичні можливості, використовує інший набір бібліотек. Здається, в наш час дещо більш актуальна, ніж Java.
Ще одна спільна риса мов Java та C# — компіляція не в машинний код, а в байт-код, який потім виконується віртуальною машиною — що, з одного боку, знижує швидкодію й обмежує деякі можливості програм, але порівняно з C++ чи асемблером, що генерують безпосередньо машинний код, такий спосіб роботи вважається більш безпечним.

Pascal (та його різновид Delphi) — класична мова для навчання студентів. Не можу назвати якихось явних недоліків (для програмування на ПК вона придатна так само, як C), але в наш час її рідко використовують в реальних проектах.