Vamos analisar cada afirmativa: I. Linguagens de baixo nível, como Assembly, oferecem controle direto sobre o hardware, mas exigem um conhecimento profundo da arquitetura do computador. Verdadeiro. Essa afirmativa está correta. II. Linguagens de nível intermediário, como C e C++, permitem um certo grau de controle sobre o hardware, mas também fornecem abstrações de alto nível, tornando o código mais legível e fácil de manter. Verdadeiro. Essa afirmativa também está correta. III. Linguagens de alto nível, como Python e Java, são mais abstratas e se aproximam da linguagem humana, ocultando detalhes de baixo nível da implementação. Verdadeiro. Essa afirmativa está correta. IV. Linguagens de muito alto nível, como SQL e Prolog, se concentram na resolução de problemas, permitindo que o programador descreva o que o programa deve fazer, em vez de como fazer. Verdadeiro. Essa afirmativa está correta. Agora, como todas as afirmativas (I, II, III e IV) estão corretas, a alternativa correta é: a. As afirmativas I, II, III e IV estão corretas.