Seja S = {2, 5, 17, 27}. Quais da sentenças a seguir são verdadeiras? 3. Quantos conjuntos diferentes são descritos abaixo? Quais são eles?

Documentos relacionados
Matemática Discreta - 07

Um alfabeto é um conjunto de símbolos indivisíveis de qualquer natureza. Um alfabeto é geralmente denotado pela letra grega Σ.

Aulas 10 e 11 / 18 e 20 de abril

Conceitos Básicos. Vocabulário Cadeias Linguagens Expressões Regulares Problema X Linguagem

Conceitos Básicos. Vocabulário Cadeias Linguagens Problema

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

Dedução Natural e Sistema Axiomático Pa(Capítulo 6)

Matemática para Ciência de Computadores

sumário 1 introdução e conceitos básicos 1 2 noções de lógica e técnicas de demonstração introdução à matemática discreta...

Ou seja, A consiste nos números 1, 3, 5, 7, 9. O segundo conjunto, o qual se lê

Fundamentos de Álgebra Moderna Profª Ana Paula CONJUNTOS

Capítulo 1: Alfabetos, cadeias, linguagens

Análise na Reta - Verão UFPA 1a lista - Números naturais; Corpos ordenados

Aula 10: Decidibilidade

Algoritmia e Programação APROG. Algoritmia 1. Lógica Proposicional (Noções Básicas) Nelson Freire (ISEP DEI-APROG 2013/14) 1/12

1 Conjuntos, Números e Demonstrações

UNIVERSIDADE DO ESTADO DE MATO GROSSO CAMPUS UNIVERSITÁRIO DE SINOP FACULDADE DE CIÊNCIAS EXATAS E DA TERRA BACHARELADO EM SISTEMAS DE INFORMAÇÃO

Alfabeto, Cadeias, Operações e Linguagens

Números naturais e cardinalidade

5. Expressões aritméticas

Pontifícia Universidade Católica do Rio Grande do Sul

Os números naturais. Capítulo Operações em N

Análise I Solução da 1ª Lista de Exercícios

Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos

Teoria de Conjuntos. Matemática Discreta I. Rodrigo Ribeiro. 6 de janeiro de 2013

Aula1 Noções de matemática Discreta Técnicas de Demonstração. Prof. Dr. Ricardo Luis de Azevedo da Rocha

Teoria Elementar dos Conjuntos

LINGUAGENS FORMAIS E AUTÔMATOS

ALGORITMOS COM SELEÇÃO 1 - ESTRUTURA CONDICIONAL (ESTRUTURAS DE CONTROLE)

Teoria dos Conjuntos. Prof. Jorge

Afirmações Matemáticas

AFNs, Operações Regulares e Expressões Regulares

Métodos para a construção de algoritmo

(A1) As operações + e são comutativas, ou seja, para todo x e y em A, x + y = y + x e x y = y x

Matemática Discreta 10

Matemática discreta e Lógica Matemática

Noções de Algoritmos

Unidade I MATEMÁTICA. Prof. Celso Ribeiro Campos

Atividades 1 - Matemática Discreta /02

INF1010 Lista de Exercícios 2

complemento para a disciplina de Matemática Discreta versão 1 - Jerônimo C. Pellegrini Relações de Equivalência e de Ordem

IME, UFF 7 de novembro de 2013

2. A figura a seguir ilustra várias relações binárias em Quais são funções? Dentre as que são funções, quais as sobrejetivas? E quais as injetivas?

INE Fundamentos de Matemática Discreta para a Computação

Lógica. Fernando Fontes. Universidade do Minho. Fernando Fontes (Universidade do Minho) Lógica 1 / 65

Matemática Discreta para Computação e Informática

MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES

Capítulo 2: Procedimentos e algoritmos

Linguagens Formais e Autômatos 02/2015. LFA Aula 02. introdução 28/09/2015. Celso Olivete Júnior.

Números Inteiros Algoritmo da Divisão e suas Aplicações

Linguagens Formais e Autômatos

Compiladores. Análise lexical. Plano da aula. Motivação para análise lexical. Vocabulário básico. Estrutura de um compilador

Conceitos Básicos de Algoritmos

Axiomas de corpo ordenado

Dedução Indução Contra-exemplos Contradição Contrapositiva Construção Diagonalização

Linguagens Formais e Autômatos

EXPRESSÕES ARITMÉTICAS PARTE 2

Universidade Federal de Uberlândia Faculdade de Computação. Estruturas de repetição

Errata da lista 1: Na página 4 (respostas), a resposta da letra e da questão 13 é {2, 3, 5, 7, 11, 13, 17} (faltou o número 17)

Universidade Estadual de Mato Grosso do Sul Bacharelado em Ciência da Computação Algoritmos e Estruturas de Dados II Prof. Fabrício Sérgio de Paula

