Geral

Fundamentos Matemáticos para Computação

Voltar

Semana 1 2

#1

A equivalência lógica entre proposições é um conceito fundamental na lógica matemática e na computação. Dizemos que duas proposições P  e Q são logicamente equivalentes quando elas têm os mesmos valores de verdade para todas as possíveis interpretações das variáveis envolvidas.

Com relação a este contexto e sobre o conteúdo estudado, avalie as asserções a seguir e a relação proposta entre elas:

I. A expressão lógica sem ligadura (P ou lógico Q sem ligadura) e lógico sem ligadura (reto sinal de negação P ou lógico Q sem ligadura)  é logicamente equivalente a Q .

PORQUE

 II. Utilizando as regras de equivalência, podemos simplificar a expressão original eliminando redundâncias e reduzindo-a a Q .

A respeito dessas asserções assinale a alternativa correta:

A
A asserção I é uma proposição falsa, e a II é uma proposição verdadeira.
B
A asserção I é uma proposição verdadeira, e a II é uma proposição falsa.
C
As asserções I e II são proposições verdadeiras, e a II é uma justificativa da I.
D
As asserções I e II são falsas.
E
As asserções I e II são proposições verdadeiras, mas a II não é uma justificativa da I.
#2

As tabelas-verdade são ferramentas que mostram todas as combinações possíveis de valores lógicos para proposições simples e compostas. Essa análise sistemática é indispensável na validação de argumentos. Seu uso simplifica a compreensão e solução de problemas lógicos.

Considere as proposições P , Q e R :
  • P : "O número 4 é par."
  • Q : "O número 7 é divisível por 2."
  • R : "A soma de dois números ímpares é par."
Neste contexto, com base nas proposições acima, observe as afirmativas a seguir:

I. P e lógico Q : "O número 4 é par, e o número 7 é divisível por 2."
II. P ou lógico R : "O número 4 é par, ou a soma de dois números ímpares é par."
III. reto sinal de negação Q ou lógico R : "O número 7 não é divisível por 2, ou a soma de dois números ímpares é par."

Está correto o que se afirma em:

A
III, apenas
B
II e III, apenas
C
II, apenas
D
I e II, apenas
E
I, II e III

Semana 2 2

#1

Uma relação em um conjunto  A é chamada de relação de equivalência quando for reflexiva, simétrica e transitiva. Considere o conjunto A = números inteiros  (números inteiros) e a relação R definida em reto números inteiros como: x fim do texto R texto y se, e somente se, x² - y² é múltiplo de 4.

Com relação a este contexto e sobre o conteúdo estudado, examine as asserções a seguir e a relação proposta entre elas.

I. A relação R é uma relação de equivalência sobre números inteiros .

PORQUE

II. A relação R é reflexiva, simétrica e transitiva porque a subtração de quadrados x² - y²  é sempre múltiplo de 4 para quaisquer x, y pertence números inteiros .

A respeito dessas asserções, assinale a alternativa correta. 

A
A asserção I é uma proposição falsa, e a II é uma proposição verdadeira
B
A asserção I é uma proposição verdadeira, e a II é uma proposição falsa
C
As asserções I e II são falsas
D
As asserções I e II são proposições verdadeiras, e a II é uma justificativa da I
E
As asserções I e II são proposições verdadeiras, mas a II não é uma justificativa da I
#2

Algoritmos de busca em inteligência artificial frequentemente utilizam árvores para explorar possibilidades. Árvore de decisão, por exemplo, ajuda a tomar decisões sequenciais, enquanto árvores de busca binária organizam dados para acesso rápido e eficiente.

Os algoritmos de busca são usados para localizar um elemento dentro de uma estrutura de dados.

Diante disso, sobre a diferença entre a busca linear e a busca binária, assinale a alternativa correta. 

