Vamos analisar cada afirmativa: I. Nesse paradigma, a ideia central é o conceito de estado de um programa, materializado na configuração da memória do programa e dos seus dados. Verdadeiro, essa afirmativa está correta, pois o estado de um programa é de fato representado pela configuração da memória e dos dados. II. Além dos comandos de atribuição, as linguagens de programação imperativas costumam disponibilizar ao programador: declarações de variáveis, expressões, comandos condicionais, comandos iterativos e abstrações procedimentais. Verdadeiro, essa afirmativa está correta, pois as linguagens imperativas geralmente incluem todos esses elementos. III. Quando uma linguagem é capaz de fornecer recursos adequados que permitam a implementação de qualquer algoritmo que possa ser projetado, essa linguagem se diz Turing-Completa. Verdadeiro, essa afirmativa está correta, pois a definição de Turing-Completa se refere à capacidade de uma linguagem de expressar qualquer algoritmo. IV. Uma linguagem de programação imperativa que disponibilize variáveis e valores inteiros, as operações aritméticas básicas, comandos de atribuição, comandos condicionais e interativos é considerada Turing-completa. Falso, essa afirmativa é incorreta, pois para ser Turing-completa, uma linguagem deve ter a capacidade de implementar qualquer algoritmo, o que geralmente requer mais do que apenas esses elementos básicos. Com base nas análises, as afirmativas I, II e III estão corretas. Portanto, a alternativa correta é: d. Apenas I, II e III estão corretas.