Suporte

Páginas: 3 (587 palavras) Publicado: 25 de janeiro de 2015
Poder Executivo
Ministério da Educação
Universidade Federal do Amazonas
Instituto de Computação
Disciplina: IEC010 e ICC120
Matemática Discreta Período: 2014/1
Curso: Engenharia da ComputaçãoProfessor: Eulanda M. dos Santos
Aluno: Matrícula____________ Nome _____________________________________
Data: Proposta: 10/06/2014 Entrega: 24/06/2014
As respostas devem ser manuscritas.

Listade Exercícios I
1. Analise as seguintes afirmativas e assinale a alternativa CORRETA.
a) {{}}  {, {}}
b) Para todo conjunto A, P(A) denota o conjunto de todos os subconjuntos de A. Se a e B sãoconjuntos tais que a  B, então P(a)  P(B).
c) O conjunto {n109: n  N} é infinito enumerável
d) Se A, B e C são três conjuntos, então A – (B –C) = (A – B) –C
e) Nenhuma das afirmativasanteriores é correta.
2. Considerando os conjuntos A, B, C e D abaixo, mostre a região sombreada associada à relação {(A
 B) U (C  D)}  {(A  B) U (B  C)}.

C

D

B

A

3. Mostre usando regrasde inferência e de equivalência, para que valores os requisitos abaixo são
consistentes:
Se o sistema de arquivos não está travado, então novas mensagens serão enfileiradas. Se o
sistema dearquivos não está travado, então o sistema está funcionando normalmente e viceversa. Se novas mensagens não são enfileiradas, então elas serão enviadas para o buffer de
mensagens. Se o sistema de arquivosnão está travado, então novas mensagens serão enviadas
para o buffer de mensagens. Novas mensagens não serão enviadas para o buffer de mensagens.
4. Escreva as proposições compostas a seguir emnotação simbólica:
a) Rosas são vermelhas e, se o açúcar não for doce, então as violetas não são azuis ou açúcar
é doce.
b) O sistema estar em um estado de multiuso é condição suficiente para o sistemaoperar
normalmente.
c) Todas as araras são multicores.
d) Ser divisível por 8 não é condição necessária para um número ser divisível por 4.
e) Todos os gatos gostam de algum cachorro.
f)...
Ler documento completo

Por favor, assinar para o acesso.

Estes textos também podem ser interessantes

  • suporte
  • suporte
  • suporte
  • Suporte
  • Suporte á microinfomática
  • Suporte para tubulação
  • suportes da escrita
  • Suporte California

Seja um membro do Trabalhos Feitos

CADASTRE-SE AGORA!