A
A busca binária é utilizada exclusivamente para encontrar números inteiros, enquanto a busca linear pode ser usada para qualquer tipo de dado.
B
Ambas as buscas possuem a mesma complexidade de tempo, pois ambas percorrem toda a lista para encontrar o elemento.
C
A busca linear pode ser aplicada apenas em listas ordenadas, enquanto a busca binária funciona para qualquer tipo de lista.
D
A busca binária é mais eficiente que a busca linear em qualquer situação, independentemente da organização dos dados.
E
A busca linear percorre a lista elemento por elemento, enquanto a busca binária divide repetidamente a lista ao meio para encontrar o elemento desejado.

Semana 3 4

#1

A contraposição é baseada na equivalência lógica entre uma afirmação P seta para a direita Q  e sua contrapartida reto sinal de negação Q seta para a direita reto sinal de negação P . Essa técnica é útil quando é mais fácil mostrar que a ausência de Q  implica na ausência de P . Em fundamentos de computação, ela é frequentemente usada para provar propriedades de programas e algoritmos, como a não terminação de certos loops.

O primeiro princípio da indução matemática afirma que, para provar que uma propriedade P sem ligadura (n sem ligadura)  é verdadeira para todo número natural n , devemos demonstrar:
  • Que P (preencher 1) é verdadeira (caso base).
  • Que, se P sem ligadura (k sem ligadura) é verdadeira, então  P (preencher 2) também é verdadeira (passo indutivo).

Os termos [preencher 1] e [preencher 2] são corretamente substituídos por:

A
1 - n = 1 ; 2 - n + 1
B
1 - n = 0 ; 2 - k + 1
C
1 - k = 0 ; 2 - n + 1
D
1 - n = 0 ;2 -  n + 1
E
1 - n = 1 ; 2 - k + 1
#2

A indução é uma técnica poderosa que consiste em provar uma propriedade para um caso base e, em seguida, demonstrar que, se ela vale para um caso arbitrário n , então também vale para n + 1 . Essa abordagem é amplamente utilizada para validar fórmulas envolvendo somatórios, propriedades de sequências e algoritmos recursivos. Em computação, a indução é essencial para garantir a correção de estruturas como árvores e listas ligadas.

Considere a seguinte afirmação:

"Se n  é um número par, então n²  também é par."

Neste contexto, assinale a alternativa que reconhece uma demonstração direta dessa afirmação:

A
Se n²  é ímpar, então n  deve ser ímpar. Logo, se n  é par, n²  deve ser par.
B
n é par, então pode ser escrito como n = 2 k + 1  para algum k pertence números inteiros . Assim, n² = sem ligadura (2 k + 1 sem ligadura)² = 4 k² + 4 k + 1 , que é ímpar.
C
n é par, então pode ser escrito como n = 2 k  para algum k pertence números inteiros . Elevando ao quadrado, obtemos n² = sem ligadura (2 k sem ligadura)² = 4 k² , que é múltiplo de 2, logo, n²  é par.
D
Escolhendo um valor específico, como n = 2 , temos n² = 4 , que é par. Como isso vale para esse caso, a afirmação é verdadeira para todo n .
E
Suponha que n²  seja ímpar e derive uma contradição, concluindo que n²  deve ser par.
#3

Uma prova construtiva estabelece a existência de um objeto matemático ao fornecê-lo explicitamente ou mostrar um método para construí-lo. Em computação, essa abordagem está ligada à teoria dos algoritmos, onde a construção explícita de soluções é essencial para validação de resultados.

A Regra do Laço (ou Loop Invariant) é uma ferramenta fundamental na análise de algoritmos e fundamenta-se em provar que uma propriedade específica permanece verdadeira a cada iteração de um laço.

Neste contexto, sobre a Regra do Laço em fundamentos matemáticos para a computação, interprete as afirmativas a seguir:

