Matemática Discreta para Computação: Prova 1 06/09/2017

Documentos relacionados
UNIVERSIDADE TECNOLÓGICA FEDERAL DO PARANÁ Campus Pato Branco ENGENHARIA DE COMPUTAÇÃO. Prova Parcial 1 Matemática Discreta para Computação

UNIVERSIDADE TECNOLÓGICA FEDERAL DO PARANÁ Campus Pato Branco ENGENHARIA DE COMPUTAÇÃO Prova Parcial 1 Matemática Discreta para Computação

Prova Parcial 1 com peso de 0,2 na média Matemática Discreta para Computação Aluno(a): Data: 12/04/2012

UNIVERSIDADE FEDERAL DO RIO DE JANEIRO DEPARTAMENTO DE CIÊNCIAS DA COMPUTAÇÃO. 5 a Lista de Exercícios

INE0003 FUNDAMENTOS DE MATEMÁTICA DISCRETA

4.1 Preliminares. No exemplo acima: Dom(R 1 ) = e Im(R 1 ) = Dom(R 2 ) = e Im(R 2 ) = Dom(R 3 ) = e Im(R 3 ) = Diagrama de Venn

Matemática para Ciência de Computadores

Matemática Discreta. Aula nº 22 Francisco Restivo

Programa. 1 Parte 1 - Conjuntos e Aplicações. 1 Conjuntos. 4 Indução Matemática e Divisibilidade. 5 Congruências Lineares

Instituto de Computação - Universidade Federal Fluminense Teoria dos Grafos - Lista de exercícios

Instituto de Computação - Universidade Federal Fluminense Teoria dos Grafos - Lista de exercícios

Percursos em um grafo

Lista de Exercícios 9 (Extra): Soluções Grafos

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...

GRAFOS Aula 02 Formalização: definições Max Pereira

Combinando relações. Exemplo Seja A = {1, 2, 3} e B = {1, 2, 3, 4}. As relações

Matemática para Ciência dos Computadores 30 de Dezembro, Docente: Luís Antunes & Sandra Alves

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

ELEMENTOS DE MATEMÁTICA DISCRETA Exame de Segunda Data 18/01/2011

1. Prove que (a+b) c = a c+b c para todo a, b, c em ZZ /mzz. (Explique cada passo).

Matemática Discreta Bacharelado em Sistemas de Informação Resolução - 3ª Lista de Exercícios RESOLUÇÃO

Referências e materiais complementares desse tópico

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

Tópicos de Matemática Finita Data: a Época Código: 2D. I II-1 II-2 II-3 II-4 III-1 III-2 III-3 III-4 IV-1 IV-2 IV-3 IV-4 Nota Final

GRAFOS E ALGORITMOS TEORIA DE GRAFOS

Percursos em um grafo

Matemática Discreta Parte 11

Aula 2 Definições, Conceitos Básicos e Representação Interna de Grafos. Teoria dos Grafos Prof.

PERCURSOS. André Falcão, Carlos Augusto, Rafael Broédel e Lucas Dipré

Lista de Exercícios CT-200 Primeiro Bimestre Carlos Henrique Quartucci Forster Estagiário: Wesley Telles. Revisão de Teoria de Conjuntos

Criptografia e Segurança das Comunicações. das Comunicações Bases Matemáticas - Relações e Ordens

CONCEITOS BÁSICOS EM GRAFOS

Matemática para Ciência de Computadores

Planaridade UFES. Teoria dos Grafos (INF 5037)

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

RESOLUÇÃO DCC-UFRJ MATEMÁTICA COMBINATÓRIA 2006/2 PROVA Considere a soma. S n = n 2 n 1

Aula 1: Introdução ao curso

1 Números Reais. 1. Simplifique as seguintes expressões (definidas nos respectivos domínios): b) x+1. d) x 2, f) 4 x 4 2 x, g) 2 x2 (2 x ) 2, h)

Instituto de Computação Universidade Federal Fluminense. Notas de Aula de Teoria dos Grafos. Prof. Fábio Protti Niterói, agosto de 2015.

