ATIVIDADE SEMANA2

Prévia do material em texto

Fazer teste: Semana 2 - Atividade AvaliativaFundamentos Matemáticos para Computação - COM150 - Turma 005 Atividades
Fazer teste: Semana 2 - Atividade Avaliativa 
Informações do teste
Descrição
Instruções
Várias tentativas Este teste permite 3 tentativas. Esta é a tentativa número 1.
Forçar conclusão Este teste pode ser salvo e retomado posteriormente.
Suas respostas foram salvas automaticamente.
1. Para responder a esta atividade, selecione a(s) alternativa(s) que você considerar correta(s);
2. Após selecionar a resposta correta em todas as questões, vá até o fim da página e pressione “Enviar teste”.
3. A cada tentativa, você receberá um conjunto diferente de questões.
Olá, estudante!
Pronto! Sua atividade já está registrada no AVA.
a.
b.
c.
d.
e.
PERGUNTA 1
Assinale a alternativa que corresponde à negação da seguinte proposição: .
.
.
.
.
1,68 pontos   Salva
a.
b.
c.
d.
e.
PERGUNTA 2
Considere a sentença: "Se todo carro inglês é confortável e uma Porsche não é confortável, então a Porsche não é um carro inglês". 
Assinale a alternativa que corresponde à escrita em linguagem simbólica da frase acima, onde: 
C(x): o carro x é confortável 
I(x): o carro x é inglês 
p: Porsche 
.
.
.
.
.
1,68 pontos   Salva
a.
b.
c.
d.
e.
PERGUNTA 3
Considere o seguinte programa, que visa trocar a posição das entradas , e , de tal forma que transforme uma terna , em 
Ao fazer a demonstração de correção desse programa, assinale a alternativa que corresponde à pré-condição da sétima linha a seguir:
1,66 pontos   Salva
a.
b.
c.
d.
e.
PERGUNTA 4
1. maior(São Paulo,Rio de Janeiro)
2. maior(Rio de Janeiro,Curitiba)
3. maior(Rio de Janeiro,Juiz de Fora)
4. maior(São Paulo,Juiz de Fora)
Considere os seguintes fatos em uma base de dados inserida no Prolog
Após introduzir o comando qual (x:maior (Rio de Janeiro, x)) no Prolog, assinale a alternativa que contém as entradas que o programa retornará:
Curitiba; Juiz de Fora.
Rio de Janeiro; Curitiba.
Curitiba; São Paulo.
São Paulo; Juiz de Fora.
São Paulo; Curitiba.
1,66 pontos   Salva
a.
b.
c.
d.
e.
PERGUNTA 5
1. hipótese
2. hipótese
3. hipótese
4. 
5. 3,4, modus ponens
6. 2,5 e tautologia 
Considere a seguinte fórmula bem-formulada: 
Analisando a demonstração abaixo, assinale a alternativa que corresponde à justificativa correta do item 4.
1,2 hipótese.
2,3 generalização universal.
1,3 modus tollens.
1, particularização universal.
1,3 modus ponens.
1,66 pontos   Salva
a.
b.
c.
d.
e.
PERGUNTA 6
1. maior(São Paulo,Rio de Janeiro)
2. maior(São Paulo,Juiz de Fora)
3. maior(Rio de Janeiro,Curitiba)
4. maior(Rio de Janeiro,Juiz de Fora)
5. maior(Curitiba,Juiz de Fora)
6. capital(São Paulo)
7. capital(Rio de Janeiro)
8. capital(Curitiba)
Considere os seguintes fatos em uma base de dados inserida no Prolog
Suponha agora que, a seguir, inserimos a seguinte regra no Prolog metropole(X) <=maior(X,Y) e capital(Y)
Assinale a alternativa que corresponde à resposta que o Prolog retornará, à consulta ?metropole(X)
São Paulo; Rio de Janeiro
São Paulo; Rio de Janeiro; Curitiba
São Paulo; Curitiba
São Paulo
Rio de Janeiro; Curitiba
1,66 pontos   Salva
?
 Estado de Conclusão da Pergunta:
 Clique em Salvar e Enviar para salvar e enviar. Clique em Salvar todas as respostas para salvar todas as respostas. Salvar todas as respostas Salvar e Enviar
https://ava.univesp.br/webapps/blackboard/execute/courseMain?course_id=_5936_1
https://ava.univesp.br/webapps/blackboard/content/listContent.jsp?course_id=_5936_1&content_id=_798264_1&mode=reset