Assinale a opção que constitui duas categorias de linguagens...

Alternativa correta: D - Funcionais e Lógicas.

A questão solicita a identificação de duas categorias de linguagens de programação, o que exige do candidato conhecimento sobre os paradigmas de programação. Cada paradigma oferece uma perspectiva diferente para instruir o computador a realizar tarefas.

As linguagens funcionais são baseadas no paradigma de programação funcional, onde o foco está em funções e suas relações. Este paradigma é inspirado na matemática lambda e enfatiza a imutabilidade dos dados e o uso de funções puras, que são funções que sempre retornam o mesmo resultado dados os mesmos argumentos e não produzem efeitos colaterais. Exemplos de linguagens funcionais incluem Haskell e Lisp.

As linguagens lógicas, por outro lado, seguem o paradigma de programação lógica. O foco aqui está em expressar a lógica de um problema sem definir explicitamente um fluxo de controle. A programação lógica é exemplificada pela linguagem Prolog, onde se define um conjunto de fatos e regras e então consulta-se a base de dados lógica para resolver problemas.

Portanto, a alternativa D é a correta, pois "Funcionais e Lógicas" são duas categorias distintas de linguagens de programação que representam dois paradigmas diferentes.

As demais alternativas misturam conceitos de paradigmas com características de implementação ou categorias que não são paradigmas de programação:

• Funcionais e de Marcação: de marcação não é um paradigma de programação.
• Lógicas e Interpretativas: interpretativa não é um paradigma, mas uma forma de execução de linguagens de programação.
• Orientadas a objetos e de Marcação: orientada a objetos é um paradigma, mas de marcação, novamente, não.
• Interpretativas e Imperativas: imperativa é um paradigma, mas interpretativa refere-se ao método de execução.

Espero que esta explicação tenha ajudado a esclarecer a questão e a entender o motivo pelo qual a alternativa D é a correta. O domínio dos paradigmas de programação é fundamental para um programador e certamente um conhecimento valioso para quem está se preparando para concursos na área de tecnologia da informação.

Letra D.

Linguagens de programação são normalmente divididas em quatro categorias: imperativas, funcionais, lógicas e orientadas a objetos. Entretanto, as linguagens que suportam orientação a objeto não formam uma categoria separada.

Fonte: https://universidadedatecnologia.com.br/linguagem-de-programacao-classificacoes/

Mais ou menos isto:

https://estacio.webaula.com.br/cursos/go0138/galeria/aula10/img/img01.jpg

[GABARITO: LETRA D]

Funcionais: Este tipo de linguagem de programação é baseada no conceito de funções matemáticas. Exemplos incluem Haskell e Lisp.

Lógicas: Este tipo de linguagem de programação utiliza lógica formal para expressar programas. Prolog é um exemplo clássico de linguagem lógica.

As demais alternativas não estão corretas porque:

- A (Funcionais e de Marcação): As linguagens de marcação, como HTML, não são consideradas linguagens de programação.

- B (Lógicas e Interpretativas):As linguagens interpretativas não constituem uma categoria teórica de paradigmas de programação.

- C (Orientadas a objetos e de Marcação): Assim como na alternativa A, as linguagens de marcação não são linguagens de programação.

- E (Interpretativas e Imperativas): A interpretação refere-se à forma como um programa é executado (interpretado em vez de compilado), não é um paradigma de programação como o imperativo.