Curso: Ciência da Computação Disciplina: Matemática Discreta RELAÇÕES. Prof.: Marcelo Maraschin de Souza

GRAFOS: UMA INTRODUÇÃO

Tópicos de Matemática Finita 1 a Chamada 30 de Junho de 2001

Tópicos de Matemática Finita 1 a Chamada 30 de Junho de 2001

Faculdade de Informática e Tecnologia de Pernambuco. Primeira lista de exercícios de Álgebra Aplicada à Computação Prof. Diego Machado Dias

Noções da Teoria dos Grafos

g) 2 x2 (2 x ) 2, 6 x i) x 2 x + 2, j) k) log ( 1 l) log ( 2x 2 + 2x 2) + log ( x 2

ESTRUTURAS DISCRETAS (INF 1631) GRAFOS. 1. O que é um grafo? Defina um grafo orientado. Defina um grafo não-orientado.

Noções da Teoria dos Grafos. André Arbex Hallack

BCC204 - Teoria dos Grafos

BCC204 - Teoria dos Grafos

Noções da Teoria dos Grafos. André Arbex Hallack

Universidade Federal de Viçosa Centro de Ciências Exatas e Tecnológicas Departamento de Matemática

UNIVERSIDADE TECNOLÓGICA FEDERAL DO PARANÁ Campus Pato Branco ENGENHARIA DE COMPUTAÇÃO. Prova Parcial 1 Matemática Discreta para Computação 2011

GAN Matemática Discreta Professores Renata de Freitas e Petrucio Viana. Lista A

Matemática Discreta - Exercícios de Grafos

Tópicos de Matemática Finita Data: I II-1 II-2 II-3 II-4 III-1 III-2 III-3 III-4 IV-1 IV-2 IV-3 IV-4 Nota Final

MATEMÁTICA DISCRETA. Patrícia Ribeiro 2018/2019. Departamento de Matemática, ESTSetúbal 1 / 47

Oferta de Serviços. Grafo Planar. Notas. Teoria dos Grafos - BCC204, Planaridade. Notas

Lista de Exercícios sobre Conjuntos

Circuitos Hamiltorianos

Departamento de Matemática da Universidade de Aveiro Matemática Discreta. A prova consta de 4 questões cada uma cotada com 5 valores.

Circuitos Eulerianos Ciclos Hamiltonianos O Problema do Caixeiro Viajante CAMINHAMENTOS BASEADO EM TOWNSEND (1987), CAP. 7.

Capítulo 2. Conjuntos Infinitos

Matemática discreta e Lógica Matemática

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)

Introdução ao Curso. Área de Teoria DCC/UFMG 2019/01. Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG /01 1 / 22

Teoria dos Grafos. Edson Prestes

Tópicos de Matemática Finita Data: a Chamada Correcção Código: 2D

Tópicos de Matemática Finita Data: I II-1 II-2 II-3 II-4 III-1 III-2 III-3 III-4 IV-1 IV-2 IV-3 IV-4 Nota Final

GRAFOS. Prof. André Backes. Como representar um conjunto de objetos e as suas relações?

Geradores e relações

EXERCÍCIOS DO CAPÍTULO 1

Universidade Federal de Viçosa Centro de Ciências Exatas Departamento de Matemática MAT Introdução à Álgebra 2015/I

Teoria dos Grafos Aula 3 - Planaridade

Universidade Federal de Viçosa Departamento de Matemática III LISTA DE MAT INTRODUÇÃO À ÁLGEBRA

MÓDULO 41. Funções II. Ciências da Natureza, Matemática e suas Tecnologias MATEMÁTICA

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

Matemática Aplicada às Ciências Sociais- 11º ano (Versão: para o manual a partir de 2016/17)

ANÁLISE COMBINATÓRIA

INE0003 FUNDAMENTOS DE MATEMÁTICA DISCRETA

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

Teoria dos Grafos. Edson Prestes

Planaridade AULA. ... META Introduzir o problema da planaridade de grafos. OBJETIVOS Ao final da aula o aluno deverá ser capaz de:

