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?
|
|
- David Rosa di Azevedo
- 6 Há anos
- Visualizações:
Transcrição
1 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
2 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)
3 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 / 1 - c *
4 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
5 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?
6 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 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.)
7 Seção 3.1 Conjuntos 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.)
8 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 b. A união de e c. A interseção de e 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 (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.)
Matemática Discreta - 07
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 07 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
Leia maisUm alfabeto é um conjunto de símbolos indivisíveis de qualquer natureza. Um alfabeto é geralmente denotado pela letra grega Σ.
Linguagens O conceito de linguagem engloba uma variedade de categorias distintas de linguagens: linguagens naturais, linguagens de programação, linguagens matemáticas, etc. Uma definição geral de linguagem
Leia maisAulas 10 e 11 / 18 e 20 de abril
1 Conjuntos Aulas 10 e 11 / 18 e 20 de abril Um conjunto é uma coleção de objetos. Estes objetos são chamados de elementos do conjunto. A única restrição é que em geral um mesmo elemento não pode contar
Leia maisConceitos Básicos. Vocabulário Cadeias Linguagens Expressões Regulares Problema X Linguagem
Conceitos Básicos Vocabulário Cadeias Linguagens Expressões Regulares Problema X Linguagem Alfabeto ou Vocabulário: Conjunto finito não vazio de símbolos. Símbolo é um elemento qualquer de um alfabeto.
Leia maisConceitos Básicos. Vocabulário Cadeias Linguagens Problema
Conceitos Básicos Vocabulário Cadeias Linguagens Problema Alfabeto ou Vocabulário: Conjunto finito não vazio de símbolos. Símbolo é um elemento qualquer de um alfabeto. Ex: {A,B,C,.Z} alfabeto latino (maiúsculas)
Leia maisINE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/30 3 - INDUÇÃO E RECURSÃO 3.1) Indução Matemática 3.2)
Leia maisDedução Natural e Sistema Axiomático Pa(Capítulo 6)
Dedução Natural e Sistema Axiomático Pa(Capítulo 6) LÓGICA APLICADA A COMPUTAÇÃO Professor: Rosalvo Ferreira de Oliveira Neto Estrutura 1. Definições 2. Dedução Natural 3. Sistemas axiomático Pa 4. Lista
Leia maisMatemática para Ciência de Computadores
Matemática para Ciência de Computadores 1 o Ano - LCC & ERSI Luís Antunes lfa@ncc.up.pt DCC-FCUP Complexidade 2002/03 1 Relações Definição: Uma relação binária de um conjunto A num conjunto B é um subconjunto
Leia maissumá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...
sumário 1 introdução e conceitos básicos 1 1.1 introdução à matemática discreta... 2 1.2 conceitos básicos de teoria dos conjuntos... 3 1.2.1 conjuntos...3 1.2.2 pertinência...5 1.2.3 alguns conjuntos
Leia maisOu seja, A consiste nos números 1, 3, 5, 7, 9. O segundo conjunto, o qual se lê
Capítulo 1 Teoria de Conjuntos 1.1 INTRODUÇÃO O conceito de conjunto aparece em toda a matemática. Este capítulo introduz a notação e a terminologia básicas da teoria de conjuntos usadas ao longo deste
Leia maisFundamentos de Álgebra Moderna Profª Ana Paula CONJUNTOS
Fundamentos de Álgebra Moderna Profª Ana Paula CONJUNTOS O conjunto é um conceito fundamental em todos os ramos da matemática. Intuitivamente, um conjunto é uma lista, coleção ou classe de objetods bem
Leia maisCapítulo 1: Alfabetos, cadeias, linguagens
Capítulo 1: Alfabetos, cadeias, linguagens Símbolos e alfabetos. Um alfabeto é, para os nossos fins, um conjunto finito não vazio cujos elementos são chamados de símbolos. Dessa maneira, os conceitos de
Leia maisAnálise na Reta - Verão UFPA 1a lista - Números naturais; Corpos ordenados
Análise na Reta - Verão UFPA 1a lista - Números naturais; Corpos ordenados A lista abaixo é formada por um subconjunto dos exercícios dos seguintes livros: Djairo G. de Figueiredo, Análise na reta Júlio
Leia maisAula 10: Decidibilidade
Teoria da Computação Segundo Semestre, 2014 Aula 10: Decidibilidade DAINF-UTFPR Prof. Ricardo Dutra da Silva Definição 10.1. Um problema de decisão P é um conjunto de questões para as quais as respostas
Leia maisAlgoritmia e Programação APROG. Algoritmia 1. Lógica Proposicional (Noções Básicas) Nelson Freire (ISEP DEI-APROG 2013/14) 1/12
APROG Algoritmia e Programação Algoritmia 1 Lógica (Noções Básicas) Nelson Freire (ISEP DEI-APROG 2013/14) 1/12 Sumário Lógica Qual é o interesse para a algoritmia? O que é? Cálculo (Noções Básicas) Operações
Leia mais1 Conjuntos, Números e Demonstrações
1 Conjuntos, Números e Demonstrações Definição 1. Um conjunto é qualquer coleção bem especificada de elementos. Para qualquer conjunto A, escrevemos a A para indicar que a é um elemento de A e a / A para
Leia maisUNIVERSIDADE DO ESTADO DE MATO GROSSO CAMPUS UNIVERSITÁRIO DE SINOP FACULDADE DE CIÊNCIAS EXATAS E DA TERRA BACHARELADO EM SISTEMAS DE INFORMAÇÃO
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 Álgebra de Boole Disciplina: Lógica Professora Dr.ª: Donizete
Leia maisAlfabeto, Cadeias, Operações e Linguagens
Linguagens de Programação e Compiladores - Aula 3 1 Alfabeto, Cadeias, Operações e Linguagens 1.Conjuntos Para representar um determinado conjunto é necessário buscar uma notação para representá-lo e ter
Leia maisNúmeros naturais e cardinalidade
Números naturais e cardinalidade Roberto Imbuzeiro M. F. de Oliveira 5 de Janeiro de 2008 Resumo 1 Axiomas de Peano e o princípio da indução Intuitivamente, o conjunto N dos números naturais corresponde
Leia mais5. Expressões aritméticas
5. Expressões aritméticas 5.1. Conceito de Expressão O conceito de expressão em termos computacionais está intimamente ligado ao conceito de expressão (ou fórmula) matemática, onde um conjunto de variáveis
Leia maisPontifícia Universidade Católica do Rio Grande do Sul
Pontifícia Universidade Católica do Rio Grande do Sul Faculdade de Matemática - Departamento de Matemática Estruturas Algébricas Prof. M.Sc. Guilherme Luís Roëhe Vaccaro e-mail: vaccaro@mat.pucrs.br Prof.
Leia maisOs números naturais. Capítulo Operações em N
Capítulo 1 Os números naturais O conjunto dos números naturais, denotado por N, é aquele composto pelos números usados para contar. Na verdade, o mais correto seria dizer que é o conjunto dos números usados
Leia maisAnálise I Solução da 1ª Lista de Exercícios
FUNDAÇÃO EDUCACIONAL SERRA DOS ÓRGÃOS CENTRO UNIVERSITÁRIO SERRA DOS ÓRGÃOS Centro de Ciências e Tecnologia Curso de Graduação em Matemática Análise I 0- Solução da ª Lista de Eercícios. ATENÇÃO: O enunciado
Leia maisTeoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos
Pode-se dizer que a é em grande parte trabalho de um único matemático: Georg Cantor (1845-1918). noção de conjunto não é suscetível de definição precisa a partir d noções mais simples, ou seja, é uma noção
Leia maisTeoria de Conjuntos. Matemática Discreta I. Rodrigo Ribeiro. 6 de janeiro de 2013
Teoria de Conjuntos Matemática Discreta I Rodrigo Ribeiro Departamento de Ciências Exatas e Aplicadas Universidade de Federal de Ouro Preto 6 de janeiro de 2013 Motivação (I) Porque estudar Teoria de Conjuntos?
Leia maisAula1 Noções de matemática Discreta Técnicas de Demonstração. Prof. Dr. Ricardo Luis de Azevedo da Rocha
Aula1 Noções de matemática Discreta Técnicas de Demonstração Prof. Dr. Ricardo Luis de Azevedo da Rocha Matemática Discreta seleção de tópicos de Matemática essenciais para o estudo da Ciência da Computação
Leia maisTeoria Elementar dos Conjuntos
Teoria Elementar dos Conjuntos Este capítulo visa oferecer uma breve revisão sobre teoria elementar dos conjuntos. Além de conceitos básicos importantes em matemática, a sua imprtância reside no fato da
Leia maisLINGUAGENS FORMAIS E AUTÔMATOS
LINGUAGENS FORMAIS E AUTÔMATOS O objetivo deste curso é formalizar a idéia de linguagem e definir os tipos de sintaxe e semântica. Para cada sintaxe, analisamos autômatos, ue são abstrações de algoritmos.
Leia maisALGORITMOS COM SELEÇÃO 1 - ESTRUTURA CONDICIONAL (ESTRUTURAS DE CONTROLE)
Algoritmos e Estruturas de Dados 1 Prof. Eduardo 1 ALGORITMOS COM SELEÇÃO 1 - ESTRUTURA CONDICIONAL (ESTRUTURAS DE CONTROLE) Já vimos entrada, processamento e saída, que compõem os algoritmos puramente
Leia maisTeoria dos Conjuntos. Prof. Jorge
Teoria dos Conjuntos Conjuntos Conceitos iniciais Na teoria dos conjuntos, consideramos como primitivos os conceitos de elemento, pertinência e conjunto. Exemplos - Conjunto I. O conjunto dos alunos do
Leia maisAfirmações Matemáticas
Afirmações Matemáticas Na aula passada, vimos que o objetivo desta disciplina é estudar estruturas matemáticas, afirmações sobre elas e como provar essas afirmações. Já falamos das estruturas principais,
Leia maisAFNs, Operações Regulares e Expressões Regulares
AFNs, Operações Regulares e Expressões Regulares AFNs. OperaçõesRegulares. Esquematicamente. O circulo vermelho representa o estado inicial q 0, a porção verde representa o conjunto de estados de aceitação
Leia maisMétodos para a construção de algoritmo
Métodos para a construção de algoritmo Compreender o problema Identificar os dados de entrada e objetos desse cenário-problema Definir o processamento Identificar/definir os dados de saída Construir o
Leia mais(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
Notas de aula de MAC0329 (2003) 17 3 Álgebra Booleana Nesta parte veremos uma definição formal de álgebra booleana, a qual é feita via um conjunto de axiomas (ou postulados). Veremos também algumas leis
Leia maisMatemática Discreta 10
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta 10 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br - www.univasf.edu.br/~jorge.cavalcanti 1 Muitas
Leia maisMatemática discreta e Lógica Matemática
AULA 1 - Lógica Matemática Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Ementa 1 Lógica Sentenças, representação
Leia maisNoções de Algoritmos
Universidade Federal do Rio Grande do Norte Departamento de Engenharia de Computação e Automação Noções de Algoritmos DCA0800 - Algoritmos e Lógica de Programação Heitor Medeiros 1 Tópicos da aula Algoritmos
Leia maisUnidade I MATEMÁTICA. Prof. Celso Ribeiro Campos
Unidade I MATEMÁTICA Prof. Celso Ribeiro Campos Números reais Três noções básicas são consideradas primitivas, isto é, são aceitas sem a necessidade de definição. São elas: a) Conjunto. b) Elemento. c)
Leia maisAtividades 1 - Matemática Discreta /02
Atividades 1 - Matemática Discreta - 2014/02 1. Descreva cada um dos conjuntos a seguir, listando seus elementos: (a) P = {x R x 2 x 2 = 0}; (b) Q = {x x é uma letra na palavra amor }; (c) R = {x Z x 2
Leia maisINF1010 Lista de Exercícios 2
INF00 Lista de Exercícios 2 Árvores. Construir algoritmo para dada uma árvore n-ária, transformá-la em uma árvore binária. 2. Qual a maior e menor quantidade de nós que podem existir em uma árvore binária
Leia maiscomplemento para a disciplina de Matemática Discreta versão 1 - Jerônimo C. Pellegrini Relações de Equivalência e de Ordem
Relações de Equivalência e de Ordem complemento para a disciplina de Matemática Discreta versão 1 Jerônimo C. Pellegrini 5 de agosto de 2013 ii Sumário Sumário Nomenclatura 1 Conjuntos e Relações 1 1.1
Leia maisIME, UFF 7 de novembro de 2013
em Lógica IME, UFF 7 de novembro de 2013 em Sumário Intermezzo sobre problemas. Intermezzo sobre algoritmos.. em : Val, Sat, Conseq, Equiv, Consist. Redução de problemas. em Um problema computacional é
Leia mais2. 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?
Seção 4.3 Funções 199 Exercícios 4.3 1. A figura a seguir representa uma função. a. Qual seu domínio? Qual seu contradomínio? Qual o conjunto imagem? b. Qual a imagem de 5? E de 8? c. Quais as pré-imagens
Leia maisINE Fundamentos de Matemática Discreta para a Computação
INE5403 - Fundamentos de Matemática Discreta para a Computação ) Fundamentos.1) Conjuntos e Sub-conjuntos.) Números Inteiros.3) Funções.4) Seqüências e Somas.5) Crescimento de Funções Seqüências Uma seqüência
Leia maisLógica. Fernando Fontes. Universidade do Minho. Fernando Fontes (Universidade do Minho) Lógica 1 / 65
Lógica Fernando Fontes Universidade do Minho Fernando Fontes (Universidade do Minho) Lógica 1 / 65 Outline 1 Introdução 2 Implicações e Equivalências Lógicas 3 Mapas de Karnaugh 4 Lógica de Predicados
Leia maisMatemática Discreta para Computação e Informática
Matemática Discreta para Computação e Informática P. Blauth Menezes blauth@inf.ufrgs.br Departamento de Informática Teórica Instituto de Informática / UFRGS Matemática Discreta para Computação e Informática
Leia maisMATEMÁTICA DISCRETA CONCEITOS PRELIMINARES
MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES Newton José Vieira 21 de agosto de 2007 SUMÁRIO Teoria dos Conjuntos Relações e Funções Fundamentos de Lógica Técnicas Elementares de Prova 1 CONJUNTOS A NOÇÃO
Leia maisCapítulo 2: Procedimentos e algoritmos
Capítulo 2: Procedimentos e algoritmos Para estudar o processo de computação de um ponto de vista teórico, com a finalidade de caracterizar o que é ou não é computável, é necessário introduzir um modelo
Leia maisLinguagens Formais e Autômatos 02/2015. LFA Aula 02. introdução 28/09/2015. Celso Olivete Júnior.
LFA Aula 02 Linguagens regulares - introdução 28/09/2015 Celso Olivete Júnior olivete@fct.unesp.br 1 Na aula passada... Visão geral Linguagens regulares expressões regulares autômatos finitos gramáticas
Leia maisNúmeros Inteiros Algoritmo da Divisão e suas Aplicações
Números Inteiros Algoritmo da Divisão e suas Aplicações Diferentemente dos números reais (R), o conjunto dos inteiros (Z) não é fechado para a divisão. Esse não-fechamento faz com que a divisão entre inteiros
Leia maisLinguagens Formais e Autômatos
Linguagens Formais e Autômatos Prof. Yandre Maldonado - 1 Prof. Yandre Maldonado e Gomes da Costa Introdução Problema: definir um conjunto de cadeias de símbolos; Prof. Yandre Maldonado - 2 Exemplo: conjunto
Leia maisCompiladores. Análise lexical. Plano da aula. Motivação para análise lexical. Vocabulário básico. Estrutura de um compilador
Estrutura de um compilador programa fonte Compiladores Análise lexical () Expressões Regulares analisador léxico analisador sintático analisador semântico análise gerador de código intermediário otimizador
Leia maisConceitos Básicos de Algoritmos
Conceitos Básicos de Algoritmos 35 TIPOS PRIMITIVOS Palavra-reservada: inteiro - define variáveis numéricas do tipo inteiro, ou seja, sem casas decimais Palavra-reservada: real - define variáveis numéricas
Leia maisAxiomas de corpo ordenado
Axiomas de corpo ordenado 2 a lista de exercícios Análise real A abordagem axiomática dos números reais previne erros que a intuição pode ocasionar e torna mais rigoroso o processo de demonstração matemática,
Leia maisDedução Indução Contra-exemplos Contradição Contrapositiva Construção Diagonalização
Dedução Indução Contra-exemplos Contradição Contrapositiva Construção Diagonalização 1 Provas, lemas, teoremas e corolários Uma prova é um argumento lógico de que uma afirmação é verdadeira Um teorema
Leia maisLinguagens Formais e Autômatos
Linguagens Formais e Autômatos (notas da primeira aula 1 Definições básicas 1.1 Conjuntos Definição 1. Um conjunto é uma coleção de objetos, denominados elementos. Notação 1. Para indicar que um elemento
Leia maisEXPRESSÕES ARITMÉTICAS PARTE 2
AULA 6 EXPRESSÕES ARITMÉTICAS PARTE 2 6.1 Operadores aritméticos sobre os reais Como vimos na aula anterior, os operadores aritméticos definem as operações aritméticas que podem ser realizadas sobre os
Leia maisUniversidade Federal de Uberlândia Faculdade de Computação. Estruturas de repetição
Universidade Federal de Uberlândia Faculdade de Computação Estruturas de repetição Prof. Renato Pimentel 1 Estruturas de repetição Utilização: Trecho de um algoritmo precisa ser executado mais de uma vez:
Leia maisErrata 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)
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) Lista 1 - Bases Matemáticas Elementos de Lógica e Linguagem Matemática 1
Leia maisUniversidade 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
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 Tópicos Introdução Alocação sequencial Listas lineares,
Leia maisESTRUTURA CONDICIONAL E SELEÇÃO
Algoritmos e Estruturas de Dados 1 Prof. Eduardo 1 ESTRUTURA CONDICIONAL E SELEÇÃO 1 - ESTRUTURA CONDICIONAL (ESTRUTURAS DE CONTROLE OU DECISÃO) Até o momento da disciplina vimos algoritmos e programas
Leia maisNotas de aula de MAC0329 Álgebra Booleana e Aplicações
Notas de aula de MAC0329 Álgebra Booleana e Aplicações Nina S. T. Hirata Depto. de Ciência da Computação IME / USP Este texto é uma referência-base para o curso de MAC0329 (Álgebra Booleana e Aplicações).
Leia maisMatemática para Ciência de Computadores
Matemática para Ciência de Computadores 1 o Ano - LCC & ERSI Luís Antunes lfa@ncc.up.pt DCC-FCUP Complexidade 2002/03 1 Teoria de Conjuntos Um conjunto é uma colecção de objectos/elementos/membros. (Cantor
Leia maisé uma proposição verdadeira. tal que: 2 n N k, Φ(n) = Φ(n + 1) é uma proposição verdadeira. com n N k, tal que:
Matemática Discreta 2008/09 Vítor Hugo Fernandes Departamento de Matemática FCT/UNL Axioma (Princípio da Boa Ordenação dos Números Naturais) O conjunto parcialmente (totalmente) ordenado (N, ), em que
Leia maisALGORITMOS COM SELEÇÃO 1 - ESTRUTURA CONDICIONAL (ESTRUTURAS DE CONTROLE)
Algoritmos e Estruturas de Dados 1 Prof. Eduardo 1 ALGORITMOS COM SELEÇÃO 1 - ESTRUTURA CONDICIONAL (ESTRUTURAS DE CONTROLE) Até o momento da disciplina vimos comandos de entrada, processamento e saída
Leia maisContando o Infinito: os Números Cardinais
Contando o Infinito: os Números Cardinais Sérgio Tadao Martins 4 de junho de 2005 No one will expel us from the paradise that Cantor has created for us David Hilbert 1 Introdução Quantos elementos há no
Leia maisMatemática Discreta para Ciência da Computação
Matemática Discreta para Ciência da Computação P. Blauth Menezes blauth@inf.ufrgs.br Departamento de Informática Teórica Instituto de Informática / UFRGS Matemática Discreta para Ciência da Computação
Leia maisVariáveis e Entrada de Dados Marco André Lopes Mendes marcoandre.googlepages.
Variáveis e Entrada de Dados Marco André Lopes Mendes marcoandre@ifc-araquari.edu.br marcoandre@gmail.com marcoandre.googlepages.com Algoritmos é a base Primeiro programa Este programa possui apenas uma
Leia maisProgramação Universidade da Beira Interior Departamento de Informática 2007/08
Programação Universidade da Beira Interior Departamento de Informática 1. Faça o fluxograma e o respectivo programa que resolva equações de 2º grau (ax 2 +bx+c=0). O programa deverá pedir ao utilizador
Leia maisn. 25 DIAGRAMAS DE VENN
n. 25 DIAGRAMAS DE VENN Foi o matemático inglês John Venn (1834-1923) que criou os diagramas, com o intuito de facilitar a compreensão na relação de união e intersecção entre conjuntos. John Venn desenvolveu
Leia maisNotas de Aula Álgebra Linear. Elton José Figueiredo de Carvalho Escola de Ciências e Tecnologia Universidade Federal do Rio Grande do Norte
Notas de Aula Álgebra Linear Elton José Figueiredo de Carvalho Escola de Ciências e Tecnologia Universidade Federal do Rio Grande do Norte Versão 201608221232c de 22 de agosto de 2016 Parte I Espaços vetoriais
Leia maisMESTRADO PROFISSIONAL EM MATEMÁTICA EM REDE NACIONAL. ENQ Gabarito
MESTRADO PROFISSIONAL EM MATEMÁTICA EM REDE NACIONAL ENQ 2017.1 Gabarito Questão 01 [ 1,25 ] Determine as equações das duas retas tangentes à parábola de equação y = x 2 2x + 4 que passam pelo ponto (2,
Leia maisFundamentos 1. Lógica de Predicados
Fundamentos 1 Lógica de Predicados Predicados e Quantificadores Estudamos até agora a lógica proposicional Predicados e Quantificadores Estudamos até agora a lógica proposicional A lógica proposicional
Leia maisAT1-3 Introdução à Matemática Discreta
BACHARELADO EM SISTEMAS DE INFORMAÇÃO EaD UAB/UFSCar Matemática Discreta Profa. Dra. Heloisa de Arruda Camargo AT1-3 Introdução à Matemática Discreta Nesta unidade, após uma breve explicação geral sobre
Leia maiscomo aproximar bem números reais por números racionais
Frações contínuas: como aproximar bem números reais por números racionais Carlos Gustavo Moreira - IMPA A teoria de frações contínuas é um dos mais belos assuntos da Matemática elementar, sendo ainda hoje
Leia maisConceitos básicos de algoritmos
Conceitos básicos de algoritmos Operadores Aritméticos Unários: +, - Exemplos: +1-5.9... var a: inteiro... a
Leia maisJuliana Kaizer Vizzotto. Universidade Federal de Santa Maria. Disciplina de Teoria da Computação
Universidade Federal de Santa Maria Disciplina de Teoria da Computação Quais são as capacidades e limitações fundamentais dos computadores? Funções Computáveis Algoritmo: descrição finitade uma computação
Leia maisFábio Rodrigues / Israel Lucania
Fábio Rodrigues / Israel Lucania Variável é um local na memória principal, isto é, um endereço que armazena um conteúdo. Em linguagem de alto nível nos é permitido dar nomes a esse endereço, facilitando
Leia maisParadigmas de programação
Paradigmas de programação 1 Paradigma? Um paradigma é algo que serve de exemplo ou modelo. Sinônimos: Padrão Prototipo 2 Paradigma de programação? É uma proposta tecnológica. Fornece uma visão do programador
Leia maisUniversidade Federal de Alfenas
Universidade Federal de Alfenas Linguagens Formais e Autômatos Aula 04 Linguagens Formais humberto@bcc.unifal-mg.edu.br Última aula... Relação da teoria dos conjuntos com LFA; Relação dos grafos com LFA.
Leia maisUnidade IV. Unidade III. Na álgebra booleana, estão todos os fundamentos da eletrônica digital.
Unidade IV 9 INTRODUÇÃO À ÁLGEBRA DE BOOLE Na álgebra booleana, estão todos os fundamentos da eletrônica digital 91 Operador binário O sistema numérico surgiu ao longo da história do desenvolvimento humano
Leia maisEstruturas de Dados, Análise de Algoritmos e Complexidade Estrutural. Carlos Alberto Alonso Sanches
CT-234 Estruturas de Dados, Análise de Algoritmos e Complexidade Estrutural Carlos Alberto Alonso Sanches CT-234 2) Algoritmos recursivos Indução matemática, recursão, recorrências Indução matemática Uma
Leia maisConceitos Básicos. Professor: Juliano Lucas Gonçalves.
Conceitos Básicos Professor: Juliano Lucas Gonçalves juliano.goncalves@ifsc.edu.br Agenda Revisão Algoritmos Memória, variáveis e constantes Estrutura básica de um algoritmo em pseudocódigo 2 O que já
Leia maisProdutos de potências racionais. números primos.
MATEMÁTICA UNIVERSITÁRIA n o 4 Dezembro/2006 pp. 23 3 Produtos de potências racionais de números primos Mário B. Matos e Mário C. Matos INTRODUÇÃO Um dos conceitos mais simples é o de número natural e
Leia maisFundamentos da Teoria da Computação
Fundamentos da Teoria da Computação Primeira Lista de Exercícios - Aula sobre dúvidas da lista Sérgio Mariano Dias 1 1 UFMG/ICEx/DCC Entrega da 1 a lista: 31/03/2009 Sérgio Mariano Dias (UFMG) Fundamentos
Leia maisAula 7: Portas Lógicas: AND, OR, NOT, XOR, NAND e NOR
Aula 7: Portas Lógicas: AND, OR, NOT, XOR, NAND e NOR Conforme discutido na última aula, cada operação lógica possui sua própria tabela verdade. A seguir será apresentado o conjunto básico de portas lógicas
Leia maisComputação Fiável Indução - exercícios básicos
Computação Fiável Indução - exercícios básicos Simão Melo de Sousa 17 de Outubro de 2011 Conteúdo 1 Indução Estrutural 1 2 Indução Bem Fundada 9 1 Indução Estrutural Exercício 1 Demonstre por indução estrutural
Leia maisEXPRESSÕES ARITMÉTICAS PARTE 1
AULA 5 EXPRESSÕES ARITMÉTICAS PARTE 1 5.1 Operadores aritméticos Os operadores aritméticos definem as operações aritméticas que podem ser realizadas sobre os números inteiros e reais. Para os inteiros,
Leia maisAutômatos e Linguagens
Autômatos e Linguagens Eduardo Ferreira dos Santos Ciência da Computação Centro Universitário de Brasília UniCEUB Agosto, 2016 1 / 41 Sumário 1 Compiladores 2 Linguagens de programação 3 Ciência dos compiladores
Leia maisLinguagens de Programação. Marco A L Barbosa
Expressões e sentença de atribuição Linguagens de Programação Marco A L Barbosa cba Este trabalho está licenciado com uma Licença Creative Commons - Atribuição-CompartilhaIgual 4.0 Internacional. http://github.com/malbarbo/na-lp-copl
Leia maisPROVA ESPECÍFICA MODELO. Duração da prova: 120 minutos
Página 1 de 9 Provas especialmente adequadas destinadas a avaliar a capacidade para a frequência do ensino superior dos maiores de 23 anos, Decreto-Lei n.º 64/2006, de 21 de Março AVALIAÇÃO DA CAPACIDADE
Leia mais14/03/2014. Tratamento de Incertezas TIC Aula 1. Conteúdo Espaços Amostrais e Probabilidade. Revisão de conjuntos. Modelos Probabilísticos
Tratamento de Incertezas TIC-00.176 Aula 1 Conteúdo Espaços Amostrais e Probabilidade Professor Leandro Augusto Frata Fernandes laffernandes@ic.uff.br Material disponível em http://www.ic.uff.br/~laffernandes/teaching/2014.1/tic-00.176
Leia maisCapítulo 0: Conjuntos, funções, relações
Capítulo 0: Conjuntos, funções, relações Notação. Usaremos Nat para representar o conjunto dos números naturais; Int para representar o conjunto dos números inteiros. Para cada n Nat, [n] representa o
Leia maisCurso: Ciência da Computação Turma: 6ª Série. Teoria da Computação. Aula 2. Conceitos Básicos da Teoria da Computação
Curso: Ciência da Computação Turma: 6ª Série Aula 2 Conceitos Básicos da Computação pode ser definida como a solução de um problema ou, formalmente, o cálculo de uma função, através de um algoritmo. A
Leia maisO verbo induzir significa gerar. Nesta aula, começaremos a ver o assunto Indução Matemática
Polos Olímpicos de Treinamento Curso de Álgebra - Nível 2 Prof. Marcelo Mendes Aula 6 Indução - Parte I O verbo induzir significa gerar. Nesta aula, começaremos a ver o assunto Indução Matemática (ou Indução
Leia mais1. 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. AL. 1 sem. 2015 Prof. Fabiano Borges da Silva 1 Matrizes Notações: 0 para matriz nula; I para matriz identidade; 1. Conhecendo-se somente os produtos AB e AC calcule A(B + C) B t A
Leia maisLISTA DE EXERCÍCIOS. [01] Determine o domínio natural (efetivo/maximal) de cada uma das funções indicadas abaixo.
LISTA DE EXERCÍCIOS Matemática Básica Humberto José Bortolossi http://www.professores.uff.br/hjbortol/ 06 Função raiz quadrada, funções da forma y = f(x) = a 2 x 2, funções potência [01] Determine o domínio
Leia maisÁLGEBRA LINEAR. Subespaços Vetoriais. Prof. Susie C. Keller
ÁLGEBRA LINEAR Subespaços Vetoriais Prof. Susie C. Keller Às vezes, é necessário detectar, dentro de um espaço vetorial V, subconjuntos S que sejam espaços vetoriais menores. Tais conjuntos S são chamados
Leia maisBCC402 Algoritmos e Programação Avançada Prof. Marco Antonio M. Carvalho Prof. Túlio Ângelo M. Toffolo 2011/1
BCC402 Algoritmos e Programação Avançada Prof. Marco Antonio M. Carvalho Prof. Túlio Ângelo M. Toffolo 2011/1 Na aula anterior Prova 2 Na aula de hoje Técnicas básicas de contagem; Tentativa e Erro; Recursividade.
Leia mais