ESTRUTURA CONDICIONAL E SELEÇÃO

Notas de aula de MAC0329 Álgebra Booleana e Aplicações

Matemática para Ciência de Computadores

é uma proposição verdadeira. tal que: 2 n N k, Φ(n) = Φ(n + 1) é uma proposição verdadeira. com n N k, tal que:

ALGORITMOS COM SELEÇÃO 1 - ESTRUTURA CONDICIONAL (ESTRUTURAS DE CONTROLE)

Contando o Infinito: os Números Cardinais

Matemática Discreta para Ciência da Computação

Variáveis e Entrada de Dados Marco André Lopes Mendes marcoandre.googlepages.

Programação Universidade da Beira Interior Departamento de Informática 2007/08

n. 25 DIAGRAMAS DE VENN

Notas de Aula Álgebra Linear. Elton José Figueiredo de Carvalho Escola de Ciências e Tecnologia Universidade Federal do Rio Grande do Norte

MESTRADO PROFISSIONAL EM MATEMÁTICA EM REDE NACIONAL. ENQ Gabarito

Fundamentos 1. Lógica de Predicados

AT1-3 Introdução à Matemática Discreta

como aproximar bem números reais por números racionais

Conceitos básicos de algoritmos

Juliana Kaizer Vizzotto. Universidade Federal de Santa Maria. Disciplina de Teoria da Computação

Fábio Rodrigues / Israel Lucania

Paradigmas de programação

Universidade Federal de Alfenas

Unidade IV. Unidade III. Na álgebra booleana, estão todos os fundamentos da eletrônica digital.

Estruturas de Dados, Análise de Algoritmos e Complexidade Estrutural. Carlos Alberto Alonso Sanches

Conceitos Básicos. Professor: Juliano Lucas Gonçalves.

Produtos de potências racionais. números primos.

Fundamentos da Teoria da Computação

Aula 7: Portas Lógicas: AND, OR, NOT, XOR, NAND e NOR

Computação Fiável Indução - exercícios básicos

EXPRESSÕES ARITMÉTICAS PARTE 1

Autômatos e Linguagens

Linguagens de Programação. Marco A L Barbosa

PROVA ESPECÍFICA MODELO. Duração da prova: 120 minutos

14/03/2014. Tratamento de Incertezas TIC Aula 1. Conteúdo Espaços Amostrais e Probabilidade. Revisão de conjuntos. Modelos Probabilísticos

Capítulo 0: Conjuntos, funções, relações

Curso: Ciência da Computação Turma: 6ª Série. Teoria da Computação. Aula 2. Conceitos Básicos da Teoria da Computação

O verbo induzir significa gerar. Nesta aula, começaremos a ver o assunto Indução Matemática

1. Conhecendo-se somente os produtos AB e AC, calcule A = X 2 = 2X. 3. Mostre que se A e B são matrizes que comutam com a matriz M = 1 0

LISTA DE EXERCÍCIOS. [01] Determine o domínio natural (efetivo/maximal) de cada uma das funções indicadas abaixo.

ÁLGEBRA LINEAR. Subespaços Vetoriais. Prof. Susie C. Keller

BCC402 Algoritmos e Programação Avançada Prof. Marco Antonio M. Carvalho Prof. Túlio Ângelo M. Toffolo 2011/1

Transcrição:

Seção 3.1 Conjuntos 113 Existem identidades básicas (em pares duais) e elas podem ser usadas para provarem identidades de conjuntos; uma vez que uma identidade seja provada desta maneira, sua dual também será válida. Os conjuntos podem ser fornecidos como tipos de dados-padrão em linguagens de programação, e um tipo abstrato de dados para representar conjuntos pode ser implementado de diversas formas. A noção da programação orientada a objeto de herança é uma conseqüência do conceito de subconjunto. Conjuntos contáveis podem ser enumerados e existem conjuntos não-contáveis. Exercícios 3.1 Seja S = {2, 5, 17, 27}. Quais da sentenças a seguir são verdadeiras? 3. Quantos conjuntos diferentes são descritos abaixo? Quais são eles? Descreva cada um dos conjuntos a seguir, listando seus elementos: 5. Descreva cada um dos conjuntos abaixo, listando seus elementos: 6. Descreva cada um dos conjuntos abaixo, apresentando uma propriedade característica: a. {1,2,3,4,5} b. {1,3,5,6,9, 11,...} c. {Sarney, Collor, Itamar} d. {0, 1, 10, 11, 100, 101, 110, 111, 1000,...) 7. Descreva cada um dos conjuntos a seguir: 8. Dada a descrição de um conjunto A como A = {2, 4, 8,...}, você acha que 16 Al 9. Sejam Quais das sentenças a seguir são verdadeiras? 10. Sejam