Cap. 2 Conceitos Básicos em Teoria dos Grafos

Capítulo 2. Conjuntos Infinitos. 2.1 Existem diferentes tipos de infinito

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

Pré-Cálculo. Humberto José Bortolossi. Aula de maio de Departamento de Matemática Aplicada Universidade Federal Fluminense

Alg l ori r t i m t os e E str t u r tu t ra r s d e D ados I I Intr t o r duçã ç o ã a a Gr G a r f a o f s P of o a. M. C r C ist s ina n a /

Algoritmos e Estruturas de Dados II Introdução a Grafos. Divisão do arquivo

Conteúdo. Conceitos e Resultados Gerais. 11 Combinatória. Introdução

Matemática Discreta. Fundamentos e Conceitos da Teoria dos Números. Universidade do Estado de Mato Grosso. 4 de setembro de 2017

Conceitos básicos de Teoria da Computação

Contando o Infinito: os Números Cardinais

CI065 CI755 Algoritmos e Teoria dos Grafos

exercícios de análise numérica II

1. Entre as funções dadas abaixo, verifique quais são transformações lineares: x y z

Transcrição:

Matemática Discreta para Computação: Prova 1 06/09/2017 Aluno(a): 1. Considere as premissas: Se o universo é finito, então a vida é curta., Se a vida vale a pena, então a vida é complexa., Se a vida é curta ou complexa, então a vida tem sentido., A vida não tem sentido. Verifique, usando regras de inferência e equivalências lógicas, quais das conclusões podem ser inferidas: a) Se o universo é finito e a vida vale a pena, então a vida tem sentido. b) A vida não é curta. c) A vida não é complexa ou o universo não é finito. d) A vida vale a pena se e somente se a vida tem sentido. 2. Escreva cada uma das afirmações a seguir em notação simbólica usando as letras de proposição D, C, A. a. Se o cavalo estiver descansado, o cavaleiro vencerá. b. O cavaleiro só vencerá se o cavalo estiver descansado e a armadura for forte. c. Um cavalo descansado é uma condição necessária para o cavaleiro vencer. d. O cavaleiro vencerá se e somente se a armadura for forte. e. Uma condição suficiente para o cavaleiro vencer é que a armadura seja forte ou o cavalo esteja descansado.

3. Escreva cada afirmação a seguir usando quantificadores. A seguir verifique se é possível chegar a alguma conclusão a partir das hipóteses dadas. Escreva a conclusão encontrada e indique as regras usadas. a. Todas as flores são plantas. Violetas são flores. b. Todas as flores são vermelhas ou roxas. Lírios são flores. Lírios não são roxos. 4. Demonstre que A soma de um inteiro com seu quadrado é par. Diga qual prova usou. 5. Conjuntos a. Determine o conjunto A se o conjunto potência de A esta dado por {Ø, {a}, {Ø, {a}}} b. Quais das proposições a seguir são verdadeiras para todos os conjuntos A, B e C? Justifique Se A B e B A, então A = B. {Ø} = Ø {Ø} = {0} Ø {Ø} Ø A

Matemática Discreta para Computação: Prova 2-18/10/2017 Aluno(a): 1. (1,5p) Quais propriedades deve cumprir uma função para ser bem definida? Determine se as funções a seguir são bem definidas, justifique: a. f: Z + Z + Z, f(x, y) = x+y x 2 b. g: Z+ R, g(x) = x3 1 x 2 2. (1,5p) Quais propriedades deve cumprir uma função para possuir inversa? Encontre as inversas das funções ou justifique porque não tem inversa: a. f: R R, f(x) = x x b. g: RxR RxR, g(x, y) = (y + 1, x + 1) 3. (2p) Prove usando indução matemática que 2n + 3 2 n para qualquer inteiro positivo n 4 4. (0,25p) Quantas palavras de oito letras do alfabeto da língua portuguesa são possíveis, se devem iniciar com as letras BO (nesta ordem) e terminar com a letra X? (as outras letras podem ser repetidas)

