Questão de Informática

O conceito de Tipo Abstrato de Dados (TAD) é popular em linguagens de programação. Nesse contexto, analise as afirmativas a seguir. I. A especificação de um TAD é composta das operações aplicáveis a ele, da sua representação interna e das implementações das operações. II. Dois mecanismos utilizáveis na implementação de um TAD em programas orientados a objetos são a composição e a herança. III. Se S é um subtipo de outro T, então entidades do tipo S em um programa podem ser substituídas por entidades do tipo T, sem alterar a corretude desse programa. IV. O encapsulamento em linguagens de programação orientadas a objetos é um efeito positivo do uso de TAD. Marque a alternativa correta.