Desde o momento em que a humanidade surgiu com o primeiro dispositivo programável, mais de duas mil linguagens de programação foram criadas. E a cada ano seu número está crescendo continuamente. Eles ajudam a estabelecer a comunicação entre vários dispositivos em equipamentos técnicos complexos.
Uma linguagem de programação é um sistema de sinais formal usado ao escrever programas de computador. Eles obedecem a várias regras (lexicais, semânticas e sintáticas) que determinam a aparência do programa e as ações que devem ser realizadas pelo computador. Há um grande número de classes de linguagens de programação que são mais adequadas para a área de estudo escolhida, até mesmo as francamente cômicas. Eles são chamados de esotéricos e não se destinam ao uso prático. Por exemplo, existem linguagens que possuem sintaxe literária (Shakespeare, Chef), linguagens projetadas para dificultar a escrita de código (Malbolge, ALPACA), ou com lógica desumana - Var'aq (usa a lógica do Klingon corrida do filme Star Trek). E outras linguagens cômicas, mas além do cômico há um grande número de profissionais. A principal classe usada atualmente são as linguagens orientadas a objetos. Este é um nível alto, que se destina a escrever pequenos programas e grandes sistemas de software. Os principais representantes desta classe são Java, C #, C ++, Ruby, Python, bem como as linguagens de programação lógica. Eles são baseados no paradigma de prova automática de teoremas e baseados na teoria da lógica matemática. A linguagem de programação lógica mais famosa é Prolog. Utiliza uma lógica de predicados de primeira ordem, apesar do grande número de linguagens criadas e de sua funcionalidade, é sempre necessário escolher as ferramentas certas para a criação de produtos de software. Por exemplo, se você precisa implementar um aplicativo cliente-servidor, então, obviamente, uma linguagem lógica não é adequada para isso. Portanto, é necessário escolher o mais adequado para resolver a tarefa.
