O conceito de Tipo de Dados Abstrato (TDA) é popular em linguagens de programação. N...

Gabarito: d) II e IV.

Comentário:
- A afirmativa I está incorreta, pois a especificação de um Tipo de Dados Abstrato (TDA) é composta das operações aplicáveis a ele, da sua representação interna, mas não das implementações das operações. As implementações são realizadas no código que utiliza o TDA.
- A afirmativa II está correta. Na programação orientada a objetos, a composição e a herança são mecanismos utilizados na implementação de um TDA.
- A afirmativa III está incorreta. A substituição de entidades do tipo S por entidades do tipo T pode alterar a corretude do programa, dependendo da relação de subtipo entre S e T.
- A afirmativa IV está correta. O encapsulamento em linguagens de programação orientadas a objetos é um efeito positivo do uso de TDA, pois permite ocultar a implementação interna de um objeto e expor apenas a interface para interação.