I. A Regra do Laço é utilizada para provar que a propriedade de um algoritmo é válida apenas no início da execução do laço.
II. Um invariante de laço deve ser verdadeiro no início, durante cada iteração e ao final da execução do laço.
III. A Regra do Laço não garante a correção total de um algoritmo, mas contribui para demonstrar a parcialidade da solução.

Está correto o que se afirma em:

A
I, II e III
B
I, apenas
C
III, apenas
D
I e II, apenas
E
II e III, apenas
#4

Em relação ao conteúdo estudado, examine as asserções a seguir e a relação proposta entre elas.

I. Para todo Error converting from MathML to accessible text. , a soma dos Error converting from MathML to accessible text.  primeiros números naturais é dada por Error converting from MathML to accessible text. ​

PORQUE

II. Essa fórmula pode ser demonstrada utilizando o primeiro princípio da indução matemática, que consiste em verificar o caso base Error converting from MathML to accessible text. , assumir Error converting from MathML to accessible text.  como verdadeiro e, então, provar Error converting from MathML to accessible text. .

A respeito dessas asserções assinale a alternativa correta.

A
As asserções I e II são proposições verdadeiras, mas a II não é uma justificativa da I
B
A asserção I é uma proposição verdadeira, e a II é uma proposição falsa
C
As asserções I e II são falsas
D
A asserção I é uma proposição falsa, e a II é uma proposição verdadeira
E
As asserções I e II são proposições verdadeiras, e a II é uma justificativa da I

Semana 4 2

#1

Relações de recorrência também aparecem em contextos geométricos, como o cálculo de áreas ou volumes e resolvê-las ajuda a prever padrões de subdivisões. Assim, recorrências têm aplicações práticas em problemas geométricos e são essenciais em diversas áreas.

Diante do apresentado sobre relações de recorrência lineares de primeira ordem com coeficientes constantes, interprete as afirmativas a seguir:

I. Toda relação de recorrência linear de primeira ordem com coeficientes constantes pode ser resolvida unicamente se uma condição inicial for fornecida.

II. A relação de recorrência a _n = 3 a com n - 1 subscrito + 2 é homogênea.

III. A solução geral de uma relação de recorrência linear de primeira ordem homogênea com coeficientes constantes possui a forma a _n = c × r ^(n) - 1 fim do exponencial , onde r é uma raiz característica.

Está correto o que se afirma em:

A
III, apenas
B
I e II, apenas
C
I, apenas
D
I e III, apenas
E
I, II e III
#2

Com base nos estudos de relações binárias. Considere estilo mostrar R  uma relação binária definida no conjunto estilo mostrar A = sem ligadura chaveta esquerda 1,2, 3 sem ligadura chaveta direita  como estilo mostrar R = sem ligadura chaveta esquerda sem ligadura (1,1 sem ligadura), sem ligadura (2,2 sem ligadura), sem ligadura (3,3 sem ligadura), sem ligadura (1,2 sem ligadura), sem ligadura (2,3 sem ligadura) sem ligadura chaveta direita .

Qual das seguintes propriedades estilo mostrar R possui? Assinale a alternativa correta.

A

Reflexiva

B

Simétrica

C

Antissimétrica

D

Relação de equivalência

E

Transitiva

Semana 5 3

#1

Levando em consideração os estudos de funções da semana, considere uma função Error converting from MathML to accessible text. .

Neste contexto, assinale a alternativa que reconhece a propriedade injetora de Error converting from MathML to accessible text. .

A
Para todos os Error converting from MathML to accessible text. , Error converting from MathML to accessible text.  cobre todo o conjunto estilo mostrar B .
B
Para todos os Error converting from MathML to accessible text. , se Error converting from MathML to accessible text. ​, então Error converting from MathML to accessible text. .
C
Para todos os Error converting from MathML to accessible text. , Error converting from MathML to accessible text.  é igual para todos os elementos em estilo mostrar B
D
Para todos os Error converting from MathML to accessible text. , se Error converting from MathML to accessible text. , então estilo mostrar x₁ = x₂ ​.
E
Para todos os Error converting from MathML to accessible text. , Error converting from MathML to accessible text. .
#2

