Vamos analisar cada afirmativa: I. O paradigma imperativo caracteriza-se pela especificação sequencial de comandos que modificam o estado do programa através de variáveis mutáveis e estruturas de controle. Correto. Essa é a definição clássica do paradigma imperativo. II. Programação orientada a objetos utiliza exclusivamente herança múltipla para implementar polimorfismo, sendo impossível alcançar comportamento polimórfico através de outros mecanismos. Incorreto. Polimorfismo pode ser alcançado por meio de interfaces, classes abstratas, sobrecarga de métodos, entre outros, não apenas pela herança múltipla. III. O paradigma funcional enfatiza imutabilidade de dados e funções puras, facilitando raciocínio sobre correção de programas e paralelização de execução. Correto. Essa é uma característica fundamental do paradigma funcional. IV. Linguagens de programação modernas suportam apenas um paradigma específico, exigindo que desenvolvedores escolham uma única abordagem para todo o projeto. Incorreto. Muitas linguagens modernas são multiparadigma, permitindo o uso de diferentes paradigmas no mesmo projeto. Portanto, apenas as afirmativas I e III estão corretas. Resposta correta: d) I e III.