11/03/2016

Fazer teste: AVALIAO ONLINE 3 2015_L5097-2_9189eD1

Mafalda Almeida Cardoso

rea Pessoal

Fazer teste: AVALIAO ONLINE 3

Informaes do teste

Tempo restante:

05 minutos, 07 segundos.

Estado de Concluso da Pergunta:

Salvar todas as respostas

Fechar janela

PERGUNTA 1

Salvar e Enviar

5 pontos

Salva

Qual das seguintes respostas caracteriza axioma no mbito da especificao de

tipos de dados abstratos (TDA)?
1 Umaxiomapermitearepresentaodetodososelementosdognerodo

TDA.
2 Umaxiomapermitearepresentaodasregrasdeclculodasoperaesdo

TDA.
3 UmaxiomacriatodososelementosdognerodoTDA.
4 UmaxiomapermitearepresentaodasprcondiesdoTDA.

PERGUNTA 2

5 pontos

Salva

Considere a seguinte especificao do tipo abstrato de dados nat:

especificao nat =
gneros
n
operaes
construtoras
z: n;
https://e-learning.iscte-iul.pt/webapps/assessment/take/launch.jsp?course_assessment_id=_932_1&course_id=_21040_1&content_id=_192584_1&step=null

1/5

11/03/2016

Fazer teste: AVALIAO ONLINE 3 2015_L5097-2_9189eD1

s: n n
acessrias
a: n n n
axiomas
( N, M n)
a(N,z) = N ; (A1)
a(N,s(M)) = s(a(N,M)) (A2)
fim
Qual das seguintes opes completa o seguinte clculo do valor da expresso a(s(z),s(s(z)))?

1 a(s(z),s(s(z)))
2 = s(a(s(z),s(z)) A2: N= s(z), M=s(z)
3 = s(s(a(s(z),z))) A2: N= s(z), M=z
4
1 linha4:

= s(s(s(z))) A1: N= s(s(z)).

2 linha4:

= s(s(s(z))) A1: N= z.

3 linha4:

= s(s(s(s(z)))) A1: N= s(z).

4 linha4:

= s(s(s(z))) A1: N= s(z).

PERGUNTA 3

5 pontos

Salva

Considere a seguinte especificao do tipo abstrato de dados naturais:

especificao naturais =
gneros
nat
operaes
construtoras
zero: nat;
suc: nat nat
acessrias
https://e-learning.iscte-iul.pt/webapps/assessment/take/launch.jsp?course_assessment_id=_932_1&course_id=_21040_1&content_id=_192584_1&step=null

2/5

11/03/2016

Fazer teste: AVALIAO ONLINE 3 2015_L5097-2_9189eD1

add: nat nat nat;

mult: nat nat nat;
pot: nat nat nat
axiomas
( N, M nat)
add(N,zero) = N ; (A1)
add(N,suc(M)) = suc(add(N,M)) ; (A2)
mult(N,zero) = zero ; (A3)
mult(N,suc(M)) = add(N,mult(N,M)) (A4)
(A5)
(A6)
fim
Qual das seguintes opes completa a especificao da operao pot representando a potncia de um nmero
natural, i.e. pot(X,Y) representa X elevado a Y?
1 pot(zero,zero) = suc(zero) ; (A5)

pot(N,suc(M))=mult(N,pot(N,M))(A6)
2 pot(N,zero) = suc(zero) ; (A5)

pot(N,suc(M))=mult(N,pot(N,M))(A6)
3 pot(N,zero) = suc(zero) ; (A5)

pot(N,suc(M))=mult(M,pot(N,M))(A6)
4 pot(N,zero) = suc(zero) ; (A5)

pot(suc(N),M)=mult(N,pot(N,M))(A6)

PERGUNTA 4

5 pontos

Salva

Considere a seguinte especificao do tipo abstrato de dados naturais:

especificao naturais =
gneros
nat
operaes

https://e-learning.iscte-iul.pt/webapps/assessment/take/launch.jsp?course_assessment_id=_932_1&course_id=_21040_1&content_id=_192584_1&step=null

3/5

11/03/2016

Fazer teste: AVALIAO ONLINE 3 2015_L5097-2_9189eD1

operaes
construtoras
zero: nat;
suc: nat nat
acessrias
add: nat nat nat;
mult: nat nat nat
axiomas
( N, M nat)
add(N,zero) = N ;
add(N,suc(M)) = suc(add(N,M))

fim
Qual das seguintes opes pode completar a especificao da operao mult representando a multiplicao de
dois nmeros naturais?
1 mult(zero,N) = zero ;

mult(N,suc(M))=add(N,mult(N,M))
2 mult(N,zero) = zero;

mult(N,suc(zero)) = N;

mult(N,suc(suc(M)))=add(N,mult(N,suc(M)))
3 mult(zero,N) = zero ;

mult(N,suc(M))=add(N,mult(N,M))
4 mult(N,suc(zero)) = M ;

mult(N,suc(M))=add(N,mult(N,M))

CliqueemSalvareEnviarparasalvareenviar.CliqueemSalvartodasasrespostaspara
salvartodasasrespostas.

Salvar todas as respostas

Fechar janela

Salvar e Enviar

https://e-learning.iscte-iul.pt/webapps/assessment/take/launch.jsp?course_assessment_id=_932_1&course_id=_21040_1&content_id=_192584_1&step=null

4/5

11/03/2016

Fazer teste: AVALIAO ONLINE 3 2015_L5097-2_9189eD1

https://e-learning.iscte-iul.pt/webapps/assessment/take/launch.jsp?course_assessment_id=_932_1&course_id=_21040_1&content_id=_192584_1&step=null

5/5