Matemática Discreta para Ciência da Computação
|
|
- Raphael Teixeira Fonseca
- 7 Há anos
- Visualizações:
Transcrição
1 Matemática Discreta para Ciência da Computação P. Blauth Menezes Departamento de Informática Teórica Instituto de Informática / UFRGS Matemática Discreta para Ciência da Computação - P. Blauth Menezes 1
2 Matemática Discreta para Ciência da Computação P. Blauth Menezes 1 Introdução e Conceitos Básicos 2 Lógica e Técnicas de Demonstração 3 Álgebra de Conjuntos 4 Relações 5 Funções Parciais e Totais 6 Endorrelações, Ordenação e Equivalência 7 Cardinalidade de Conjuntos 8 Indução e Recursão 9 Álgebras e Homomorfismos 10 Reticulados e Álgebra Booleana 11 Conclusões Matemática Discreta para Ciência da Computação - P. Blauth Menezes 2
3 3 Álgebra de Conjuntos 3.1 Introdução 3.2 Diagramas de Venn 3.3 Paradoxo de Russell 3.4 Operações Não-Reversíveis União Intersecção 3.5 Operações Reversíveis Complemento Conjunto das Partes Produto Cartesiano União Disjunta 3.6 Relação entre Lógica e Álgebra de Conjuntos 3.7 Álgebra de Conj. nas Linguagens de Programação 3.8 Álgebra de Conj. e Teoria da Computação Matemática Discreta para Ciência da Computação - P. Blauth Menezes 3
4 3.1 Introdução Álgebra, desde a sua origem até a sua forma atual refere-se a cálculos Desenvolvida de forma informal ou formal praticamente em todos os níveis de escolaridade exemplo: operações aritméticas (adição, multiplicação ) sobre R Álgebras, em CC, destaca-se a partir de 1950 Teoria dos Autômatos e Linguagens Formais Matemática Discreta para Ciência da Computação - P. Blauth Menezes 4
5 De certa forma, toda a CC é construída sobre álgebras Álgebra: denominação alternativa para a Matemática Discreta Diretrizes Curriculares do MEC para Computação e Informática Conceito de Álgebra é introduzido adiante informalmente: operações definidas sobre um conjunto Álgebra de Conjuntos: operações definidas sobre todos os conjunto Desejável para o estudo da Álgebra de Conjuntos Diagramas de Venn: representação diagramática auxilia o entendimento dos conceitos e raciocínios Paradoxo de Russell: importante! Matemática Discreta para Ciência da Computação - P. Blauth Menezes 5
6 Operações sobre conjuntos Não-Reversíveis: mais usuais União Intersecção Reversíveis: especialmente importantes para CC Complemento Conjunto das Partes Produto Cartesiano União Disjunta Matemática Discreta para Ciência da Computação - P. Blauth Menezes 6
7 Obs: Lógica Álgebra dos Conjuntos Relação direta entre conetivos lógicos e operações sobre conjuntos facilita muito o estudo da Álgebra de Conjuntos Conetivo Lógico Operação sobre Conjuntos negação complemento disjunção união conjunção intersecção Relação Lógica Relação sobre Conjuntos implicação continência equivalência igualdade Matemática Discreta para Ciência da Computação - P. Blauth Menezes 7
8 Propriedades sobre os conetivos são válidas na Teoria dos Conjuntos substituindo cada conetivo pela correspondente operação sobre conjuntos exemplo idempotência do e do (da e da ) comutatividade do e do (da e da ) associatividade do e do (da e da ) distributividade do sobre o (da sobre a ) e vice-versa dupla negação (duplo complemento) DeMorgan Pode-se intuir que provas na Teoria dos Conjuntos são, em grande parte, baseadas em resultados da lógica Matemática Discreta para Ciência da Computação - P. Blauth Menezes 8
9 3 Álgebra de Conjuntos 3.1 Introdução 3.2 Diagramas de Venn 3.3 Paradoxo de Russell 3.4 Operações Não-Reversíveis União Intersecção 3.5 Operações Reversíveis Complemento Conjunto das Partes Produto Cartesiano União Disjunta 3.6 Relação entre Lógica e Álgebra de Conjuntos 3.7 Álgebra de Conj. nas Linguagens de Programação 3.8 Álgebra de Conj. e Teoria da Computação Matemática Discreta para Ciência da Computação - P. Blauth Menezes 9
10 3.2 Diagramas de Venn Linguagem diagramática auxilia o entendimento de definições facilita o desenvolvimento de raciocínios permite identificação e compreensão fácil e rápida dos componentes e relacionamentos Diagramas de Venn universalmente conhecidos e largamente usados usam figuras geométricas, em geral representadas no plano Matemática Discreta para Ciência da Computação - P. Blauth Menezes 10
11 Exp: Diagramas de Venn um dado conjunto A um determinado elemento b B o conjunto C = { 1, 2, 3 } A B C b Matemática Discreta para Ciência da Computação - P. Blauth Menezes 11
12 Exp: Diagramas de Venn { a, b } { a, b, c } A B para um dado conjunto universo U, um conjunto C U a b A B C U c Em geral U é representado por um retângulo demais conjuntos por círculos, elipses, etc emc U, o conjunto C é destacado, para auxiliar visualmente Matemática Discreta para Ciência da Computação - P. Blauth Menezes 12
13 Exp: Aplicação dos Diagramas de Venn Considere que A B C pode-se intuir que a noção de subconjunto é transitiva, ou seja A B B C A C Teorema: Transitividade da Continência Suponha A, B e C conjuntos. Se A B e B C, então A C Matemática Discreta para Ciência da Computação - P. Blauth Menezes 13
14 Prova: (direta) (X Y sss todos os elementos de X também são de Y) Suponha que A, B e C são conjuntos qq e que A B e B C Seja a A. Então: a A a B a C pela definição de subconjunto, dado que A B pela definição de subconjunto, dado que B C Portanto, para qq a A, a C Logo, pela definição de subconjunto, A C como fica a demonstração se A for vazio? neste caso, não existe elemento a A Matemática Discreta para Ciência da Computação - P. Blauth Menezes 14
15 3 Álgebra de Conjuntos 3.1 Introdução 3.2 Diagramas de Venn 3.3 Paradoxo de Russell 3.4 Operações Não-Reversíveis União Intersecção 3.5 Operações Reversíveis Complemento Conjunto das Partes Produto Cartesiano União Disjunta 3.6 Relação entre Lógica e Álgebra de Conjuntos 3.7 Álgebra de Conj. nas Linguagens de Programação 3.8 Álgebra de Conj. e Teoria da Computação Matemática Discreta para Ciência da Computação - P. Blauth Menezes 15
16 3.3 Paradoxo de Russell Conjunto coleção de zero ou mais elementos distintos os quais não possuem qualquer ordem associada Existem conjuntos de conjuntos. Então: um conjunto pode ser elemento de si mesmo? Def: Conjunto ordinário conjunto que não pertence a si mesmo Matemática Discreta para Ciência da Computação - P. Blauth Menezes 16
17 A definição S = { A A é um conjunto ordinário } conjunto de todos os conjuntos que não são elementos de si mesmos determina uma contradição Paradoxo de Russell Teorema: Paradoxo de Russell Não é conjunto S = { A A é um conjunto ordinário } Matemática Discreta para Ciência da Computação - P. Blauth Menezes 17
18 Prova: (por absurdo) Negação da tese. Suponha que S é um conjunto Construção da contradição. S é um elemento de si mesmo? Caso 1. Suponha que S S S S pela definição de conj. ordinário S não é um conj. ordinário pela definição de S S S Caso 2. Suponha que S S S S pela definição de conj. ordinário S é um conj. ordinário pela definição de S S S Contradição!!! Logo, é absurdo supor que S é conjunto Portanto, S não é conjunto Matemática Discreta para Ciência da Computação - P. Blauth Menezes 18
19 Portanto, a notação por compreensão permite definir algo que não é um conjunto S seria um subconjunto do conjunto de todos os conjuntos como S não é conjunto ou seja: não existe o conjunto de todos os conjuntos nem toda coleção de elementos constitui um conjunto Como evitar o paradoxo (se desejado) restringir que a, em { a p(a) }, assuma valores em um dado A { a A p(a) } Matemática Discreta para Ciência da Computação - P. Blauth Menezes 19
20 Importante conseqüência do Paradoxo de Russell definição de uma estrutura matemática sobre uma coleção de elementos. Estrutura Matemática Pequena Grande pequena, se a coleção de elementos é conjunto grande, se a coleção de elementos não é conjunto Álgebra de Conjuntos álgebra grande operações sobre a coleção (não-conjunto) de todos os conjuntos Matemática Discreta para Ciência da Computação - P. Blauth Menezes 20
21 3 Álgebra de Conjuntos 3.1 Introdução 3.2 Diagramas de Venn 3.3 Paradoxo de Russell 3.4 Operações Não-Reversíveis União Intersecção 3.5 Operações Reversíveis Complemento Conjunto das Partes Produto Cartesiano União Disjunta 3.6 Relação entre Lógica e Álgebra de Conjuntos 3.7 Álgebra de Conj. nas Linguagens de Programação 3.8 Álgebra de Conj. e Teoria da Computação Matemática Discreta para Ciência da Computação - P. Blauth Menezes 21
22 3.4 Operações Não-Reversíveis As mais comuns nos estudos da Álgebra de Conjuntos União A B Matemática Discreta para Ciência da Computação - P. Blauth Menezes 22
23 Def: União, Reunião A e B conjuntos A B A B = { x x A x B } Relacionando com a Lógica união corresponde à disjunção símbolo lembra símbolo Matemática Discreta para Ciência da Computação - P. Blauth Menezes 23
24 Exp: União Dígitos = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 } Vogais = { a, e, i, o, u } Pares = { 0, 2, 4, 6, } Dígitos Vogais = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, a, e, i, o, u } Dígitos Pares = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 14, 16, } Dígitos a e i o u Vogais Dígitos Pares Matemática Discreta para Ciência da Computação - P. Blauth Menezes 24
25 Exp: União A = { x N x > 2 }, B = { x N x 2 = x } A B = { 0, 1, 3, 4, 5, 6, } R (reais ), Q (racionais) e I (irracionais) R Q = R R I = R Q I = R Conjunto universo U e A U = U A = U U = U U U = U Matemática Discreta para Ciência da Computação - P. Blauth Menezes 25
26 Propriedades da união Elemento Neutro (qual o elemento neutro da disjunção?) A = A = A (exercício) Idempotência A A = A (exercício) Comutatividade A B = B A (exercício) Associatividade A (B C) = (A B) C Matemática Discreta para Ciência da Computação - P. Blauth Menezes 26
27 Associatividade A (B C) = (A B) C A B A B A B C C C B C A B A (B C) = (A B) C Matemática Discreta para Ciência da Computação - P. Blauth Menezes 27
28 Teorema: Associatividade da União Suponha que A, B e C são conjuntos quaisquer. Então: Prova: (direta) (X = Y X Y e Y X) A (B C) = (A B) C Suponha que A, B e C são conjuntos quaisquer. Dois casos: A (B C) (A B) C caso 1 (A B) C A (B C) caso 2 Matemática Discreta para Ciência da Computação - P. Blauth Menezes 28
29 Caso 1. Suponha x A (B C) x A (B C) x A x (B C) x A (x B x C) (x A x B) x C x (A B) x C x (A B) C pela definição união pela definição união pela associatividade do conetivo pela definição união pela definição união Portanto, A (B C) (A B) C Matemática Discreta para Ciência da Computação - P. Blauth Menezes 29
30 Caso 2. Suponha x (A B) C x (A B) C x (A B) x C (x A x B) x C x A (x B x C) x A x (B C) x A (B C) pela definição união pela definição união pela associatividade do conetivo pela definição união pela definição união Portanto, (A B) C A (B C) Logo, A (B C) = (A B) C Matemática Discreta para Ciência da Computação - P. Blauth Menezes 30
31 Significado da associatividade? não existe precedência entre operações de união parênteses podem ser omitidos A (B C) ou (A B) C pode ser denotado A B C Matemática Discreta para Ciência da Computação - P. Blauth Menezes 31
32 3 Álgebra de Conjuntos 3.1 Introdução 3.2 Diagramas de Venn 3.3 Paradoxo de Russell 3.4 Operações Não-Reversíveis União Intersecção 3.5 Operações Reversíveis Complemento Conjunto das Partes Produto Cartesiano União Disjunta 3.6 Relação entre Lógica e Álgebra de Conjuntos 3.7 Álgebra de Conj. nas Linguagens de Programação 3.8 Álgebra de Conj. e Teoria da Computação Matemática Discreta para Ciência da Computação - P. Blauth Menezes 32
33 3.4.2 Intersecção A B Def: Intersecção A e B conjuntos A B A B = { x x A x B } Matemática Discreta para Ciência da Computação - P. Blauth Menezes 33
34 Relacionando com a Lógica intersecção corresponde à conjunção símbolo lembra símbolo Conjuntos disjuntos conjuntos independentes ou conjuntos mutuamente exclusivos conjuntos A e B sendo ambos não-vazios A B = Matemática Discreta para Ciência da Computação - P. Blauth Menezes 34
35 Exp: Intersecção, Conjuntos Disjuntos Dígitos = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 } Vogais = { a, e, i, o, u } Pares = { 0, 2, 4, 6, } Dígitos Vogais = conjuntos disjuntos Dígitos Pares = { 0, 2, 4, 6, 8 } Dígitos a e i o u Vogais Dígitos Pares Matemática Discreta para Ciência da Computação - P. Blauth Menezes 35
36 Exp: Intersecção, Conjuntos Disjuntos A = { x N x > 2 }, B = { x N x 2 = x } A B = conjuntos disjuntos R (reais ), Q (racionais) e I (irracionais) R Q = Q R I = I Q I = conjuntos disjuntos Conjunto universo U e A U = U A = A U = U U = U Matemática Discreta para Ciência da Computação - P. Blauth Menezes 36
37 Propriedades da intersecção Elemento Neutro (qual o elemento neutro da conjunção?) A U = U A = A (exercício) Idempotência A A = A (exercício) Comutatividade A B = B A (exercício) Associatividade A (B C) = (A B) C (exercício) Matemática Discreta para Ciência da Computação - P. Blauth Menezes 37
38 Propriedades da união e da intersecção Distributividade da intersecção sobre a união A (B C) = (A B) (A C) A B A B A B A B C C C C B C A B A C A (B C) = (A B) (A C) Distributividade da união sobre a intersecção A (B C) = (A B) (A C) Matemática Discreta para Ciência da Computação - P. Blauth Menezes 38
39 Teorema: Distributividade da intersecção sobre a união Suponha que A, B e C são conjuntos quaisquer. Então: A (B C) = (A B) (A C) Prova: (direta) Suponha que A, B e C são conjuntos quaisquer. Então: x A (B C) pela definição de intersecção x A x (B C) pela definição de união x A (x B x C) pela distributividade do sobre o (x A x B) (x A x C) pela definição de intersecção x (A B) x (A C) pela definição de união x (A B) (A C) Logo, A (B C) = (A B) (A C) Matemática Discreta para Ciência da Computação - P. Blauth Menezes 39
40 3 Álgebra de Conjuntos 3.1 Introdução 3.2 Diagramas de Venn 3.3 Paradoxo de Russell 3.4 Operações Não-Reversíveis União Intersecção 3.5 Operações Reversíveis Complemento Conjunto das Partes Produto Cartesiano União Disjunta 3.6 Relação entre Lógica e Álgebra de Conjuntos 3.7 Álgebra de Conj. nas Linguagens de Programação 3.8 Álgebra de Conj. e Teoria da Computação Matemática Discreta para Ciência da Computação - P. Blauth Menezes 40
41 3.5 Operações Reversíveis Operação reversível a partir do resultado, pode-se recuperar os operando originais Importante em muitas aplicações na Computação e Informática Exp: Back Tracking (ilustrativo) Operação de débito e crédito em um terminal bancário automático composição de diversas pequenas operações componentes Queda de sistema (luz ) entre duas operações componentes sistema poderia ficar inconsistente exemplo: débito realizado, mas o crédito, não fundamental desfazer o que foi parcialmente feito recuperação facilitada quando a operação é reversível Matemática Discreta para Ciência da Computação - P. Blauth Menezes 41
42 Exp: Construção de Estruturas Complexas (ilustrativo) Construção de Estruturas Complexas. compondo estruturas elementares já conhecidas em geral, é desejável que uma alteração realizada em uma estrutura elementar seja refletida na estrutura composta possível se conhecido os elementos originais da estrutura informação facilitada quando a operação é reversível Matemática Discreta para Ciência da Computação - P. Blauth Menezes 42
43 3 Álgebra de Conjuntos 3.1 Introdução 3.2 Diagramas de Venn 3.3 Paradoxo de Russell 3.4 Operações Não-Reversíveis União Intersecção 3.5 Operações Reversíveis Complemento Conjunto das Partes Produto Cartesiano União Disjunta 3.6 Relação entre Lógica e Álgebra de Conjuntos 3.7 Álgebra de Conj. nas Linguagens de Programação 3.8 Álgebra de Conj. e Teoria da Computação Matemática Discreta para Ciência da Computação - P. Blauth Menezes 43
44 3.5.1 Complemento U U A A ~A Def: Complemento Complemento de um conjunto A U A' ou ~A ~A = { x U x A } Matemática Discreta para Ciência da Computação - P. Blauth Menezes 44
45 Relacionando com a Lógica complemento corresponde à negação símbolo ~ é um dos usados para a negação Exp: Complemento Dígitos = { 0, 1, 2,, 9 } conjunto universo e A = { 0, 1, 2 } ~A = { 3, 4, 5, 6, 7, 8, 9 } Dígitos Dígitos Matemática Discreta para Ciência da Computação - P. Blauth Menezes 45
46 Exp: Complemento N conjunto universo e A = { 0, 1, 2 } ~A = { x N x > 2 } Para qualquer conjunto universo U ~ = U ~U = R conjunto universo ~Q = I ~I = Q Matemática Discreta para Ciência da Computação - P. Blauth Menezes 46
47 Exp: Complemento, União e Intersecção U conjunto universo. Para qualquer A U A ~A = U A ~A = p p é tautologia p p é contradição Propriedade Duplo Complemento para qualquer A U ~~A = A relacionamento com lógica A: todos elementos x tais que x A ~A: todos elementos x tais que x A (x A) ~~A: todos elementos x tais que (x A) x A complemento é reversível: ~(~A) = A Matemática Discreta para Ciência da Computação - P. Blauth Menezes 47
48 Propriedade DeMorgan relacionada com o complemento envolve a união e a intersecção ~(A B) = ~A ~B (p q) p q ~(A B) = ~A ~B (p q) p q U U U U A B A B A B A B A B ~A ~B ~(A B) = ~A ~B Matemática Discreta para Ciência da Computação - P. Blauth Menezes 48
49 Essa propriedade permite concluir intersecção pode ser calculada em termos do complemento e união A B = ~(~A ~B) união pode ser calculada em termos do complemento e intersecção A B = ~(~A ~B) Matemática Discreta para Ciência da Computação - P. Blauth Menezes 49
50 Diferença: derivada da intersecção e complemento A B Def: Diferença A e B conjuntos A - B A - B = A ~B = { x x A x B } Matemática Discreta para Ciência da Computação - P. Blauth Menezes 50
51 Exp: Diferença Dígitos = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 } Vogais = { a, e, i, o, u } Pares = { 0, 2, 4, 6, } Dígitos - Vogais = Dígitos Dígitos - Pares = { 1, 3, 5, 7,9 } Dígitos a e i o u Vogais Dígitos Pares Matemática Discreta para Ciência da Computação - P. Blauth Menezes 51
52 Exp: Diferença A = { x N x > 2 } e B = { x N x 2 = x } A - B = { 3, 4, 5, 6, } B - A = { 0, 1 } R (reais ), Q (racionais) e I (irracionais) R - Q = I R - I = Q Q - I = Q Universo U e A U - = U - = U U - A = ~A U - U = Matemática Discreta para Ciência da Computação - P. Blauth Menezes 52
53 Por que a operação de diferença é não-reversível? Matemática Discreta para Ciência da Computação - P. Blauth Menezes 53
54 3 Álgebra de Conjuntos 3.1 Introdução 3.2 Diagramas de Venn 3.3 Paradoxo de Russell 3.4 Operações Não-Reversíveis União Intersecção 3.5 Operações Reversíveis Complemento Conjunto das Partes Produto Cartesiano União Disjunta 3.6 Relação entre Lógica e Álgebra de Conjuntos 3.7 Álgebra de Conj. nas Linguagens de Programação 3.8 Álgebra de Conj. e Teoria da Computação Matemática Discreta para Ciência da Computação - P. Blauth Menezes 54
55 3.5.2 Conjunto das Partes Para um conjunto A A A A Para qualquer elemento a A { a } A Seguindo o racionínio definição de uma operação unária Conjunto das Partes aplicada a um conjunto A resulta no conjunto de todos os subconjuntos de A Matemática Discreta para Ciência da Computação - P. Blauth Menezes 55
56 Def: Conjunto das Partes, Conjunto Potência A conjunto P(A) ou 2 A P(A) = { X X A } Exp: Conjunto das Partes A = { a }, B = { a, b } e C = { a, b, c } P( ) = { } P(A) = {, { a } } P(B) = {, { a }, { b }, { a, b } } P(C) = {, { a }, { b }, { c }, { a, b }, { a, c }, { b, c }, { a, b, c } } Quantos elementos tem P(X)? Matemática Discreta para Ciência da Computação - P. Blauth Menezes 56
57 Exp: Conjunto das Partes D = { a,, { a, b } } P(D) = {, { a }, { }, { { a, b } }, { a, }, { a, { a, b } }, {, { a, b } }, { a,, { a, b } } } Quantos elementos tem P(X)? Número de elementos de P(X) número de elementos de X é n P(X) é 2 n justifica a notação 2 X prova por indução introduzida adiante Matemática Discreta para Ciência da Computação - P. Blauth Menezes 57
58 Reversabilidade de P(X)? uma solução: união de todos os conjuntos de P(X) como fica o cálculo da união se o número de elementos do conjunto das partes for infinito? não será discutido Exp: Reversabilidade do Conjunto das Partes Resultante: {, { a } } Operando: { a } = { a } Resultante: {, { a }, { b }, { a, b } } Operando: { a } { b } { a, b } = { a, b } Resultante: {, { a }, { b }, { c }, { a, b }, { a, c }, { b, c }, { a, b, c } } Operando: { a } { b } { c } { a, b } { a, c } { b, c } { a, b, c } = { a, b, c } Matemática Discreta para Ciência da Computação - P. Blauth Menezes 58
59 Obs: Álgebra de Conjuntos Pequena Álgebra de Conjuntos é uma álgebra grande operações sobre a coleção (não-conjunto) de todos os conjuntos Se for desejado uma Álgebra de Conjuntos pequena?? definir sobre P(U) para cada U, uma álgebra diferente qq operando A é tal que A P(U) União, intersecção, diferença e complemento fechadas sobre P(U) Conjunto das partes não necessariamente é fechada sobre P(U) por quê? Matemática Discreta para Ciência da Computação - P. Blauth Menezes 59
60 3 Álgebra de Conjuntos 3.1 Introdução 3.2 Diagramas de Venn 3.3 Paradoxo de Russell 3.4 Operações Não-Reversíveis União Intersecção 3.5 Operações Reversíveis Complemento Conjunto das Partes Produto Cartesiano União Disjunta 3.6 Relação entre Lógica e Álgebra de Conjuntos 3.7 Álgebra de Conj. nas Linguagens de Programação 3.8 Álgebra de Conj. e Teoria da Computação Matemática Discreta para Ciência da Computação - P. Blauth Menezes 60
61 3.5.3 Produto Cartesiano Noção de seqüência finita necessária para definir produto cartesiano em particular, seqüência de dois elementos Seqüência de n componentes: n-upla ordenada n objetos (não necessariamente distintos) em uma ordem fixa 2-upla ordenada ou par ordenado n-upla ordenada x, y ou (x, y) x 1, x 2, x 3,,x n ou (x 1, x 2, x 3,,x n ) Matemática Discreta para Ciência da Computação - P. Blauth Menezes 61
62 Não confundir x 1, x 2, x 3,,x n com { x 1, x 2, x 3,,x n } A ordem é importante Def: Produto Cartesiano x, y y, x A e B conjuntos A B A B = { a, b a A e b B } Produto cartesiano de A com ele mesmo A A = A 2 Matemática Discreta para Ciência da Computação - P. Blauth Menezes 62
63 Exp: Produto Cartesiano A = { a }, B = { a, b } e C = { 0, 1, 2 } A B = { a, a, a, b } B C = { a, 0, a, 1, a, 2, b, 0, b, 1, b, 2 } (não-comut.) C B = { 0, a, 0, b, 1, a, 1, b, 2, a, 2, b } A 2 = { a, a } B 2 = { a, a, a, b, b, a, b, b } A N = { a, 0, a, 1, a, 2, a, 3, } (A B) C = (não-associatividade) { a, a,0, a, a,1, a, a,2, a, b,0, a, b,1, a, b,2 } A (B C) = { a, a, 0, a, a, 1, a, a, 2, a, b, 0, a, b, 1, a, b, 2 } Matemática Discreta para Ciência da Computação - P. Blauth Menezes 63
64 Conclusões Não-Comutatividade B C e C B são diferentes (B C) (C B) = Não-Associatividade (A B) C e A (B C) são diferentes disjuntos por quê? Exp: Produto Cartesiano A = { 0, 1, 2 } A = A = 2 = por quê? por quê? Matemática Discreta para Ciência da Computação - P. Blauth Menezes 64
65 Distributividade do produto cartesiano sobre a união A (B C) = (A B) (A C) exercício Distributividade do produto cartesiano sobre a intersecção A (B C) = (A B) (A C) exercício Reversabilidade do produto cartesiano? como fazer? nem sempre é válida quando o produto cartesiano resulta no vazio por quê? Matemática Discreta para Ciência da Computação - P. Blauth Menezes 65
66 Exp: Reversabilidade do Produto Cartesiano { a, a, a, b } Operandos: { a } e { a, b } { a, a, a, b, b, a, b, b } Operandos: { a, b } e { a, b } { a, 0, a, 1, a, 2, a, 3, } Operandos: { a } e N { a, a, 0, a, a, 1, a, a, 2, a, b, 0, a, b, 1, a, b, 2 } Operandos: { a, a, a, b } e { 0, 1, 2 } Matemática Discreta para Ciência da Computação - P. Blauth Menezes 66
67 3 Álgebra de Conjuntos 3.1 Introdução 3.2 Diagramas de Venn 3.3 Paradoxo de Russell 3.4 Operações Não-Reversíveis União Intersecção 3.5 Operações Reversíveis Complemento Conjunto das Partes Produto Cartesiano União Disjunta 3.6 Relação entre Lógica e Álgebra de Conjuntos 3.7 Álgebra de Conj. nas Linguagens de Programação 3.8 Álgebra de Conj. e Teoria da Computação Matemática Discreta para Ciência da Computação - P. Blauth Menezes 67
68 3.5.4 União Disjunta Pessoas da família Silva e Souza Silva = { João, Maria, José } Souza = { Pedro, Ana, José } Conjunto resultante da união Silva Souza = { João, Maria, Pedro, Ana, José } José ocorre uma única vez não reflete uma reunião familiar José Silva não é o mesmo José Souza Matemática Discreta para Ciência da Computação - P. Blauth Menezes 68
69 União disjunta distingue elementos com mesma identificação garante que não existem elementos em comum associa uma identificação do conjunto origem um tipo de sobrenome elemento, identificação do conjunto origem Def: União Disjunta A + B ou A B A + B = { a, A a A } { b, B b B } A + B = { a, 0 a A } { b, 1 b B } A + B = { a A a A } { b B b B } Matemática Discreta para Ciência da Computação - P. Blauth Menezes 69
70 Diversas formas de denotar elementos de A + B importante é distinguir o conjunto originário Exp: União Disjunta Silva = { João, Maria, José } e Souza = { Pedro, Ana, José } Silva + Souza = { João, Silva, Maria, Silva, José, Silva, Pedro, Souza, Ana, Souza, José, Souza } D = { 0, 1, 2,, 9 }, V = { a, e, i, o, u } e P = { 0, 2, 4, 6, } D + V = { 0 D, 1 D, 2 D,, 9 D, a V, e V, i V, o V, u V } D + P = { 0 D, 1 D, 2 D,, 9 D, 0 P, 2 P, 4 P, 6 P, } Matemática Discreta para Ciência da Computação - P. Blauth Menezes 70
71 Exp: União Disjunta A = { x N x > 2 } e B = { x N x 2 = x } A + B = { 0 B, 1 B, 3 A, 4 A, 5 A, 6 A, } A = { a, b, c } + = A + = { a, A, b, A, c, A } A + A = { a, 0, b, 0, c, 0, a, 1, b, 1, c, 1 } Reversabilidade da união disjunta? Matemática Discreta para Ciência da Computação - P. Blauth Menezes 71
72 Exp: Reversabilidade da União Disjunta { 0 D, 1 D, 2 D,, 9 D, a V, e V, i V, o V, u V } Operandos: { 0, 1, 2,, 9 } e { a, e, i, o, u } { 0 D, 1 D, 2 D,, 9 D, 0 N, 1 N, 2 N, 3 N } Operandos: { 0, 1, 2,, 9 } e N Operandos: e { a, 0, b, 0 } Operandos: { a, b } e { a, 0, b, 0, a, 1, b, 1, c, 1 } Operandos: { a, b } e { a, b, c } Matemática Discreta para Ciência da Computação - P. Blauth Menezes 72
73 3 Álgebra de Conjuntos 3.1 Introdução 3.2 Diagramas de Venn 3.3 Paradoxo de Russell 3.4 Operações Não-Reversíveis União Intersecção 3.5 Operações Reversíveis Complemento Conjunto das Partes Produto Cartesiano União Disjunta 3.6 Relação entre Lógica e Álgebra de Conjuntos 3.7 Álgebra de Conj. nas Linguagens de Programação 3.8 Álgebra de Conj. e Teoria da Computação Matemática Discreta para Ciência da Computação - P. Blauth Menezes 73
74 3.6 Relação entre Lógica e Álgebra de Conjuntos Propriedade Lógica Teoria dos Conjuntos Idemp Comut Associat p p p p p p p q q p p q q p p (q r) (p q) r p (q r) (p q) r A A = A A A = A A B = B A A B = B A A (B C) = (A B) C A (B C) = (A B) C Matemática Discreta para Ciência da Computação - P. Blauth Menezes 74
75 Propriedade Lógica Teoria dos Conjuntos Distrib Negação/ Compl p (q r) (p q) (p r) p (q r) (p q) (p r) p p p p F p p V DeMorgan (p q) p q (p q) p q A (B C) = (A B) (A C) A (B C) = (A B) (A C) ~~A = A A ~A = A ~A = U ~(A B) = ~A ~B ~(A B) = ~A ~B Matemática Discreta para Ciência da Computação - P. Blauth Menezes 75
76 Propriedade Lógica Teoria dos Conjuntos Elemento Neutro p V p p F p A U = A A = A Elemento Absorvente p F F p V V A = A U = U Matemática Discreta para Ciência da Computação - P. Blauth Menezes 76
77 Importante exercício proposto no Capítulo 2 qq dos conetivos,,, e pode ser expresso usando somente e importante em diversas aplicações da Computação e Informática exemplo: Técnicas Digitais mesmo resultado vale para a Álgebra de Conjuntos usando somente ~ e exercício: como e podem ser expressos na Álgebra de Conjuntos? Matemática Discreta para Ciência da Computação - P. Blauth Menezes 77
78 Relações Lógicas Relações sobre Conjuntos Relação Lógica Teoria dos Conjuntos Implicação/Continência p p A B Equivalência/Igualdade p q A = B Matemática Discreta para Ciência da Computação - P. Blauth Menezes 78
79 Como visto no Capítulo 2 p(x) é uma proposição p tq descreve alguma propriedade de x U Lógica Teoria dos Conjuntos A = { x p(x) } e B = { x q(x) } A B se e somente se ( x U) (p(x) q(x)) A = B se e somente se ( x U) (p(x) q(x)) exemplo A = U se e somente se ( x U) (p(x) V) A = se e somente se ( x U) (p(x) F) continência igualdade universo vazio Justifica o fato de que qq continência ou igualdade decorrência de alguma implicação ou igualdade Matemática Discreta para Ciência da Computação - P. Blauth Menezes 79
80 Correlação entre Lógica e Álgebra de Conjuntos não é casual ambas são um caso particular de uma álgebra abstrata denominada Álgebra de Boole vista adiante Matemática Discreta para Ciência da Computação - P. Blauth Menezes 80
81 3 Álgebra de Conjuntos 3.1 Introdução 3.2 Diagramas de Venn 3.3 Paradoxo de Russell 3.4 Operações Não-Reversíveis União Intersecção 3.5 Operações Reversíveis Complemento Conjunto das Partes Produto Cartesiano União Disjunta 3.6 Relação entre Lógica e Álgebra de Conjuntos 3.7 Álgebra de Conj. nas Linguagens de Programação 3.8 Álgebra de Conj. e Teoria da Computação Matemática Discreta para Ciência da Computação - P. Blauth Menezes 81
82 3.7 Álgebra de Conjuntos nas Linguagens de Programação Já discutido: nem toda linguagem de programação possui boas facilidades para tratar conjuntos Pascal (lembrando) tipos de dados baseados em conjuntos finitos variáveis conjuntos sobre estes tipos de dados constantes conjuntos (também finitos) Pascal: operações não-reversíveis sobre conjuntos: união: + intersecção: * diferença: - Matemática Discreta para Ciência da Computação - P. Blauth Menezes 82
83 Exp: Trechos de Programas em Pascal Suponha o tipo de dados dias_semana = set of (seg, ter, qua, qui, sex, sab, dom) variáveis feriado, trabalho, feriado_trabalho, úteis, parados: dias_semana trechos de programas feriado := [qua, sab] trabalho := [seg,, sex] Matemática Discreta para Ciência da Computação - P. Blauth Menezes 83
84 Os trechos de programas em Pascal feriado_trabalho := trabalho * feriado úteis := trabalho feriado parado := [sab, dom] + feriado correspondem, na Teoria dos Conjuntos feriado_trabalho = trabalho feriado { qua } úteis = trabalho feriado { seg, ter, qui, sex } parado = { sab, dom } feriado { qua, sab, dom } Matemática Discreta para Ciência da Computação - P. Blauth Menezes 84
85 Exp: Programa Completo em Pascal Programa capaz de ler uma linha de texto e determinar o número de vogais consoantes outros símbolos total de caracteres lidos Matemática Discreta para Ciência da Computação - P. Blauth Menezes 85
86 program numero_caracteres(input, output); type alfabeto = set of a.. z ; var n_vogais, n_consoantes, n_outros, total: integer; vogais, consoantes: alfabeto; caractere: char; begin vogais := [ a, e, i, o, u ]; consoantes := [ a.. z ] vogais; n_vogais := 0; n_consoantes := 0; n_outros := 0; read(caractere); Matemática Discreta para Ciência da Computação - P. Blauth Menezes 86
87 while not eoln do begin if caractere in vogais then n_vogais := n_vogais + 1 else if caractere in consoantes then n_consoantes := n_consoantes + 1 else n_outros := n_outros + 1; read(caractere) end; total := n_vogais + n_consoantes + n_outros; writeln( vogais =, n_vogais); writeln( consoantes:, n_consoantes); writeln( outros símbolos:, n_outros); writeln( total de símbolos:, total) end. Matemática Discreta para Ciência da Computação - P. Blauth Menezes 87
88 Construções similares a do produto cartesiano reversíveis arranjos (arrays) registros (records) abordagem mais adequada quando do estudo do conceito de função Matemática Discreta para Ciência da Computação - P. Blauth Menezes 88
89 3 Álgebra de Conjuntos 3.1 Introdução 3.2 Diagramas de Venn 3.3 Paradoxo de Russell 3.4 Operações Não-Reversíveis União Intersecção 3.5 Operações Reversíveis Complemento Conjunto das Partes Produto Cartesiano União Disjunta 3.6 Relação entre Lógica e Álgebra de Conjuntos 3.7 Álgebra de Conj. nas Linguagens de Programação 3.8 Álgebra de Conj. e Teoria da Computação Matemática Discreta para Ciência da Computação - P. Blauth Menezes 89
90 3.8 Álgebra de Conjuntos e Teoria da Computação Álgebra de Conjuntos fundamental no estudo da Teoria da Computação Teoria da Computação meios para correta aplicação e entendimento dos conceitos de algoritmo computabilidade conseqüentemente, do que é solucionável em um computador conceitos mínimos que qq estudante necessita saber Matemática Discreta para Ciência da Computação - P. Blauth Menezes 90
91 Lembre-se: linguagem (formal) L sobre alfabeto L * Complemento da linguagem L ~L = { x * x L } Matemática Discreta para Ciência da Computação - P. Blauth Menezes 91
92 Exp: Complemento de Linguagens Linguagens sobre = { a, b } L 1 = { ε } L 2 = { a }* = { ε, a, aa, aaa, } Palíndromos = { ε, a, b, aa, bb, aaa, aba, bab, bbb, aaaa, } Complementos das linguagens ~L 1 = { a, b, aa, ab, ba, bb, aaa, } ~L 2 = { b, ab, ba, bb, aab, aba, baa, abb, bab, bba, bbb, } ~Palíndromos = { x * x Palíndromos } Matemática Discreta para Ciência da Computação - P. Blauth Menezes 92
93 Obs: Reconhecimento de Linguagens Complemento Lembre-se: compilador é um software traduz um programa escrito na linguagem de programação para um código executável no sistema computador. estruturado em análise e síntese análise é responsável pelo reconhecimento da linguagem verifica se um programa p válido para a linguagem L p L se p L, passa para a síntese se p L, alertar o programador (correção do programa!) portanto, a análise de um compilador verifica se p L ou p ~L Matemática Discreta para Ciência da Computação - P. Blauth Menezes 93
94 Obs: Hierarquia de Linguagens e Problema da Parada Importante assunto da Teoria da Computação limites do que é possível computar em um computador Capítulo 2 Lógica e Técnicas de Demonstração Máquina de Turing: formalização do conceito de algoritmo Limite do que é possível reconhecer existe uma Máquina de Turing que reconhece Matemática Discreta para Ciência da Computação - P. Blauth Menezes 94
95 Nesse contexto: linguagens são agrupadas em classes hierarquia (continência própria) Universo de Todas as Linguagens Linguagens Enumeráveis Recursivamente (existe um algoritmo capaz de responder "pertence") Linguagens Recursivas (existe um algoritmo capaz de responder "pertence" ou "não pertence") Matemática Discreta para Ciência da Computação - P. Blauth Menezes 95
96 Linguagens Recursivas existe um algoritmo (Máquina de Turing) que sempre pára capaz de determinar se p L ou p ~L p MT(L) Matemática Discreta para Ciência da Computação - P. Blauth Menezes 96
97 Linguagens Enumeráveis Recursivamente existe um algoritmo (Máquina de Turing) capaz de determinar se p L entretanto, se p ~L, o algoritmo pode parar identificando que p ~L ficar em loop infinito p MT(L) ou LOOP Matemática Discreta para Ciência da Computação - P. Blauth Menezes 97
98 Contradiz a intuição pois estabelece que reconhecer o complemento de uma linguagem pode ser impossível, mesmo que seja possível reconhecer a linguagem Linguagens Não-Computáveis não existe algoritmo (Máquina de Turing) capaz de determinar se p L ou p ~L Problema da Parada se qq Máquina de Turing pára determinando se p L ou p ~L não tem solução computacional baseado nesse resultado prova-se inúmeros problemas não possuem solução computacional inclui muitos problemas interessantes e importantes para CC Matemática Discreta para Ciência da Computação - P. Blauth Menezes 98
99 Teorema: Complemento de Ling. Recursiva é Recursiva Se L sobre é recursiva, então ~L também é recursiva Prova: (direta) Suponha L linguagem recursiva sobre Então existe Máquina de Turing MT(L) que aceita L e sempre pára Inverte MT'(L) Inverte p MT(L) Portanto, o complemento de uma linguagem recursiva é recursiva Matemática Discreta para Ciência da Computação - P. Blauth Menezes 99
100 Teorema: Intersecção de Ling. Recursivas é Recursiva Se L 1 e L 2 sobre são recursivas, então L 1 L 2 também é recursiva Prova: (direta) Suponha L 1 e L 2 linguagens recursivas sobre Então existem Máquinas de Turing MT(L 1 ) e MT(L 2 ) tq aceitam L 1 e L 2 e sempre param MT(L 1 L 2 ) p MT(L 1 ) MT(L 2 ) Portanto, a intersecção de duas linguagens recursivas é recursiva Matemática Discreta para Ciência da Computação - P. Blauth Menezes 100
101 Outros resultados (exercícios) união de duas linguagens recursivas é recursiva complemento de uma linguagem enumerável recursivamente não necessariamente é enumerável recursivamente uma linguagem é recursiva sss a linguagem e seu complemento são enumeráveis recursivamente Matemática Discreta para Ciência da Computação - P. Blauth Menezes 101
102 Matemática Discreta para Ciência da Computação P. Blauth Menezes 1 Introdução e Conceitos Básicos 2 Lógica e Técnicas de Demonstração 3 Álgebra de Conjuntos 4 Relações 5 Funções Parciais e Totais 6 Endorrelações, Ordenação e Equivalência 7 Cardinalidade de Conjuntos 8 Indução e Recursão 9 Álgebras e Homomorfismos 10 Reticulados e Álgebra Booleana 11 Conclusões Matemática Discreta para Ciência da Computação - P. Blauth Menezes 102
103 Matemática Discreta para Ciência da Computação P. Blauth Menezes Departamento de Informática Teórica Instituto de Informática / UFRGS Matemática Discreta para Ciência da Computação - P. Blauth Menezes 103
MDI0001 Matemática Discreta Aula 04 Álgebra de Conjuntos
MDI0001 Matemática Discreta Aula 04 Álgebra de Conjuntos Karina Girardi Roggia karina.roggia@udesc.br Departamento de Ciência da Computação Centro de Ciências Tecnológicas Universidade do Estado de Santa
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 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 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 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 maisUniversidade Federal do Pampa - UNIPAMPA
Universidade Federal do Pampa - UNIPAMPA Projeto: Fundamentos Matemáticos para Computação INTRODUÇÃO À MATEMÁTICA DISCRETA 2 Introdução Praticamente qualquer estudo relacionado a computação, teórico ou
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 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 maisLinguagens Formais e Autômatos P. Blauth Menezes
Linguagens Formais e Autômatos 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 - P. Blauth Menezes
Leia maisLinguagens Formais e Autômatos P. Blauth Menezes
Linguagens Formais e Autômatos P. Blauth Menezes blauth@inf.ufrgs.br Departamento de Informática Teórica Instituto de Informática / UFRGS Linguagens Formais e Autômatos - P. Blauth Menezes 1 Linguagens
Leia maisLinguagens Formais e Autômatos P. Blauth Menezes
Linguagens Formais e Autômatos P. Blauth Menezes blauth@inf.ufrgs.br Departamento de Informática Teórica Instituto de Informática / UFRGS Linguagens Formais e Autômatos - P. Blauth Menezes 1 Linguagens
Leia maisLFA. Provas formais; Indução; Sintaxe e Semântica Teoria dos Conjuntos
LFA Provas formais; Indução; Sintaxe e Semântica Teoria dos Conjuntos Técnicas de Demonstração Um teorema é uma proposição do tipo: p q a qual, prova-se, é verdadeira sempre que: p q Técnicas de Demonstração
Leia mais1 introdução e conceitos básicos
capítulo 1 introdução e conceitos básicos Este capítulo faz uma apresentação da matemática discreta, de sua importância, de seus conceitos básicos e de seus usos. Também apresenta uma revisão dos conceitos
Leia maisIBM1088 Linguagens Formais e Teoria da Computação
IBM1088 Linguagens Formais e Teoria da Computação Conceitos fundamentais sobre Teoria dos Conjuntos Evandro Eduardo Seron Ruiz evandro@usp.br Universidade de São Paulo E.E.S. Ruiz (USP) LFA 1 / 26 Frase
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 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 RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO. Prof.ª Danielle Casillo
UNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO TEORIA DA COMPUTAÇÃO Aula 02 Introdução à Teoria da Computação Prof.ª Danielle Casillo Linguagem: é uma forma precisa de expressar
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 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 maisI.2 Introdução a Teoria da Computação
I.2 Introdução a Teoria da Computação O que é? Fundamento da Ciência da Computação Tratamento Matemático da Ciência da Computação Estudo Matemático da Transformação da Informação Qual sua importância?
Leia maisÁLGEBRA DE BOOLE B.1 - DIAGRAMA DE VENN
ÁLGEBRA DE BOOLE B.1 - DIAGRAMA DE VENN No século XIX Georges Boole desenvolveu uma teoria matemática com base nas leis da lógica - a Álgebra de Boole - cuja aplicação nos circuitos digitais e computadores
Leia maisTeoria da Computação Aula 02 Introdução
Teoria da Computação Aula 02 Introdução Prof. Esp. Pedro Luís Antonelli Anhanguera Educacional Alfabeto Um alfabeto é um conjunto finito de símbolos ou caracteres, representado pela letra sigma ( ). Portanto:
Leia maisApostila 01 Fundamentação da Teoria da Computação e Linguagens Formais
Cursos: Bacharelado em Ciência da Computação e Bacharelado em Sistemas de Informação Disciplinas: (1493A) Teoria da Computação e Linguagens Formais, (4623A) Teoria da Computação e Linguagens Formais e
Leia maisLinguagens Formais e Autômatos P. Blauth Menezes
Linguagens Formais e Autômatos P. Blauth Menezes blauth@inf.ufrgs.br Departamento de Informática Teórica Instituto de Informática / UFRGS Linguagens Formais e Autômatos - P. Blauth Menezes 1 Linguagens
Leia maissignifica ( x)[(x S P (x)) (P (x) x S)]
Capítulo 2 Conjuntos e Contagem 2.1 Notação S = {2, 4, 6,... } (impreciso; conjuntos finitos) 1. 2 S 2. Se n S, então (n + 2) S S = {x x é um inteiro positivo par } S = {x P (x)} significa ( x)[(x S P
Leia mais1 TEORIA DOS CONJUNTOS
1 TEORIA DOS CONJUNTOS Definição de Conjunto: um conjunto é uma coleção de zero ou mais objetos distintos, chamados elementos do conjunto, os quais não possuem qualquer ordem associada. Em outras palavras,
Leia maisMatemá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 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 maisLinguagens Formais e Autômatos P. Blauth Menezes
Linguagens Formais e Autômatos P. Blauth Menezes blauth@inf.ufrgs.br Departamento de Informática Teórica Instituto de Informática / UFRGS Linguagens Formais e Autômatos - P. Blauth Menezes 1 Linguagens
Leia maisMatemá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 maisINE5317 Linguagens Formais e Compiladores AULA 3: Introdução a Teoria da Computação
INE5317 Linguagens Formais e Compiladores AULA 3: Introdução a Teoria da Computação bas eado em material produzido pelo prof Olinto Jos é Varela Furtado Ricardo Azambuja Silveira INE-CTC-UFSC E-Mail: silveira@inf.ufsc.br
Leia mais1 INTRODUÇÃO E CONCEITOS BÁSICOS
1 INTRODUÇÃO E CONCEITOS BÁSICOS Inicia com uma breve história do surgimento e do desenvolvimento dos conceitos, resultados e formalismos nos quais a Teoria da Computação é baseada. Formalização dos conceitos
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 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 maisApostila 05 Assunto: Linguagens dos tipos 0 e 1
Cursos: Bacharelado em Ciência da Computação e Bacharelado em Sistemas de Informação Disciplinas: (1493A) Teoria da Computação e Linguagens Formais, (4623A) Teoria da Computação e Linguagens Formais e
Leia maisTeoria da Computação Aula 01 Revisão de Conjuntos
Teoria da Computação Aula 01 Revisão de Conjuntos Prof. Esp. Pedro Luís Antonelli Anhanguera Educacional Conjuntos Conjunto e uma estrutura que agrupa objetos e constitui uma base para construir estruturas
Leia maisModelos de Computação
Modelos de Computação 2.ano LCC e LERSI URL: http://www.ncc.up.pt/~nam/aulas/0405/mc Escolaridade: 3.5T e 1P Frequência:Semanalmente serão propostos trabalhos aos alunos, que serão entregues nas caixas
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 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 maisMatemática Discreta - 01
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 01 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
Leia mais1 introdução. capítulo. O que é uma solução computável? Quais são os limites do que pode ser computado? Existem problemas sem solução computacional?
capítulo 1 introdução A ciência da computação é o conhecimento sistematizado da computação. Sua origem é milenar, tendo se desenvolvido em diferentes regiões e épocas. A teoria da computação é a base fundamental
Leia maisProblema A Codificação Símbolos Dado um inteiro n, n é N representação de inteiros 0,1,...,b - 1 numa base b Dado um grafo G, G é conexo?
2 Linguagens Uma linguagem de programação, ou uma língua natural como o Português ou o Inglês, pode ser vista como um conjunto de sequências de símbolos, pertencentes a um conjunto finito. Em Português
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 maisLinguagens Formais e Autômatos P. Blauth Menezes
Linguagens Formais e Autômatos 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 - P. Blauth Menezes
Leia maisUNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO. Prof.ª Danielle Casillo
UNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO Prof.ª Danielle Casillo Nome: Teoria da Computação Créditos: 4 60 horas Período: 2010.2 Horário: segundas e quintas das 20:40 às 22:20
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 maisMáquinas de Turing - Computabilidade
BCC244-Teoria da Computação Prof. Lucília Figueiredo Lista de Exercícios 03 DECOM ICEB - UFOP Máquinas de Turing - Computabilidade 1. Seja L uma linguagem não livre de contexto. Mostre que: (a) Se X uma
Leia maisAplicações da teoria de conjuntos álgebra booleana. Pontifícia Universidade Católica de Goiás Msc. Gustavo Siqueira Vinhal 2016/1
Aplicações da teoria de conjuntos álgebra booleana Pontifícia Universidade Católica de Goiás Msc. Gustavo Siqueira Vinhal 2016/1 CONJUNTOS Conjuntos são fundamentais para formalização de qualquer teoria.
Leia maisDisciplina: LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE Prof. Jefferson Morais
UNIVERSIDADE FEDERAL DO PARÁ INSTITUTO DE CIÊNCIAS EXATAS E NATURAIS FACULDADE DE COMPUTAÇÃO CURSO DE BACHARELADO EM CIÊNCIA DA COMPUTAÇÃO Disciplina: LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE Prof.
Leia maisUNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO. Prof.ª Danielle Casillo
UNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO Prof.ª Danielle Casillo Diferentes computadores podem ter diferentes arquiteturas e os diversos tipos de linguagem de programação.
Leia maisProf. Jorge Cavalcanti
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 01 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
Leia maisLinguagens Regulares. Prof. Daniel Oliveira
Linguagens Regulares Prof. Daniel Oliveira Linguagens Regulares Linguagens Regulares ou Tipo 3 Hierarquia de Chomsky Linguagens Regulares Aborda-se os seguintes formalismos: Autômatos Finitos Expressões
Leia maisIBM1088 Linguagens Formais e Teoria da
IBM1088 Linguagens Formais e Teoria da Computação Linguagens e Gramáticas Evandro Eduardo Seron Ruiz evandro@usp.br Universidade de São Paulo E.E.S. Ruiz (USP) LFA 1 / 47 Frase do dia Sofremos muito com
Leia maisLinguagens Formais e Problemas de Decisão
Linguagens Formais e Problemas de Decisão Mário S. Alvim (msalvim@dcc.ufmg.br) Fundamentos de Teoria da Computação (FTC) DCC-UFMG (2018/02) Mário S. Alvim (msalvim@dcc.ufmg.br) Linguagens Formais e Problemas
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 maisCapítulo 1. Os Números. 1.1 Notação. 1.2 Números naturais não nulos (inteiros positivos) Última atualização em setembro de 2017 por Sadao Massago
Capítulo 1 Os Números Última atualização em setembro de 2017 por Sadao Massago 1.1 Notação Números naturais: Neste texto, N = {0, 1, 2, 3,...} e N + = {1, 2, 3, }. Mas existem vários autores considerando
Leia maisCurso de Matemática Aplicada.
Aula 1 p.1/25 Curso de Matemática Aplicada. Margarete Oliveira Domingues PGMET/INPE Sistema de números reais e complexos Aula 1 p.2/25 Aula 1 p.3/25 Conjuntos Conjunto, classe e coleção de objetos possuindo
Leia maisLinguagens Formais. Aula 01 - Conceitos Básicos. Prof. Othon Batista Mestre em Informática
Linguagens Formais Aula 01 - Conceitos Básicos Prof. Othon Batista Mestre em Informática Sumário Introdução à Linguagem Alfabeto Cadeias de Símbolos, Palavras Tamanho de Palavra Prefixo, Sufixo ou Subpalavra
Leia maisCentro de Informática UFPE
,, Estruturas,, Centro de Informática UFPE 1 ,, 1 2 3 4 2 ,, Introdução Uma matilha de cães Um cacho de uvas Uma quadrilha de ladrões Estes são exemplos de conjuntos. 3 ,, Definição Um conjunto é um coleção
Leia maisCurso: Ciência da Computação Disciplina: Matemática Discreta 3. CONJUNTOS. Prof.: Marcelo Maraschin de Souza
Curso: Ciência da Computação Disciplina: Matemática Discreta 3. CONJUNTOS Prof.: Marcelo Maraschin de Souza 3. Conjuntos Definição: Um conjunto é uma coleção desordenada de zero ou mais objetos, denominados
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 maisLógica e Matemática Discreta
Lógica e Matemática Discreta Teoria Elementar dos Conjuntos Prof Clezio 04 de Junho de 2010 Curso de Ciência da Computação Noções básicas Um conjunto designa-se geralmente por uma letra latina maiúscula:
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 mais2019/01. Estruturas Básicas: Conjuntos, Funções, Sequências, e Somatórios Área de Teoria DCC/UFMG /01 1 / 76
Estruturas Básicas: Conjuntos, Funções, Sequências, e Somatórios Área de Teoria DCC/UFMG 2019/01 Estruturas Básicas: Conjuntos, Funções, Sequências, e Somatórios Área de Teoria DCC/UFMG - 2019/01 1 / 76
Leia maisUNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO. Prof.ª Danielle Casillo
UNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO Prof.ª Danielle Casillo Proposta por Alan Turing em 1936; É universalmente conhecida e aceita como formalização de algoritmo; Teoria
Leia maisUniversidade do Estado de Santa Catarina - UDESC Centro de Ciências Tecnológicas - CCT Licenciatura em Matemática
Universidade do Estado de Santa Catarina - UDESC Centro de Ciências Tecnológicas - CCT Licenciatura em Matemática 2014 Na teoria dos conjuntos três noções são aceitas sem denição (noção primitiva):: Conjunto;
Leia maisResolução Exe 2.12 Monolítico Recursivo
Resolução Exe 2.12 Monolítico Recursivo Recursivo P R é R 1 onde R 1 def (se T1 então R 2 senão R 3 ) R 2 def F; R 3 R 3 def (se T2 então R 4 senão R 7 ) R 4 def G; R 5 R 5 def (se T1 então R 7 senão R
Leia maisDemonstrações. Terminologia Métodos
Demonstrações Terminologia Métodos Técnicas de Demonstração Uma demonstração é um argumento válido que estabelece a verdade de uma sentença matemática. Técnicas de Demonstração Demonstrações servem para:
Leia maisÁlgebra Linear e Geometria Analítica
Álgebra Linear e Geometria Analítica Engenharia Electrotécnica Escola Superior de Tecnologia de Viseu www.estv.ipv.pt/paginaspessoais/lucas lucas@mat.estv.ipv.pt 2007/2008 Álgebra Linear e Geometria Analítica
Leia maisProf. Dr. Marcos Castilho. Departamento de Informática/UFPR. 22 de Fevereiro de 2018
22 de Fevereiro de 2018 Motivação O que é um computador? O que é um algoritmo? Para que serve um algoritmo? Quando um algoritmo é bom? A análise de um algoritmo depende do computador? Motivação Em teoria
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 maisInstituto de Matemática e Estatística, UFF Setembro de 2013
Operações Instituto de Matemática e Estatística, UFF Setembro de 2013 ... Sumário.. Boole Um dos pioneiros da lógica matemática e dos estudos da lógica algébrica. Em sua homenagem foi cunhado o termo Álgebra
Leia maisTeoria da Computação. Unidade 1 Conceitos Básicos. Referência Teoria da Computação (Divério, 2000)
Unidade 1 Conceitos Básicos Referência (Divério, 2000) Conceitos Básicos Linguagem Conceito fundamental Forma precisa de expressar problemas Permite um desenvolvimento formal adequado ao estudo da computabilidade
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 maisUniversidade de Caxias do Sul Centro de Ciências Exatas e Tecnologia Departamento de Informática. Matemática Discreta. Márcia Rodrigues Notare
Universidade de Caxias do Sul Centro de Ciências Exatas e Tecnologia Departamento de Informática Caxias do Sul, julho de. ÍNDICE TEORIA DOS CONJUNTOS...4. RELAÇÃO DE PERTINÊNCIA...4. ALGUNS CONJUNTOS IMPORTANTES...4.
Leia maisLinguagem (formal) de alfabeto Σ
Linguagem (formal) de alfabeto Σ Linguagem é qualquer subconjunto de Σ, i.e. qualquer conjunto de palavras de Σ Σ = {a, b} {aa, ab, ba, bb} ou {x x {a, b} e x = 2} {a, aa, ab, ba, aaa, aab, aba,...} ou
Leia maisLÓGICA I ANDRÉ PONTES
LÓGICA I ANDRÉ PONTES 3. Introdução à Teoria dos Conjuntos Um conjunto é uma coleção ou um agregado de objetos. Introduzindo Conjuntos Ex.: O conjunto das vogais; O conjuntos de pessoas na sala; O conjunto
Leia maisUNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO PRÓ-REITORIA DE ENSINO DE GRADUAÇÃO
UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO PRÓ-REITORIA DE ENSINO DE GRADUAÇÃO Rua Dom Manoel de Medeiros, s/n Dois Irmãos 52171-900 Recife-PE Fone: 0xx-81-332060-40 proreitor@preg.ufrpe.br PLANO DE ENSINO
Leia maisMáquinas Universais. Máquina de Turing. Celso Olivete Júnior.
Máquinas Universais Máquina de Celso Olivete Júnior olivete@fct.unesp.br http://www2.fct.unesp.br/docentes/dmec/olivete/ Roteiro Hipótese de Church - Máquinas Universais: Máquina de Máquina de : Noçã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
LINGUGENS FORMIS E UTÔMTOS Introdução reve Histórico Em 1936, lan Turing (matemático) propôs a possibilidade de se construir um computador digital através da formalização de um procedimento em tempo finito.
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 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 maisLinguagens Formais e Autômatos
Linguagens Formais e Autômatos Prof. Yandre Maldonado - 1 Prof. Yandre Maldonado e Gomes da Costa Problema: definir um conjunto de cadeias de símbolos; Prof. Yandre Maldonado - 2 Exemplo: conjunto M dos
Leia maisUNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO PRÓ-REITORIA DE ENSINO DE GRADUAÇÃO
UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO PRÓ-REITORIA DE ENSINO DE GRADUAÇÃO Rua Dom Manoel de Medeiros, s/n Dois Irmãos 52171-900 Recife-PE Fone: 0xx-81-332060-40 proreitor@preg.ufrpe.br PLANO DE ENSINO
Leia maisS. C. Coutinho. Máquina de Turing Universal p. 1/22
Máquina de Turing Universal S. C. Coutinho Máquina de Turing Universal p. 1/22 Objetivo Descrever uma máquina de Turing U, capaz de simular qualquer outra máquina de Turing M. Para isto a máquina deve
Leia maisExemplo preliminar. Considere a linguagem dos Palíndromos Lpal:
a n b n 1 Exemplo preliminar Considere a linguagem dos Palíndromos Lpal: radar, Roma é amor, 0110, 11011,... ou seja, quando w = w r Lpal é regular? usando o Lema do Bombeamento: Suponha Lpal regular,
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 mais1 Operações com conjuntos
Notas sobre Conjuntos (2) Anjolina Grisi de Oliveira 1 Operações com conjuntos Definição 1 (União) Sejam A e B dois conjuntos arbitrários. A união dos conjuntos A e B, denotada por A B, é o conjunto que
Leia maisTeoria da Computação. Computabilidade e complexidade computacional
Teoria da Computação Computabilidade e complexidade computacional 1 Computabilidade e Complexidade Computabilidade: verifica a existência de algoritmos que resolva uma classe de linguagens trata a possibilidade
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 maisMATEMÁTICA. Aula 2 Teoria dos Conjuntos. Prof. Anderson
MATEMÁTICA Aula 2 Teoria dos Conjuntos Prof. Anderson CONCEITO Na teoria dos conjuntos, um conjunto é descrito como uma coleção de objetos bem definidos. Estes objetos são chamados de elementos ou membros
Leia maisLógica Proposicional e Álgebra de Boole
Lógica Proposicional e Álgebra de Boole A lógica proposicional remonta a Aristóteles, e teve como objectivo modelizar o raciocínio humano. Partindo de frases declarativas ( proposições), que podem ser
Leia maisUNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO. Prof.ª Danielle Casillo
UNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO TEORIA DA COMPUTAÇÃO Aula 03 Programas (Monolítico e Iterativo) Prof.ª Danielle Casillo Programas, Máquinas e Computações Diferentes
Leia maisLinguagens Formais e Autômatos P. Blauth Menezes
Linguagens Formais e Autômatos P. Blauth Menezes blauth@inf.ufrgs.br Departamento de Informática Teórica Instituto de Informática / UFRGS Linguagens Formais e Autômatos - P. Blauth Menezes 1 Linguagens
Leia maisFaculdade de Computação
UNIVERSIDADE FEDERAL DE UBERLÂNDIA Faculdade de Computação Disciplina : Teoria da Computação - 1 0 Semestre 007 Professora : Sandra Aparecida de Amo Solução da Lista de Exercícios n o 1 Exercícios de Revisão
Leia maisRevisões de Conjuntos
Revisões de Conjuntos {, {a}, {b}, {a, b}} a A a pertence a A, a é elemento de A a {a, b, c} a / A a não pertence a A d / {a, b, c} A B A contido em B, A subconjunto de B x A x B {a, b} {b, c, a} A B A
Leia maisSeja 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?
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
Leia maisGramática. Prof. Yandre Maldonado e Gomes da Costa. Prof. Yandre Maldonado - 1
Prof. Yandre Maldonado - 1 Prof. Yandre Maldonado e Gomes da Costa yandre@din.uem.br Prof. Yandre Maldonado - 2 Mecanismo gerador que permite definir formalmente uma linguagem; Através de uma gramática
Leia maisGramática. Gramática. Gramática
Prof. Yandre Maldonado - 1 Prof. Yandre Maldonado e Gomes da Costa yandre@din.uem.br Prof. Yandre Maldonado - 2 Mecanismo gerador que permite definir formalmente uma linguagem; Através de uma gramática
Leia mais