Considere a hierarquia de classes de programas induzida pela Relação Equivalência Forte de Programas a qual mostra os programas do âmbito mais geral - retângulo mais externo para o menos geral - retângulo mais interno.


Os tipos de programas I, II e III representados na figura são, respectivamente,

A Relação Equivalência Forte de Programas (EFP) define que um par de programas pertence à relação se as correspondentes funções computadas coincidem para

O computador hipotético Cesar é uma simplificação de uma das arquiteturas mais populares para processadores de pequeno porte, o PDP-11, que serviu de inspiração para o projeto de microprocessadores de 4, 8 e 16 bits. Portanto, algumas das características básicas de Cesar são:

Formalização de algoritmo proposto em 1936, universalmente conhecido e aceito. Trata-se de um mecanismo simples, que formaliza a ideia de uma pessoa que realiza cálculos, denominado

Considere:

I. O modelo QX6700 é, na verdade, um processador de quatro núcleos, apesar de ser chamado Core 2.

II. Existem dois tipos de Core 2 Extreme, sendo um de dois núcleos, o X6800, e outro de quatro núcleos, o QX860.

III. As placas com Socket LGA 775 suportam o Core 2 Quad.

Está correto o que se afirma em