5. (0,75p) Mostre que se há 30 estudantes em uma sala, então pelo menos dois têm sobrenomes que começam com a mesma letra. 6. (2p) Quantas soluções possíveis há para a equação: x 1 + x 2 + x 3 + x 4 = 20 se x 1 3? k n n 7. (2p) Mostre que se n e k são inteiros positivos com 1 k n, então k 1 k 2

Matemática Discreta para Computação: Prova 3 04/12/2017 Aluno(a): 1. (1p) Seja R a relação que contem o par (a, b) se a e b forem cidades, tal que existe um Vôo direto sem escalas de a para b. Quando é que um para (a, b) está na relação a. R 2? b. R 3? c. R? 2. (1p) Quais propriedades deve ter uma relação para ser uma relação de equivalência? Determine se R no conjunto de todas as pessoas é uma relação de equivalência R = {(a, b) a e b falam uma mesma língua} 3. (1p) Defina uma relação de equivalência no conjunto Estados do Brasil e determine as classes de equivalência para essa relação. 4. (1p) Defina relação de ordem parcial e verifique se a relação representada pela matriz zero-um (Figura 1) é de ordem parcial. Justifique. 5. (1p) Defina reticulado e determine se o POSET com o Diagrama de Hasse mostrado na Figura 2 é um reticulado. 1 1 1 0 1 1 1 0 [ ] 0 0 1 1 1 1 0 1 Figura 1 Figura 2 6. (0,5p) Desenhe os seguintes grafos: simples, multigrafo, pseudogrado, dirigido, multigrafo dirigido. 7. (0,5p) É possível existir um grafo simples com 15 vértices, cada um de grau 5? Justifique. 8. (1,5p) Para quais valores de n estes grafos são bipartidos? a. Kn b. Cn c. Wn 9. (1p) Defina circuito e trajeto Euleriano e mostre o circuito e/ou trajeto Euleriano no grafo da Figura 3 caso exista. 10. (1p) Defina circuito Hamiltoniano e mostre o circuito Hamiltoniano no grafo da Figura 4 caso exista. 11. (0,5p) Escreva o Teorema de Kuratowski sobre planaridade de grafos. É possível desenhar o grafo planar do grafo da Figura 5? Se sim, indique as regiões planares desse grafo. Figura 3 Figura 4 Figura 5

Matemática Discreta para Computação: Prova substitutiva 12/12/2017 Aluno(a): 1. (0,5p) Seja A o conjunto de estudantes que mora a um quilómetro de distancia da faculdade e B, o conjunto dos estudantes que vão a pé para as aulas. Descreva quais são os estudantes em cada conjunto abaixo: a) A B b) A B 2. (1,5p) De um exemplo de uma função dos Naturais para os Naturais que é: a) Injetora, mas não Sobrejetora b) Nem Injetora nem Sobrejetora. 3. (0,8p) O somatório de uma sequencia pode ser representado pela notação mostrada na Equação 1. a) Explique o que significa cada termo do somatório. a j j=m Equação1 b) Utilize a Equação 1 e represente a soma da sequência: 1 +1/4 + 1/9 + 1/16 + 1/25 +... 4. (1,5p) Verifique todas as propriedades de uma Relação de equivalência para R definida sobre o conjunto de todos os números reais e de termine se é uma Relação de equivalência R = {(x, y) x = ±y} 5. (1p) Explane como se determinam os fechos: reflexivo e simétrico de uma relação usando a representação em matriz. Coloque um exemplo para cada fecho. 6. (1p) Explane como se determina o fecho transitivo de uma relação. Coloque um exemplo. 7. (1p) Defina: (a) Relação de ordem parcial (b) Relação de ordem total. 8. (1,2p) Para quais valores de n estes grafos possuem circuitos euleriano? a. Kn b. Cn c. Wn 9. (1p) Justifique a existência de Circuito ou Trajeto Euleriano na Figura 1 e redesenhe mostrando o circuito ou trajeto. 10. (0,5p) Determine se o par de grafos mostrados na Figura 2 é isomorfo. Mostre as funções arestaaresta. n Figura 1 Figura 2