2020 01 2aProvaLMD

Universidade Federal de Uberlândia
Faculdade de Engenharia Elétrica
Curso de Graduação em Engenharia de Computação

2ª. Prova de Lógica e Matemática Discreta (LMD) – 01/06/2021
VALOR: 30,0 PONTOS
Prof.: Edgard Lamounier Jr.
Aluno (a): ________________________________________________ Matrícula: _____________
01. (6,0 pontos) Considere os predicados abaixo:

I(x): “x sabe Inglês”
P(x): “x sabe Python”
G(x): “x é empregado no Google”
Expresse cada uma das sentenças abaixo em termos de I(x), P(x) e G(x), associando
com quantificadores e conectivos lógicos. O conjunto universo é o conjunto dos alunos de
Engenharia de Computação da FEELT:
a. Existe aluno que sabe Inglês e sabe Python.
b. Existe aluno que sabe Python, mas não sabe Inglês.
c. Todo aluno que sabe Inglês e sabe Python é empregado no Google.
d. Nem todo aluno que é empregado no Google sabe Python.
02. (8,0 pontos) Sejam dois círculos tangentes C1 e C2 com respectivos raios r1 e r2, tais
que r1 é um número racional e r2 irracional. Inicialmente, os círculos estão parados
com os pontos p1 do círculo C1 e p2 do círculo C2 coincidentes, no ponto P. Logo
que o instante inicia, os círculos C1 e C2 começam um movimento uniforme de
rotação, sem deslizamento. Prove que, uma vez o movimento iniciado, os pontos p1
e p2 nunca mais serão coincidentes novamente.
Sugestão: Utilize demonstração por absurdo.
03. (6,0 pontos) Use o Princípio da Indução Finita para provar a fórmula da soma finita
dos termos de uma PG (Progressão Geométrica):
𝑎𝑟 −𝑎
𝑎𝑟 = 𝑎 + 𝑎𝑟 + 𝑎𝑟 + ⋯ + 𝑎𝑟 = , 𝑞𝑢𝑎𝑛𝑑𝑜 𝑟 ≠ 1.
𝑟−1
04. (6,0 pontos) Prove que “x será ímpar se e somente se x2 + 2x + 1 for par”.
05. (4,0 pontos) Considerando o grafo abaixo, mostre qual será a sequencia de nós
visitados pela busca em largura e qual será a sequencia dos nós visitados pela busca
em profundidade. Em ambos os casos, a busca inicia no nó l.
a. Busca em Largura:
b. Busca em Profundidade:

2020 01 2aProvaLMD

Enviado por

Direitos autorais:

Formatos disponíveis

2020 01 2aProvaLMD

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

2020 01 2aProvaLMD

Enviado por

Direitos autorais:

Formatos disponíveis

Universidade Federal de Uberlândia

Faculdade de Engenharia Elétrica

Curso de Graduação em Engenharia de Computação

VALOR: 30,0 PONTOS

Prof.: Edgard Lamounier Jr.

Aluno (a): ____________________________________ Matrícula: _

01. (6,0 pontos) Considere os predicados abaixo:

Sugestão: Utilize demonstração por absurdo.

Você também pode gostar