Universidade Eduardo Mondlane

Departamento de Matemática e Informática

Curso: Engenharia Informática Disciplina: Matemática Discreta I

Exame Normal Duração: 120 min.
Data: 03.07.2019 Variante: D

1. (3.0) Demonstre a seguinte equivalência lógica

p −→ (q −→ r) ⇐⇒ q −→ (p −→ r).

2. (3.0) Seja R uma relação binária sobre N, definida do seguinte modo:

a
aRb sse ∃i ∈ Z : = 2i .
b
Determine se R é uma relação de equivalência.

3. (3.0) Prove, usando o método de indução matemática, que

1 3 5 2n − 1 2n + 3
+ + + ··· + n
=3−
2 4 8 2 2n
para qualquer inteiro positivo n ≥ 1.

4. (3.0) Resolva a relação de recorrência an = −an−1 + 6an−2 − 2n .

5. (2.5) Um sistema de computador permite atribuir nomes aos arquivos utilizando qualquer
combinação de maiúsculas (A-Z) e de algarismos (0-9), mas o número de caracteres no nome do
arquivo deve ser no máximo oito. Por exemplo, X23, W, 4AA e ABCD1234 são nomes de arquivo
válidos, mas W-23 e WONDERFUL não são válidos. Quantos nomes de arquivo diferentes são
possı́veis nesse sistema?

6. (2.5) Quantas soluções inteiras não negativas de

x1 + x2 + x3 + x4 + x5 = 28

satisfazem a condição 2 ≤ x2 ≤ 8?

7. (3.0) Verifique se os grafos são isomorfos. Caso sejam, apresente um possı́vel isomorfismo.

Docente: Timóteo Sambo 2019

 Universidade Eduardo Mondlane
Departamento de Matemática e Informática

Curso: Engenharia Informática Disciplina: Matemática Discreta I

Exame Normal Duração: 120 min.
Data: 03.07.2019 Variante: P

1. (3.0) Comprove a implicação

((p −→ q) ∧ (r −→ s)) =⇒ ((p ∨ r) −→ (q ∨ s))

2. (3.0) Sejam os conjuntos A, B e C. Mostre que

A \ (B ∪ C) = (A \ B) ∩ (A \ C).

3. (3.0) Prove, usando o método de indução matemática, que

    
1 1 1 n+1
1− 2 1 − 2 ··· 1 − 2 =
2 3 n 2n

para qualquer inteiro positivo n ≥ 2.

4. (2.5) Num determinado sistema operativo, uma senha válida é uma sequência entre seis e oito
sı́mbolos. O primeiro sı́mbolo deve ser uma letra (que pode ser em minúsculas ou maisculas) e
o restantes sı́mbolos podem ser letras ou dı́gitos. Quantas senhas diferentes são possı́vel?

5. (3.0) Um grupo de 13 pessoas consiste de seis homens e 7 mulheres.

(a) Quantos grupos de seis pessoas contêm pelo menos uma mulher?
(b) Quantos grupos de seis pessoas conteêm no máximo duas mulheres?

6. (2.5) Num determinado algoritmo, o valor de uma variável s vai variando de acordo com a
seguinte regra: em cada passo n (n ≥ 2), o valor de s (que denotamos por sn ) é igual a metade
do valor de s dois passos antes, menos a metade do valor de s no passo anterior. Sabendo que
s0 = 0 e s1 = 1, determine a forma explı́cita de sn .

7. (3.0) Verifique se os grafos G e H são isomorfos. Caso sejam, apresente um possı́vel isomorfismo.

Docente: Timóteo Sambo 2019