Matemática Discreta - 2 (ILC) Flashcards
Conjuntos, Indução, Recursão
O que é um conjunto? O que é um conjunto vazio?
Um conjunto é uma coleção desordenada de objetos distintos chamados elementos. Um conjunto vazio é um conjunto sem nenhum elemento.
O que significa dizer que A é subconjunto de B? Todo conjunto é subconjunto de si mesmo ? Como provar que dois conjuntos são iguais? Como usar a definição de subconjunto para mostrar que dois conjuntos A e B são iguais?
A é um subconjunto de B se e somente se todo elemento que estiver presente em B também estiver presente em A. Por essa definição, temos também que todo conjunto é subconjunto de si mesmo. Para mostrar igualdade de conjuntos, mostre que um elemento x pertence a A se e somente se ele também pertence a B. Em outras palavras, mostre que A é subconjunto de B e B também é subconjunto de A.
O que é o conjunto potência de um conjunto S? E o produto cartesiano de dois conjuntos A e B? Qual é a sua notação?
O conjunto potência de um conjunto S é o conjunto de todos os subconjuntos de S. O produto cartesiano é o conjunto de todos os pares ordenados (a,b) em que a pertence a A e b pertence a B. A notação do conjunto potência é 𝒫(S). A notação do produto cartesiano é A x B.
Quais são as principais operações que é possível realizar com conjuntos? Qual o resultado dessas operações?
- A união B (conjunto com todos os elementos presentes em A ou B)
- A intersecção B (conjunto com todos os elementos presentes tanto em A quanto em B)
- A-B (conjunto de todos os elementos que estão em A mas não estão em B)
- Complemento de A (todos os elementos que não estão em A)
O que é uma sequência? Qual é a sua notação?
Uma sequência é uma função que mapeia um subconjunto dos inteiros a um conjunto S. Nós usamos an para denotar a imagem do inteiro n.
Como definir uma função de forma recursiva? Que outro nome damos para essa definição?
Para definir uma função de forma recursiva, definimos o valor da função quando x = 0 e, para x > 0, definimos o valor como uma função dos valores anteriores. Essa definição também pode ser chamada de relação de recorrência.
O que é a cardinalidade de um conjunto? O que significa dizer que dois conjuntos possuem a mesma cardinalidade?
A cardinalidade de um conjunto é a quantidade de elementos dentro dele. Dois conjuntos possuem a mesma cardinalidade se e somente se é possível construir uma função bijetora que mapeia os elementos de A aos elementos de B.
Como mostrar que dois conjuntos A e B possuem a mesma cardinalidade usando apenas funções injetoras?
É possível mostrar que dois conjuntos A e B possuem a mesma cardinalidade construindo uma função injetora que mapeia A para B e outra função que mapeia B para A.
O que significa dizer que um conjunto é contável?
Um conjunto é contável se ele for finito ou se possuir a mesma cardinalidade que o conjunto dos números naturais.
O conjunto dos números naturais é contável? E o dos inteiros ? E os racionais? E os reais?
O conjunto dos números naturais, inteiros e racionais é contável. Os reais não.
O conjunto de todos os algoritmos que podem ser escritos em uma determinada linguagem é contável? Justifique.
É. Um programa de computador nada mais é do que um conjunto de valores que podem ser 0 ou 1. Isso quer dizer que todo programa pode ser escrito como um número formado apenas pelos algarismos 0 ou 1. Visto que todos os números envolvidos são naturais, esse conjunto não pode ter mais elementos que os números naturais e por isso a cardinalidade deve ser menor ou igual à dos números naturais.
O que significa dizer que uma função é computável? Toda função é computável?
Significa dizer que é possível escrever um algoritmo capaz de encontrar os valores dessa função. Existem funções que não são computáveis.
Existem funções que não são computáveis? Justifique.
O conjunto de algoritmos que podem ser feitos é um conjunto contável. Por outro lado, existem conjuntos que não são contáveis
Como construir uma prova por indução fraca de uma proposição P?
Primeiro, mostre que o caso base (geralmente P(1)) é verdadeiro. Isso é chamado de passo base. Então mostre que, se P(k) é verdadeiro para um k arbitrário, P(k + 1) também será. Isso é chamado de passo indutivo.
Explique por que e em quais situações a indução fraca é uma forma válida de demonstração.
Indução fraca é uma forma válida em situações onde se existe um menor elemento no conjunto para o qual se deseja realizar a prova. Ela é uma forma válida porque provamos que a afirmação é verdadeira tanto para o menor elemento quanto para o sucessor de um elemento qualquer. Visto que todo elemento no conjunto é sucessor do menor elemento ou sucessor de um sucessor distante do menor elemento, então a propriedade é válida para todos os números.