Escolar Documentos
Profissional Documentos
Cultura Documentos
{precondição}
x=5*x+2
{x = y – 5}
x = y-7
5x = y-7
x-y = 7
y-7=x
2x = y
Pergunta 2 1 pts
{n = -4}
Se n > 0 então
y = -1*n
Senão
y=n
{y = }
Assinale a alternativa que contém as expressões para as triplas de Hoare a serem verificadas na
correção do trecho de código.
Pergunta 3 1 pts
{i=0,n>0,s=0}
i=i+1
s=s+(2*i-1)
Assinale a alternativa que contém a expressão para a invariante de laço para o trecho de código.
n2
2n+1
2n2
n-1
2n-1
Pergunta 4 1 pts
Início
Se n=1
retorna 10
Senão
Fim
Pergunta 5 1 pts
A( n inteiro positivo)
Início
Se n<1
retorna 10
Senão
Fim
Assinale a alternativa com a relação de recorrência para esse algoritmo. Seja A(n) a
representação do algoritmo com entrada n.
Pergunta 6 1 pts
T(0)=6
165
211
305
141
171
Pergunta 7 1 pts
T(0)=6
2n-10
7.2n-5
2n-5
11.2n-5
2n+5
Pergunta 8 1 pts
S(1)=1
S(2)=2
S(n) = .(5)n-1 +1
Pergunta 9 1 pts
T(1)=1
n+n.log(n)
n+2.n.log(n)
n2+3.log(n)
n2+2.n.log(n)
n2+3.n2.log(n)
Pergunta 10 1 pts
i. ρ uma relação binária em ℚ com xρy↔x + y < 7; os pares (1, 3), (3, 3), (4,4) atendem tal relação.
ii. ρ uma relação binária em ℤ com x ρ y ↔ x = –y; os pares (1, –1), (–3, 3) atendem tal relação.
iii. ρ uma relação binária em ℚ, x ρ y ↔ x ≤ 1/y; os pares (–3, –5), (–4, 1/2), (1/2, 1/3) atendem tal
relação.