Programming languages are formal languages used to give instructions to computers. They include languages like Python, Java, C++, and JavaScript, each designed for specific tasks such as web development, software engineering, or data analysis.