Programming languages are formal languages used to write instructions that computers can understand and execute. Examples include Python, Java, C++, JavaScript, and PHP, each serving different purposes like web development, app creation, data analysis, and system programming.