Suporte

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ção
Professor: Eulanda M. dos Santos
Aluno: Matrícula____________ Nome _____________________________________
Data: Proposta: 10/06/2014 Entrega: 24/06/2014
As respostas devem ser manuscritas.

Lista de 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ão conjuntos 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 afirmativas anteriores é 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 regras de 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 de arquivos 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 arquivos nã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 em notaçã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 sistema operar 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) Chegar