INE0003 FUNDAMENTOS DE MATEMÁTICA DISCRETA
|
|
- Leandro Neves Gama
- 5 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
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/31 7 - ESTRUTURAS ALGÉBRICAS 7.1) Operações Binárias
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/23 7 - ESTRUTURAS ALGÉBRICAS 7.1) Operações Binárias
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/42 7 - ESTRUTURAS ALGÉBRICAS 7.1) Operações Binárias
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/26 3 - INDUÇÃO E RECURSÃO 3.1) Indução Matemática 3.2)
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 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/29 5 - RELAÇÕES 5.1) Relações e Dígrafos 5.2) Propriedades
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/20 4 - INTROD. À ANÁLISE COMBINATÓRIA 4.1) Arranjos
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/27 4 - INTROD. À ANÁLISE COMBINATÓRIA 4.1) Arranjos
Leia maisA2. 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.
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/20 3 - INDUÇÃO E RECURSÃO 3.1) Indução Matemática 3.2)
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/10 3 - INDUÇÃO E RECURSÃO 3.1) Indução Matemática 3.2)
Leia mais3.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
Leia maisINE0003 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
Leia maisINE5403 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)
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/17 4 - INTROD. À ANÁLISE COMBINATÓRIA 4.1) Arranjos
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/18 4 - INTROD. À ANÁLISE COMBINATÓRIA 4.1) Arranjos
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/81 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
Leia maisTeoria 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
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/14 3 - INDUÇÃO E RECURSÃO 3.1) Indução Matemática 3.2)
Leia maisReticulados 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
Leia maisTeoria 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,
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 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 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 maisGRAFOS Aula 02 Formalização: definições Max Pereira
Ciência da Computação GRAFOS Aula 02 : definições Max Pereira Um grafo G é um par ordenado G = (V, E) onde V é um conjunto finito e não vazio de elementos e E é um conjunto de subconjuntos de dois elementos
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 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 Inteiros e divisão Definição: Se a e b são inteiros com a 0, dizemos que a divide
Leia maisMatemá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
Leia maisINE Fundamentos de Matemática Discreta para a Computação
INE543 - Fundamentos de Matemática Discreta para a Computação 5) Relações 5.) 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
Leia maisFaculdade 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
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 maisCriptografia e Segurança das Comunicações. das Comunicações Bases Matemáticas - Relações e Ordens
9 Criptografia e Segurança das Comunicações Bases Matemáticas - Relações e Ordens Teoria Ordem: /22 Relações binárias () 9 Teoria da ordem é o ramo da matemática, dedicada a vária relações binárias, que
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 maisExercícios de revisão para a primeira avaliação Gabaritos selecionados
UFPB/CCEN/DM Matemática Elementar I - 2011.2 Exercícios de revisão para a primeira avaliação Gabaritos selecionados 1. Sejam p, q e r proposições. Mostre que as seguintes proposições compostas são tautologias:
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/53 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
Leia mais(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};
Leia maisCapítulo 1 Conceitos e Resultados Básicos
Introdução à Teoria dos Grafos (MAC-5770) IME-USP Depto CC Profa. Yoshiko Capítulo 1 Conceitos e Resultados Básicos Um grafo é um par ordenado (V, A), onde V e A são conjuntos disjuntos, e cada elemento
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 Fecho transitivo Teorema: o fecho transitivo de uma relação R é igual a relação de
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 maisUNIVERSIDADE 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
Leia maisDefiniçã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
Leia maisCapítulo 1. Aula Conectividade Caminhos
Capítulo 1 Aula 7 1.1 Conectividade Muitos problemas podem ser modelados com caminhos formados ao percorrer as arestas dos grafos. Por exemplo, o problema de determinar se uma mensagem pode ser enviada
Leia maisNotas sobre Sequências e Cardinalidade (1)
1 / 11 Notas sobre e Cardinalidade (1) Anjolina Grisi de Oliveira Centro de Informática Universidade Federal de Pernambuco CIn-UFPE 2 / 11 Uma sequência é uma estrutura discreta usada para representar
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 maisIntroduçã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 é
Leia maisJá 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.
Leia maisMatemá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 é
Leia maisSe 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,
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 maisTeoria 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
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 maisCircuitos 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.
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 maisTeoria 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
Leia maisTeorema de Sarkovsky
Teorema de Sarkovsky Yuri Lima 8 de janeiro de 2008 Resumo Provaremos um teorema, provado pelo matemático ucraniano A. Sarkovsky em [4] que, em poucas palavras, afirma que Período 3 implica Caos, no seguinte
Leia maisINE 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
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/59 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
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/81 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
Leia maisTeoria 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
Leia maisAproximaçã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.
Leia mais4.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.
Leia maisRETICULADOS: NOTAS DO SEMINÁRIO DE 7/03/03
RETICULADOS: NOTAS DO SEMINÁRIO DE 7/03/03 PEDRO A. TONELLI 1. Introdução: o esqueleto do espírito E ainda mais remoto que o tempo em que as coisas não tinham nome, é o tempo em que as coisas nem existiam,
Leia maisTeorema 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
Leia maisCapí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
Leia maisPolos 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
Leia maisMAT 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.
Leia maisA 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
Leia maisPORTAS 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
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 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 maisÁ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
Leia maisELEMENTOS 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
Leia maisUniversidade 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},
Leia maisXIX Semana Olímpica de Matemática. Nível U. Alguns Teoremas Básicos de Grupos e Suas Aplicações. Samuel Feitosa
XIX Semana Olímpica de Matemática Nível U Alguns Teoremas Básicos de Grupos e Suas Aplicações Samuel Feitosa O projeto da XIX Semana Olímpica de Matemática foi patrocinado por: Semana Olímpica 2016 Alguns
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 maisUm 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 jaime@ccen.ufal.br Resumo O ensino de matemática discreta (ou álgebra
Leia maisDefinir 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.
Leia maisAula 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
Leia maisEnumerabilidade. 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
Leia maisLema. 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 ].
Leia maisPrimeira 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
Leia maisConceitos 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
Leia maisO 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
Leia mais36ª 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
Leia maisSumá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,
Leia maisMA21: 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
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 maisLista 2 - Álgebra I para Computação - IME -USP -2011
Lista 2 - Álgebra I para Computação - IME -USP -2011 (A) Relações de Equivalência e Quocientes 1. Seja N = {0, 1, 2,...} o conjunto dos números naturais e considere em X = N N a seguinte relação: (a, b)
Leia maisOs 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
Leia maisA 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
Leia maisFunçõ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
Leia maisAxiomatizaçõ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
Leia maisMAT-330: Teoria dos Conjuntos
MAT-330: Teoria dos Conjuntos 1 a Lista de Exercícios 1 o Semestre de 2011 1 Explicações iniciais Importante: Cada exercício faz uso de alguns dos axiomas de ZF. Tente sempre declarar explicitamente quais
Leia maisINE Fundamentos de Matemática Discreta para a Computação
INE5403 - Fundmentos de Mtemátic Discret pr Computção 6) Relções de Ordenmento 6.1) Conjuntos Prcilmente Ordendos (Posets( Posets) 6.2) Extremos de Posets 6.3) Reticuldos 6.4) Álgers Boolens Finits 6.5)
Leia maisAritmé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
Leia maisMAC0320 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
Leia maisDANIEL 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
Leia maisExemplos de aplicação de álgebra booleana
Exemplos de aplicação de álgebra booleana Como já vimos, o conjunto P(S) juntamente com as operações de união, intersecção e complemento de conjuntos forma uma álgebra booleana. Cálculo proposicional é
Leia mais