INE0003 FUNDAMENTOS DE MATEMÁTICA DISCRETA
|
|
|
- Leandro Neves Gama
- 7 Há anos
- Visualizações:
Transcrição
1 INE0003 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/51
2 6 - RELAÇÕES DE ORDENAMENTO 6.1) Conjuntos parcialmente ordenados (posets) 6.2) Extremos de posets 6.3) Reticulados 6.4) Álgebras Booleanas Finitas 6.5) Funções Booleanas Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.2/51
3 RETICULADOS (P (S), ) Vamos restringir nossa atenção aos reticulados do tipo (P (S), ), onde S é um conjunto finito. Muitas propriedades que não valem para reticulados em geral. Por isto, são mais fáceis de trabalhar Têm papel importante em muitas aplicações na Ciência da Computação: construção de representações lógicas para os circuitos do computador estudo de cifradores simétricos, na Criptografia Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.3/51
4 RETICULADOS (P (S), ) Teorema: Sejam S 1 = {x 1, x 2..., x n } e S 2 = {y 1, y 2..., y n } dois conjuntos finitos quaisquer com n elementos. Então os reticulados (P (S 1 ), ) e (P (S 2 ), ) são isomórficos ou seja, seus diagramas de Hasse são idênticos Prova: arranjar os conjuntos e definir a seguinte f: subconj. A {}}{ S 1 : x 1 x 2... x n S 1 : x 1 x 2 x 3 x 4... x n S 2 : y 1 y 2... y n S 2 : y 1 y 2 y 3 y }{{} 4... y n subconj. f(a) Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.4/51
5 RETICULADOS (P (S), ) Prova (cont.): f(a): elementos de S 2 que correspondem aos elementos de A f: bijeção de subconjuntos de S 1 para subconjuntos de S 2 além disto, se A e B são subconjuntos quaisquer de S 1 : A B f(a) f(b) Logo, os reticulados (P (S 1 ), ) e (P (S 2 ), ) são isomórficos. Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.5/51
6 RETICULADOS (P (S), ) Logo: a condição de poset do reticulado (P (S), ) é determinada pelo número S e não depende da natureza dos elementos de S. Exemplo: Sejam os posets: (P (S), ), S = {a, b, c}: (P (T ), ), T = {2, 3, 5}: Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.6/51
7 RETICULADOS (P (S), ) Note que os 2 reticulados são isomórficos, sendo um possível isomorfismo f : P (S) P (T ) dado por: f({a}) = {2} f({b}) = {3} f({c}) = {5} f({a, b}) = {2, 3} f({b, c}) = {3, 5} f({a, c}) = {2, 5} f({a, b, c}) = {2, 3, 5} Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.7/51
8 RETICULADOS (P (S), ) Conclusão: para cada n = 0, 1, 2,..., há apenas um tipo de reticulado com a forma (P (S), ) o qual depende apenas de n (e não de S) e tem 2 n elementos (= nro de possíveis subconjuntos de S). Pode-se, portanto, tomar um diagrama de Hasse genérico para (P (S), ) e rotulá-lo assim: Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.8/51
9 RETICULADOS (P (S), ) Rotulando desta forma, este diagrama serve para descrever os 2 reticulados anteriores. Melhor: para descrever um reticulado (P (S), ) originado de qualquer conjunto S com 3 elementos. Se o diagrama de Hasse do reticulado correspondente a um conjunto com n elementos é rotulado desta forma (seqüências de 0s e 1s de comprimento n), o reticulado resultante é chamado de B n. Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.9/51
10 PROPRIEDADES DO ORDENAMENTO PARCIAL EM B n Sejam 2 elementos de B n : x = a 1 a 2... a n e y = b 1 b 2... b n. Então: x y se e somente se a k b k para k = 1, 2,..., n x y = c 1 c 2... c n, onde c k = min{a k, b k } x y = d 1 d 2... d n, onde d k = max{a k, b k } o complemento de x é dado por x = z 1 z 2... z n z k = 1 se x k = 0 z k = 0 se x k = 1, onde: Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.10/51
11 PROPRIEDADES DO ORDENAMENTO PARCIAL EM B n Estas afirmações podem ser confirmadas pela observação de que (B n, ) é isomórfico a (P (S), ): x, y B n correspondem a subconjuntos A e B de S então: x y corresponde a A B x y corresponde a A B x y corresponde a A B x corresponde a A Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.11/51
12 RETICULADOS B n Diagramas de Hasse dos reticulados B 0, B 1, B 2 e B 3 : n=0: n=1: n=2: n=3: Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.12/51
13 RETICULADOS B n Todo reticulado (P (S), ) é isomórfico com B n, onde n = S. Outros reticulados também podem ser isomórficos com algum B n. Possuindo todas as propriedades especiais que o B n possui. Exemplo: D 6 (divisores de 6, ordem parcial de divisibilidade). Isomorfismo f : D 6 B 2 dado por: f(1) = 00 f(2) = 10 f(3) = 01 f(6) = 11 Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.13/51
14 ÁLGEBRAS BOOLEANAS Em geral: um reticulado finito é chamado de Álgebra Booleana se ele for isomórfico com algum B n. Portanto: todo B n é uma Álgebra Booleana assim como todo reticulado (P (S), ). Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.14/51
15 ÁLGEBRAS BOOLEANAS Exemplo: reticulados D 20 e D 30 (divisores de 20 e 30, ordem parcial de divisibilidade): Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.15/51
16 ÁLGEBRAS BOOLEANAS Exemplo (cont.): D 20 tem 6 elementos: 6 2 n D 20 não é uma Álgebra Booleana Já o poset D 30 tem 8 elementos: 8 = 2 3 chance de ser Álgebra Booleana note que D 30 é isómórfico com B 3 com isomorfismo f : D 30 B 3 dado por: f(1) = 000 f(2) = 100 f(3) = 010 f(5) = 001 f(6) = 110 f(10) = 101 f(15) = 011 f(30) = 111 portanto, D 30 é uma Álgebra Booleana. Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.16/51
17 ÁLGEBRAS BOOLEANAS CONCLUSÃO: Se um reticulado L não contém 2 n elementos, sabemos que L não pode ser uma Álgebra Booleana. Se L = 2 n, então L pode ou não ser uma Álgebra Booleana. Se L for pequeno, pode-se tentar comparar o seu diagrama de Hasse com o de B n no entanto, esta técnica pode não ser prática se L for grande aí tenta-se construir diretamente um isomorfismo com B n ou com (P (S), ) Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.17/51
18 ÁLGEBRAS BOOLEANAS GRANDES Para ver se um dado reticulado D n (n grande) é Álgebra Booleana: Teorema: Seja n = p 1 p 2... p k onde os p i são primos distintos. Então D n é uma Álgebra booleana. Prova: Seja S = {p 1, p 2,..., p k }. Todo divisor de n deve ser da forma a T, onde: a T é o produto dos primos em algum subconjunto T de S (nota: a = 1) Aí, se V e T são subconjuntos de S: V T se e somente se a V a T a V T = a V a T (= MDC(a V, a T )) a V T = a V a T (= MMC(a V, a T )) Logo, f : P (S) D n, dada por f(t ) = a T, é um isomorfismo de P (S) para D n Então, como (P (S), ) é uma Álgebra Booleana, D n também o é. Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.18/51
19 ÁLGEBRAS BOOLEANAS GRANDES Exemplo: 210 = D 210 é Álgebra Booleana 66 = D 66 é Álgebra Booleana 646 = D 646 é Álgebra Booleana Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.19/51
20 ÁLGEBRAS BOOLEANAS GRANDES Outros casos de reticulados L grandes: tentar mostrar que L não é uma Álgebra Booleana mostrando que o ordenamento parcial de L não apresenta as propriedades necessárias. Exemplo: uma Álg. Booleana é sempre isomórfica com algum B n e, portanto, com algum reticulado (P (S), ). Logo, se o reticulado L for uma Álgebra Booleana: ele deverá ser limitado (deverá possuir LUB e GLB) cada um dos seus elementos deverá possuir um complemento Ou seja, para que L seja reticulado: L deverá ter um maior elemento I ( S) e um menor elemento O ( ) todo elemento x de L deverá ter um complemento x Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.20/51
21 ÁLGEBRAS BOOLEANAS O Princípio da Correspondência entre posets ajuda a estabelecer propriedades das Álgebras Booleanas. Teorema (REGRA DA SUBSTITUIÇÃO): Toda fórmula que envolve e, ou que vale para subconjuntos arbitrários de um conjunto S, continuará a valer para elementos arbitrários de uma Álgebra Booleana L se: for substituído por for substituído por Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.21/51
22 ÁLGEBRAS BOOLEANAS Exemplo: Se x, y e z são elementos de uma Álgebra Booleana qualquer L, valem: (a) (x ) = x (b) (x y) = x y (c) (x y) = x y involução 1a. lei de De Morgan 2a. lei de De Morgan Isto vale para Álgebras booleanas, pois sabemos que as fórmulas: (a ) (A) = A (b ) (A B) = A B (c ) (A B) = A B valem para subconjuntos arbitrários A e B de um conjunto S. Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.22/51
23 PROPRIEDADES DAS ÁLGEBRAS BOOLEANAS (L, ) De maneira similar, podemos listar outras propriedades que devem valer em qualquer Álgebra Booleana em conseqüência da regra de substituição. Na tabela a seguir: x, y e z são elementos arbitrários em L A, B e C são subconjuntos arbitrários de S I e O denotam o maior e o menor elemento de L, respectivamente. Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.23/51
24 PROPRIEDADES DAS ÁLGEBRAS BOOLEANAS (L, ) (1/2) Algumas propriedades básicas de uma Álgebra Booleana (L, ) Propriedade correspondente para subconjuntos de um conjunto S 1) x y se e somente se x y = y 1 ) A B se e somente se A B = B 2) x y se e somente se x y = x 2 ) A B se e somente se A B = A 3) (a) x x = x 3 ) (a) A A = A (b) x x = x (b) A A = A 4) (a) x y = y x 4 ) (a) A B = B A (b) x y = y x (b) A B = B A 5) (a) x (y z) = (x y) z 5 ) (a) A (B C) = (A B) C (b) x (y z) = (x y) z (b) A (B C) = (A B) C 6) (a) x (x y) = x 6 ) (a) A (A B) = A (b) x (x y) = x (b) A (A B) = A 7) O x I, x L 7 ) A S, A P (S) 8) (a) x O = x 8 ) (a) A = A (b) x O = O (b) A = Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.24/51
25 PROPRIEDADES DAS ÁLGEBRAS BOOLEANAS (L, ) (2/2) Algumas propriedades básicas de uma Álgebra Booleana (L, ) Propriedade correspondente para subconjuntos de um conjunto S 9) (a) x I = I 9 ) (a) A S = S (b) x I = x (b) A S = A 10) (a) x (y z) = (x y) (x z) 10 ) (a) A (B C) = (A B) (A C) (b) x (y z) = (x y) (x z) (b) A (B C) = (A B) (A C) 11) Todo elemento x tem um único 11 ) Todo elemento A tem um único (a) x x = I (a) A A = S (b) x x = O (b) A A = 12) (a) O = I 12 ) (a) = S (b) I = O (b) S = 13) (x ) = x 13 ) A = A 14) (a) (x y) = x y 14 ) (a) A B = A B (b) (x y) = x y (b) A B = A B Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.25/51
26 PROPRIEDADES DAS ÁLGEBRAS BOOLEANAS (L, ) Talvez seja possível mostrar que um reticulado L não é Álgebra Booleana mostrando que ele não possui alguma propriedade básica. Exemplo: Mostre que o reticulado abaixo não é Álgebra Booleana: Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.26/51
27 PROPRIEDADES DAS ÁLGEBRAS BOOLEANAS (L, ) Exemplo (cont.): Os elementos a e g são ambos complementos de c ou seja, ambos satisfazem as propriedades 11(a) e 11(b) com respeito ao elemento c. Mas a propriedade estabelece que tal elemento deve ser único em qualquer Álgebra booleana. Logo, o reticulado dado não é uma Álgebra booleana. Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.27/51
28 PROPRIEDADES DAS ÁLGEBRAS BOOLEANAS (L, ) Exemplo: Mostre que se p 2 n, onde p é um primo, então D n não é uma Álgebra Booleana. suponha que p 2 n então n = p 2.q mas p também é divisor de n, de modo que p D n se D n é uma Álg. Booleana, p deve ter um complemento p de modo que MDC(p, p ) = 1 e MMC(p, p ) = n daí temos que p.p = n de modo que p = n/p = p.q mas isto significa que MDC(p, p.q) teria que ser 1 (!!) Logo, D n não pode ser uma Álg. Booleana. Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.28/51
29 PROPRIEDADES DAS ÁLGEBRAS BOOLEANAS (L, ) Na verdade, de acordo com um teorema já visto, Seja n = p 1 p 2... p k onde os p i são primos distintos. Então D n é uma Álgebra booleana. concluímos que: D n é uma Álgebra Booleana se e somente se nenhum primo divide n mais do que uma vez. Exemplo: 40 = e 125 = Então: nem D 40 nem D 125 podem ser Álgebras Booleanas. Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.29/51
30 ÁLGEBRAS BOOLEANAS Final deste item. Dica: fazer exercícios sobre Álgebras Booleanas... Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.30/51
INE0003 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE0003 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/3 6 - RELAÇÕES DE ORDENAMENTO 6.1) Conjuntos parcialmente
INE5403 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/31 7 - ESTRUTURAS ALGÉBRICAS 7.1) Operações Binárias
INE5403 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/23 7 - ESTRUTURAS ALGÉBRICAS 7.1) Operações Binárias
INE5403 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/42 7 - ESTRUTURAS ALGÉBRICAS 7.1) Operações Binárias
INE5403 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/26 3 - INDUÇÃO E RECURSÃO 3.1) Indução Matemática 3.2)
INE5403 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)
INE5403 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/29 5 - RELAÇÕES 5.1) Relações e Dígrafos 5.2) Propriedades
INE5403 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/20 4 - INTROD. À ANÁLISE COMBINATÓRIA 4.1) Arranjos
INE5403 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/27 4 - INTROD. À ANÁLISE COMBINATÓRIA 4.1) Arranjos
A2. Cada operação é distributiva sobre a outra, isto é, para todo x, y e z em A, x (y + z) = (x y) + (x z) e x + (y z) = (x + y) (x + z)
Álgebra Booleana Nesta parte veremos uma definição formal de álgebra booleana, que é baseada em um conjunto de axiomas (ou postulados). Veremos também algumas leis ou propriedades de álgebras booleanas.
INE5403 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/20 3 - INDUÇÃO E RECURSÃO 3.1) Indução Matemática 3.2)
INE5403 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/10 3 - INDUÇÃO E RECURSÃO 3.1) Indução Matemática 3.2)
3.4 Álgebra booleana, ordens parciais e reticulados
Notas de aula de MAC0329 (2003) 23 3.4 Álgebra booleana, ordens parciais e reticulados Seja A um conjunto não vazio. Uma relação binária R sobre A é um subconjunto de A A, isto é, R A A. Se (x, y) R, denotamos
INE0003 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE0003 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/52 7 - ESTRUTURAS ALGÉBRICAS 7.1) Operações Binárias
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO MATERIAL EXTRAÍDO DOS LIVROS-TEXTOS (KOLMAN/ROSEN) UFSC - CTC - INE UFSC/CTC/INE p. 1 11 - ESTRUTURAS ALGÉBRICAS 11.1) Operações Binárias 11.2)
INE5403 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/18 4 - INTROD. À ANÁLISE COMBINATÓRIA 4.1) Arranjos
INE5403 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/81 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
Teoria dos Conjuntos. (Aula 6) Ruy de Queiroz. O Teorema da. (Aula 6) Ruy J. G. B. de Queiroz. Centro de Informática, UFPE
Ruy J. G. B. de Centro de Informática, UFPE 2007.1 Conteúdo 1 Seqüências Definição Uma seqüência é uma função cujo domíno é um número natural ou N. Uma seqüência cujo domínio é algum número natural n N
INE5403 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/14 3 - INDUÇÃO E RECURSÃO 3.1) Indução Matemática 3.2)
Reticulados e Álgebras de Boole
Capítulo 3 Reticulados e Álgebras de Boole 3.1 Reticulados Recorde-se que uma relação de ordem parcial num conjunto X é uma relação reflexiva, anti-simétrica e transitiva em X. Um conjunto parcialmente
Teoria Ingênua dos Conjuntos (naive set theory)
Teoria Ingênua dos Conjuntos (naive set theory) MAT 131-2018 II Pouya Mehdipour 5 de outubro de 2018 Pouya Mehdipour 5 de outubro de 2018 1 / 22 Referências ALENCAR FILHO, E. Iniciação à Lógica Matemática,
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...
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
(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
Matemática para Ciência de Computadores
Matemática para Ciência de Computadores 1 o Ano - LCC & ERSI Luís Antunes [email protected] DCC-FCUP Complexidade 2002/03 1 Teoria de Conjuntos Um conjunto é uma colecção de objectos/elementos/membros. (Cantor
(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
Matemática para Ciência de Computadores
Matemática para Ciência de Computadores 1 o Ano - LCC & ERSI Luís Antunes [email protected] DCC-FCUP Complexidade 2002/03 1 Inteiros e divisão Definição: Se a e b são inteiros com a 0, dizemos que a divide
Matemática Discreta. Fundamentos e Conceitos da Teoria dos Números. Universidade do Estado de Mato Grosso. 4 de setembro de 2017
Matemática Discreta Fundamentos e Conceitos da Teoria dos Números Professora Dr. a Donizete Ritter Universidade do Estado de Mato Grosso 4 de setembro de 2017 Ritter, D. (UNEMAT) Matemática Discreta 4
Faculdade de Informática e Tecnologia de Pernambuco. Primeira lista de exercícios de Álgebra Aplicada à Computação Prof. Diego Machado Dias
Faculdade de Informática e Tecnologia de Pernambuco Primeira lista de exercícios de Álgebra Aplicada à Computação Prof. Diego Machado Dias Instruções 1. No início de cada seção da lista há uma sugestão
Matemática Discreta para Ciência da Computação
Matemática Discreta para Ciência da Computação P. Blauth Menezes [email protected] Departamento de Informática Teórica Instituto de Informática / UFRGS Matemática Discreta para Ciência da Computação
Contando 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
INE5403 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/53 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
(Ciência de Computadores) 2005/ Diga quais dos conjuntos seguintes satisfazem o Princípio de Boa Ordenação
Álgebra (Ciência de Computadores) 2005/2006 Números inteiros 1. Diga quais dos conjuntos seguintes satisfazem o Princípio de Boa Ordenação (a) {inteiros positivos impares}; (b) {inteiros negativos pares};
MATEMÁ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
UNIVERSIDADE FEDERAL DE PERNAMBUCO DEPARTAMENTO DE ESTATÍSTICA. Medida e Probabilidade
UNIVERSIDADE FEDERAL DE PERNAMBUCO DEPARTAMENTO DE ESTATÍSTICA Medida e Probabilidade Aluno: Daniel Cassimiro Carneiro da Cunha Professor: Andre Toom 1 Resumo Este trabalho contem um resumo dos principais
Definição. Diremos que um número inteiro d é um divisor de outro inteiro a, se a é múltiplo de d; ou seja, se a = d c, para algum inteiro c.
Divisores Definição. Diremos que um número inteiro d é um divisor de outro inteiro a, se a é múltiplo de d; ou seja, se a = d c, para algum inteiro c. Quando a é múltiplo de d dizemos também que a é divisível
Notas 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).
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
Introdução ao Curso Área de Teoria DCC/UFMG Introdução à Lógica Computacional 2019/01 Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG - 2019/01 1 / 22 Introdução: O que é
Já falamos que, na Matemática, tudo se baseia em axiomas. Já estudamos os números inteiros partindo dos seus axiomas.
Teoria dos Conjuntos Já falamos que, na Matemática, tudo se baseia em axiomas. Já estudamos os números inteiros partindo dos seus axiomas. Porém, não é nosso objetivo ver uma teoria axiomática dos conjuntos.
Matemática Discreta para Computação: Prova 1 06/09/2017
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 é
Se mdc(a,m) = 1, como a é invertível módulo m, a equação. ax b (mod m)
Polos Olímpicos de Treinamento Curso de Teoria dos Números - Nível 3 Carlos Gustavo Moreira Aula 8 Equações lineares módulo n e o teorema chinês dos restos 1 Equações Lineares Módulo m Se mdc(a,m) = 1,
complemento 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
Teoria Combinatória dos Números
Teoria Combinatória dos Números Samuel Feitosa, Yuri Lima, Davi Nogueira 27 de fevereiro de 2004 O objetivo deste artigo é mostrar algumas propriedades dos números inteiros, que combinadas podem originar
Teoria 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
Circuitos Hamiltorianos
Circuitos Hamiltorianos Vimos que o teorema de euler resolve o problema de caracterizar grafos que tenham um circuito em que cada aresta apareça exatamente uma vez. Vamos estudar aqui uma questão relacionada.
INE 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
Teoria Elementar dos Conjuntos
Teoria Elementar dos Conjuntos Última revisão em 27 de fevereiro de 2009 Este texto é uma breve revisão sobre teoria elementar dos conjuntos. Em particular, importam-nos os aspectos algébricos no estudo
INE Fundamentos de Matemática Discreta para a Computação
INE5403 - Fundamentos de Matemática Discreta para a Computação 5) Relações 5.1) Relações e Dígrafos 5.2) Propriedades de Relações 5.3) Relações de Equivalência 5.4) Manipulação de Relações 5.5) Fecho de
INE5403 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/59 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
INE5403 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/81 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
Teoria dos Conjuntos MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES. Fundamentos de Lógica Técnicas Elementares de Prova A NOÇÃO DE CONJUNTO
SUMÁRIO MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES Teoria dos Conjuntos Relações e Funções Fundamentos de Lógica Técnicas Elementares de Prova Newton José Vieira 21 de agosto de 2007 1 A NOÇÃO DE CONJUNTO
Aproximação da Distribuição Binomial pela Distribuição Normal
Aproximação da Distribuição Binomial pela Distribuição Normal Uma das utilidades da distribuição normal é que ela pode ser usada para fornecer aproximações para algumas distribuições de probabilidade discretas.
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
4 Relações 4.1 Preliminares Definição 4.1. Sejam A e B conjuntos. Uma relação binária, R, de A em B é um subconjunto de A B. (R A B) Dizemos que a A está relacionado com b B sss (a, b) R. Notação: arb.
Teorema Chinês dos Restos. Tópicos Adicionais
Teorema Chinês dos Restos Teorema Chinês dos Restos Tópicos Adicionais Tópicos Adicionais Teorema Chinês dos Restos 1 Exercícios Introdutórios Exercício 1. Para cada um dos itens abaixo, encontre o menor
Capítulo 6. Operadores Ortogonais. Curso: Licenciatura em Matemática. Professor-autor: Danilo Felizardo Barboza Wilberclay Gonçalves Melo
Capítulo 6 Operadores Ortogonais Curso: Licenciatura em Matemática Professor-autor: Danilo Felizardo Barboza Wilberclay Gonçalves Melo Disciplina: Álgebra Linear II Unidade II Aula 6: Operadores Ortogonais
Polos Olímpicos de Treinamento. Aula 7. Curso de Teoria dos Números - Nível 2. Aula de Revisão e Aprofundamento. Prof.
Polos Olímpicos de Treinamento Curso de Teoria dos Números - Nível 2 Prof. Samuel Feitosa Aula 7 Aula de Revisão e Aprofundamento Observação 1. É recomendável que o professor instigue seus alunos a pensarem
MAT Topologia Bacharelado em Matemática 2 a Prova - 27 de maio de 2004
MAT 317 - Topologia Bacharelado em Matemática 2 a Prova - 27 de maio de 2004 1 Nome : Número USP : Assinatura : Professor : Severino Toscano do Rêgo Melo 2 3 4 5 Total Podem tentar fazer todas as questões.
A DEFINIÇÃO AXIOMÁTICA DO CONJUNTO DOS NÚMEROS NATURAIS.
A DEFINIÇÃO AXIOMÁTICA DO CONJUNTO DOS NÚMEROS NATURAIS. SANDRO MARCOS GUZZO RESUMO. A construção dos conjuntos numéricos é um assunto clássico na matemática, bem como o estudo das propriedades das operações
PORTAS NOR e NAND OR - AND - NOT. Considerando as entradas A e B, teremos na saída a complementação ou negação das mesmas.
PORTAS NOR e NAND As portas NOR e NAND são obtidas a partir da complementação das funções OR e AND. Podemos então dizer que o operador booleano lógico NOR é a negação do operador booleano OR enquanto que
Curso: 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
Teoria 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
Álgebras Booleanas e Aplicações
Álgebras Booleanas e Aplicações Prof. Dr. Clotilzio Moreira dos Santos IBILCE - UNESP São José do Rio Preto Outubro de 2013 Álgebras Booleanas e Aplicações Clotilzio Moreira dos Santos Sumário 1 ÁLGEBRAS
ELEMENTOS DE MATEMÁTICA DISCRETA Exame de Segunda Data 18/01/2011
Uma Resolução ELEMENTOS DE MATEMÁTICA DISCRETA Exame de Segunda Data 18/01/2011 1. Seleccione e transcreva para a sua folha de exame a única opção correcta: A fórmula proposicional (p q) (p q) é a) logicamente
Universidade Federal de Viçosa Centro de Ciências Exatas Departamento de Matemática MAT Introdução à Álgebra 2015/I
1 Universidade Federal de Viçosa Centro de Ciências Exatas Departamento de Matemática MAT 131 - Introdução à Álgebra 2015/I Tópico: Produto Cartesiano 1. Dados os conjuntos M = {1, 3, 5} e N = {2, 4},
Linguagens 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
Um livro texto para Álgebra Aplicada à Computação
Um livro texto para Álgebra Aplicada à Computação Jaime Evaristo Departamento de Tecnologia da Informação Universidade Federal de Alagoas [email protected] Resumo O ensino de matemática discreta (ou álgebra
Definir classes laterais e estabelecer o teorema de Lagrange. Aplicar o teorema de Lagrange na resolução de problemas.
Aula 05 GRUPOS QUOCIENTES METAS Estabelecer o conceito de grupo quociente. OBJETIVOS Definir classes laterais e estabelecer o teorema de Lagrange. Aplicar o teorema de Lagrange na resolução de problemas.
Aula 10: Decidibilidade
Teoria da Computação 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 são sim ou não. Exemplo
Enumerabilidade. Capítulo 6
Capítulo 6 Enumerabilidade No capítulo anterior, vimos uma propriedade que distingue o corpo ordenado dos números racionais do corpo ordenado dos números reais: R é completo, enquanto Q não é. Neste novo
Lema. G(K/F ) [K : F ]. Vamos demonstrar usando o Teorema do Elemento Primitivo, a ser provado mais adiante. Assim, K = F (α).
Teoria de Galois Vamos nos restringir a car. zero. Seja K/F uma extensão finita de corpos. O grupo de Galois G(K/F ) é formado pelos isomorfismos ϕ : K K tais que x F, ϕ(x) = x. Lema. G(K/F ) [K : F ].
Primeira prova de Álgebra III - 07/05/2015 Prof. - Juliana Coelho Entregar dia 09/05/2015 até as 11h00.
Primeira prova de Álgebra III - 07/05/205 Prof. - Juliana Coelho Entregar dia 09/05/205 até as h00. Justifique suas respostas citando o resultado ou exercício da apostila (quando permitido) que está sendo
Conceitos Básicos sobre Representações e Caracteres de Grupos Finitos. Ana Cristina Vieira. Departamento de Matemática - ICEx - UFMG
1 Conceitos Básicos sobre Representações e Caracteres de Grupos Finitos Ana Cristina Vieira Departamento de Matemática - ICEx - UFMG - 2011 1. Representações de Grupos Finitos 1.1. Fatos iniciais Consideremos
O Teorema de P. Hall
UNIVERSIDADE FEDERAL DE MINAS GERAIS INSTITUTO DE CIÊNCIAS EXATAS DEPARTAMENTO DE MATEMÁTICA O Teorema de P. all Rafael Bezerra dos Santos Disciplina: Seminário III - Tópicos Especiais em Teoria de Grupos
36ª Olimpíada Brasileira de Matemática GABARITO Segunda Fase
36ª Olimpíada Brasileira de Matemática GABARITO Segunda Fase Soluções Nível 2 Segunda Fase Parte A CRITÉRIO DE CORREÇÃO: PARTE A Na parte A serão atribuídos 5 pontos para cada resposta correta e a pontuação
Sumário. 1 Ação de Grupos 3. 2 Teoremas de Sylow Aula 02/09/
Sumário 1 Ação de Grupos 3 2 Teoremas de Sylow 5 2.1 Aula 02/09/2011................................ 5 2 SUMÁRIO Capítulo 1 Ação de Grupos Seja G um grupo e S um G-conjunto. No estudo de aç ao de grupos,
MA21: Resolução de Problemas - gabarito da primeira prova
MA21: Resolução de Problemas - gabarito da primeira prova Problema 1 (2 pontos) Prove que a maior área dentre todos os retângulos de perímetro 1 é atingida por um quadrado. Dificuldade: MUITO FÁCIL Sejam
é 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
Os números primos de Fermat complementam os nossos números primos, vejamos: Fórmula Geral P = 2 = 5 = 13 = 17 = 29 = 37 = 41 = Fórmula Geral
Os números primos de Fermat complementam os nossos números primos, vejamos: Fórmula Geral P = 2 = 5 = 13 = 17 = 29 = 37 = 41 = Fórmula Geral 4 4 13 + 1 = 53 Em que temos a fórmula geral: Exatamente um
A resolução desses problemas pode geralmente ser feita com o seguinte procedimento: Problemas de divisibilidade 1
Três VIPs da Teoria dos Números É claro, VIP significa Very Important Problems. Os problemas discutidos aqui, além de suas variações, são bastante comuns em Olimpíadas de Matemática e costumam ser resolvidos
Funções, Seqüências, Cardinalidade
Funções, Seqüências, Cardinalidade Prof.: Rossini Monteiro Noções Básicas Definição (Função) Sejam A e B conjuntos. Uma função de A em B é um mapeamento de exatamente um elemento de B para cada elemento
Axiomatizações equivalentes do conceito de topologia
Axiomatizações equivalentes do conceito de topologia Giselle Moraes Resende Pereira Universidade Federal de Uberlândia - Faculdade de Matemática Graduanda em Matemática - Programa de Educação Tutorial
Aritmética dos Restos. Pequeno Teorema de Fermat. Tópicos Adicionais
Aritmética dos Restos Pequeno Teorema de Fermat Tópicos Adicionais Aritmética dos Restos Pequeno Teorema de Fermat 1 Exercícios Introdutórios Exercício 1. Encontre os restos da divisão de 2 24 por a) 5
MAC0320 Exercícios preliminares
MAC0320 Exercícios preliminares IME USP, 6/3/2012 Estes exercícios tratam de rudimentos da teoria dos conjuntos e de algumas outras trivialidades. Se você pretende cursar MAC0320 (Introdução à Teoria dos
DANIEL V. TAUSK. se A é um subconjunto de X, denotamos por A c o complementar de
O TEOREMA DE REPRESENTAÇÃO DE RIESZ PARA MEDIDAS DANIEL V. TAUSK Ao longo do texto, denotará sempre um espaço topológico fixado. Além do mais, as seguintes notações serão utilizadas: supp f denota o suporte