114 Conjuntos e Combinatória Quais das sentenças a seguir são verdadeiras? Justifique as que não forem. 11. Seja e 12. Seja e 13. O programa QUAD encontra e imprime soluções de equações quadráticas da forma ax 2 + bx + c = 0. O programa PAR lista todos os inteiros de 2n a 2n. Seja Q o conjunto dos valores de saída de Q, e E o conjunto dos valores de saída de PAR. a. Mostre que para a = 1, b = -2, c = -24 e n = 50, b. Mostre que para os mesmos valores de a, b e c, mas para n valendo 2, 15. Quais das sentenças a seguir são verdadeiras para todos os conjuntos A, B e C? 27. Resolva para x e y. a. (y, x + 2) = (5, 3) b.(2x,y) = (16,7)

Seção 3.1 Conjuntos 115 c. (2x -y,x + y) = (-2, 5) 29. Quais das operações a seguir são binárias ou unárias nos conjuntos dados? Para as que não foram, justifique sua resposta. 30. Quantas operações binárias diferentes podem ser definidas em um conjunto com n elementos? (Dica: imagine o preenchimento de uma tabela.) 31. Nós temos escrito as operações binárias através da notação infíxa, onde os símbolos da operação aparecem entre os operandos, como em A + B. A avaliação de uma operação aritmética complexa é mais eficiente se a operação for escrita na notação posfixa, onde o símbolo da operação aparece após os operandos, como em A B +. Muitos compiladores mudam as expressões dos programas da forma infixa para a forma posfixa. Uma forma de produzir uma expressão posfixa a partir de uma expressão infixa é escrever a operação infixa com todos os parênteses possíveis e mover cada operador a fim de que substitua seu "fecha-parênteses" e eliminar todos os "abre-parênteses". (Não há necessidade de parênteses na notação posfixa.) Portanto, A* B + C fica, quando escrita com todos os parênteses, ((A * B) + C) e sua notação posfixa é A B * C + Reescreva cada uma das expressões a seguir na notação posfixa: a. (A + B) * (C - D) b. A ** B - C * D (** denota exponenciação) c.a * C + B/(C + D* B) 32. Avalie expressões posfixas a seguir (veja Exercício 31): a. 2 4 * 5 + b. 5 1 + 2 / 1 - c. 3 4 + 5 1 - *

116 Conjuntos e Combinatória 33. Sejam A = {p, q, r, s} B = {r, t, v} C = {p, s, t, u} subconjuntos de S = {p, q, r, s, t, u, v, w}. Encontre 34. Sejam A = {2,4,5,6,8} B = {1,4,5,9} subconjuntos de S = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9). Encontre: 35. A = {x x é o nome de um presidente anterior do Brasil} B = {Jânio, Geisel, Figueiredo} C = {x x é nome de um estado} Encontre: 36. Sejam A = {x x é uma palavra que aparece antes de cão no dicionário da língua portuguesa} B = {x x é uma palavra que aparece depois de bem-te-vi no dicionário da língua portuguesa} C = {x x é uma palavra com mais de quatro letras} Quais das sentenças a seguir são verdadeiras? Considere os seguintes subconjuntos de Usando as operações de conjuntos, descreva cada um dos seguintes conjuntos em termos de A, B e C: a. conjunto de todos os inteiros ímpares b. { - 10, -8, -6, -4, -2, 0, 2, 4, 6, 8, 10} 38. Sejam

Seção 3.1 Conjuntos 117 Usando operações de conjuntos, descreva cada um dos conjuntos mostrados abaixo em termos de A e B 39. Quais das sentenças a seguir são verdadeiras para quaisquer conjuntos A, B e Cl 40. Para cada uma das sentenças a seguir, encontre as condições gerais para os conjuntos Ac B para tornar a sentença verdadeira: 41. Prove que onde A e B são conjuntos arbitrários. 42. Prove que onde A e B são conjuntos arbitrários. 48. Quais das sentenças a seguir são verdadeiras para quaisquer conjuntos A, B e C?