Diante do apresentado sobre sobre matrizes em Fundamentos Matemáticos para Computação, interprete as afirmativas a seguir:

I. Uma matriz quadrada é invertível se, e somente se, seu determinante for diferente de zero.

II. A soma de duas matrizes estilo mostrar A  e estilo mostrar B  é definida somente se ambas possuem o mesmo número de linhas e colunas.

III. O produto de duas matrizes estilo mostrar A  e estilo mostrar B  é comutativo, ou seja, Error converting from MathML to accessible text. para quaisquer matrizes estilo mostrar A  e estilo mostrar B .

Está correto o que se afirma em:

A
I e II, apenas.
B
I, II e III.
C
II e III, apenas.
D
III, apenas.
E
I, apenas.
#3

Matrizes são usadas para representar relações binárias sobre conjuntos finitos. Essa representação é particularmente útil em algoritmos de grafos e na análise de sistemas computacionais. Operações como transposição e potenciação em matrizes têm interpretação direta no contexto das relações.

Considere as seguintes definições:

  1. Uma matriz A é dita simétrica se A ^(T) = A , onde A ^(T)  representa a transposta de A .
  2. A matriz identidade I _n  de ordem n  é uma matriz quadrada com 1  em todos os elementos da diagonal principal e 0  nos demais.
  3. Uma matriz nula é uma matriz em que todos os elementos são iguais a 0 .

Com base nos estudos sobre Matrizes, assinale a alternativa correta.

A
Toda matriz simétrica é identidade.
B
A matriz identidade de ordem n tem apenas n - 1  elementos iguais a 1.
C
Toda matriz identidade é simétrica.
D
Toda matriz nula é identidade.
E
A transposta de uma matriz simétrica é sempre diferente da matriz original.

Semana 6 1

#1

Leia o trecho a seguir:

Em uma árvore binária, um nó que não possui filhos é chamado de [preencher 1], enquanto o número máximo de filhos que um nó pode ter é [preencher 2].

Os termos [preencher 1] e [preencher 2] são corretamente substituídos por:

A
1 - interno; 2 - "22"
B
1 - folha; 2 - "11"
C
1 - folha; 2 - "22"
D
1 - raiz; 2 - "22"
E
1 - raiz; 2 - "11"

Semana 7 2

#1

O algoritmo de busca em profundidade é amplamente usado para detectar ciclos, encontrar componentes conectados e realizar ordenação topológica em grafos direcionados acíclicos. Sua exploração sistemática de vértices permite resolver problemas como análise de dependências em sistemas computacionais.

Diante disso, acerca dos conhecimentos sobre grafo direcionado (ou dígrafo), assinale a alternativa correta. 

A

Todo grafo que é considerado como direcionado é conexo.

B

Em um grafo direcionado, pode haver vértices sem arestas de entrada ou de saída.

C

Um grafo direcionado nunca pode conter um laço (uma aresta que conecta um vértice a ele mesmo).

D

A quantidade de arestas de entrada e saída de um vértice em um grafo direcionado, é sempre igual.

E

Em todo grafo que é direcionado, existe pelo menos um ciclo.

#2

Diante do apresentado sobre o circuito hamiltoniano, compreenda as afirmativas a seguir:

I. Um grafo completo com Error converting from MathML to accessible text.  vértices ( estilo mostrar K _n ​) sempre possui um circuito hamiltoniano, para Error converting from MathML to accessible text. .

II. Todo grafo que possui um circuito hamiltoniano também possui um caminho hamiltoniano.

III. Se um grafo é conexo, ele sempre possui um circuito hamiltoniano.

Está correto o que se afirma em:

A
I e II, apenas.
B
II e III, apenas.
C
I, apenas.
D
I, II e III.
E
III, apenas.