118 Conjuntos e Combinatória e. A X (B X C) = (A X B) X C 49. Verifique as identidades básicas de conjuntos da p. 106 demonstrando a inclusão em ambas as direções. (Já mostramos a 3. a e 4.ª) 50. A e B são subconjuntos de S. Demonstre as seguintes identidades mostrando a inclusão em ambas as direções: 51. a.a,b e C são subconjuntos de S. Demonstre as seguintes identidades usando as identidades básicas de conjuntos apresentadas nesta seção: b. Indique o dual de cada uma das identidades acima. 52. A, B e C são subconjuntos de S. Demonstre as seguintes identidades de conjuntos, quer seja mostrando a inclusão em ambas as direções ou usando as identidades previamente demonstradas, incluindo as do Exercício 50. 53. A operação de união de conjuntos pode ser definida como uma operação n-ária para qualquer inteiro a. Forneça uma demonstração semelhante à da união de dois conjuntos para b. Forneça uma definição recursiva para 54. Usando a definição recursiva da união de conjuntos do Exercício 53(b), demonstre a propriedade associativa generalizada da união de conjuntos, que é válida para qualquer n com e qualquer p com 55. A operação de interseção de conjuntos pode ser definida como uma operação n-ária para qualquer inteiro a. Forneça uma definição semelhante à da interseção de dois conjuntos para b. Forneça uma definição recursiva para 56. Usando a definição recursiva da interseção de conjuntos do Exercício 55 (b), demonstre a propriedade associativa generalizada da interseção de conjuntos, que é válida para qualquer n com e qualquer 57. Para A 1. A 2 A n, e B subconjuntos de S, demonstre as seguintes identidades, onde (Veja Exercícios 53 e 55.)

Seção 3.1 Conjuntos 1 19 58. Para A 1,A 2;..., A n subconjuntos de 5, demonstre as seguintes identidades, onde (Veja Exercícios 50, 53 e 55.) 59. As operações de união e interseção de conjuntos podem ser estendidas a fim de que se apliquem a uma família infinita de conjuntos. Podemos descrever essa família como a coleção de todos os conjuntos A,, onde i assume quaisquer valores do conjunto fixo /. Neste caso, / é chamado de conjunto índice da 61. O princípio da boa-ordenação diz que todo conjunto não-vazio de inteiros positivos tem um menor número. Prove que o princípio da indução fraca, isto é, implica o princípio da boa-ordenação. (Dica: admita que o princípio da indução fraca é válido e use uma prova por contradição para mostrar que o princípio da boa-ordenação é válido. Seja T um conjunto nãovazio de inteiros positivos que não tem menor elemento. Seja P(n) a propriedade que todo elemento de T é maior que n.) 62. Demonstre que o princípio da boa-ordenação (veja Exercício 61) implica o princípio da indução forte. (Dica: Admita que o princípio da boa-ordenação é válido e seja P a propriedade para a qual Seja T o subconjunto dos inteiros positivos definido por Mostre que T é o conjunto vazio.)

120 Conjuntos e Combinatória 63. Seja o conjunto universo S = {1,2,3,4,5}. Usando a representação por vetor de bits, quais são os se- guintes conjuntos? a. A = {2,3,5} b. B= {5} 64. Seja o conjunto universo S = {1, 2, 3, 4, 5}. Usando a representação por vetor de bits, encontre a. O complemento de 10011 b. A união de 11001 e 01011 c. A interseção de 00111 e 10110 65. Sejam os conjuntos A e B com as representações na forma de listas encadeadas mostradas a seguir: Desenhe a representação na forma de lista encadeada de 66. Usando os conjuntos do Exercício 65, desenhe a representação em forma de lista encadeada de 67. Prove que o conjunto dos inteiros positivos ímpares é denumerável. 68. Prove que o conjunto de todos os inteiros é denumerável. 69. Prove que o conjunto de todas as strings de tamanho finito de letras a é denumerável. 70. Prove que o conjunto é denumerável. 71. Use o método da diagonalização de Cantor para mostrar que o conjunto de todas as seqüências infinitas de inteiros positivos não é contável. 72. Explique por que qualquer subconjunto de um conjunto contável é também contável. 73. Explique por que a união de quaisquer dois conjuntos denumeráveis é também denumerável. 74. Conjuntos podem ter conjuntos como elementos (veja Exercício 10, por exemplo). Seja B o conjunto definido como mostrado a seguir: Verifique que tanto quantosão verdadeiros. Esta contradição é chamada de paradoxo de Russell devido ao famoso matemático e filósofo Bertrand Russell, que primeiro a enunciou em 1901. (A criação cuidadosa de axiomas na teoria dos conjuntos impôs algumas restrições sobre o que se pode chamar de conjunto. Todos os conjuntos ordinários continuam sendo conjuntos, mas conjuntos peculiares que nos induzem a dúvidas, como o B acima, foram evitados.) Seção 3.2 Contagem A combinatória é o ramo da Matemática que trata da contagem. Tratar a contagem é importante, sempre que temos recursos finitos (Quanto espaço um banco de dados consome? Quantos usuários a configuração de um computador pode suportar?) ou sempre que estamos interessados em eficiência (Quantos cálculos um determinado algoritmo envolve?). Problemas de contagem normalmente se resumem em determinar quantos elementos existem em um conjunto finito. Esta questão que parece trivial pode ser difícil de ser respondida. Já respondemos algumas questões do tipo "quantos" quantas linhas existem na tabela-verdade com n símbolos proposicionais, e quantos subconjuntos existem em um conjunto com n elementos? (Na verdade, como já vimos, essas podem ser a mesma pergunta.)