INE0003 FUNDAMENTOS DE MATEMÁTICA DISCRETA



Documentos relacionados
II. DEFINIÇÕES INICIAIS 1

MÉTODOS DISCRETOS EM TELEMÁTICA

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

Capítulo 2. Álgebra e imagens binárias. 2.1 Subconjuntos versus funções binárias

Universidade Estadual de Santa Cruz. Departamento de Ciências Exatas e Tecnológicas. Especialização em Matemática. Disciplina: Estruturas Algébricas

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

Breve referência à Teoria de Anéis. Álgebra (Curso de CC) Ano lectivo 2005/ / 204

Álgebra Booleana. Introdução ao Computador 2010/01 Renan Manola

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

AULA 6 LÓGICA DOS CONJUNTOS

INE0003 FUNDAMENTOS DE MATEMÁTICA DISCRETA

ESPAÇOS QUOCIENTES DANIEL SMANIA. [x] := {y X t.q. x y}.

RELAÇÕES BINÁRIAS Produto Cartesiano A X B

MD Teoria dos Conjuntos 1

Conceitos Fundamentais

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

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

UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO PROGRAMA DE EDUCAÇÃO TUTORIAL - MATEMÁTICA PROJETO FUNDAMENTOS DE MATEMÁTICA ELEMENTAR

FUNÇÃO COMO CONJUNTO R 1. (*)= ou, seja, * possui duas imagens. b) não é uma função de A em B, pois não satisfaz a segunda condição da

Função. Definição formal: Considere dois conjuntos: o conjunto X com elementos x e o conjunto Y com elementos y. Isto é:

Processamento e Análise de Imagens (MC940) Análise de Imagens (MO445)

Sistemas de Numerações.

Universidade Federal de Viçosa Centro de Ciências Exatas Departamento de Matemática 3 a Lista - MAT Introdução à Álgebra Linear 2013/I

AS ÁLGEBRAS DOS OPERADORES DE CONSEQÜÊNCIA

3 Sistemas de Numeração:

SISTEMAS DIGITAIS Prof. Ricardo Rodrigues Barcelar

Programa de Formação Contínua em Matemática para Professores do 1.º e 2.º Ciclos do Ensino Básico. I. Conjuntos

ÁLGEBRA BOOLEANA. Foi um modelo formulado por George Boole, por volta de 1850.

Álgebra Linear. Mauri C. Nascimento Departamento de Matemática UNESP/Bauru. 19 de fevereiro de 2013

Sistemas Digitais Álgebra de Boole Binária e Especificação de Funções

ARQUITETURA DE COMPUTADORES. Sistemas de Numeração. 1 Arquitetura de Computadores

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

QUESTÕES COMENTADAS E RESOLVIDAS

INE0003 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

ESTRUTURAS DE DADOS II MSc. Daniele Carvalho Oliveira

Dicas para a 6 a Lista de Álgebra 1 (Conteúdo: Homomorfismos de Grupos e Teorema do Isomorfismo para grupos) Professor: Igor Lima.

Notas de Aula - Álgebra de Boole Parte 1

Disciplina: Introdução à Álgebra Linear

Só Matemática O seu portal matemático FUNÇÕES

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

Outras Realidades. Ou: Quão bem conhecemos as nossas operações elementares?

ÁLGEBRA. Isidorio Rodrigues Queiroz. Rio de Janeiro / 2009 TODOS OS DIREITOS RESERVADOS À UNIVERSIDADE CASTELO BRANCO

Álgebra de Boole e Teorema de De Morgan Prof. Rômulo Calado Pantaleão Camara. Carga Horária: 2h/60h

Raciocínio Lógico Matemático Caderno 1

OTIMIZAÇÃO VETORIAL. Formulação do Problema

FUNÇÃO REAL DE UMA VARIÁVEL REAL

BCC202 - Estrutura de Dados I

Autómatos Finitos Determinísticos

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

Corpos. Um domínio de integridade finito é um corpo. Demonstração. Seja D um domínio de integridade com elemento identidade

ficha 3 espaços lineares

SISTEMAS DIGITAIS Prof. Ricardo Rodrigues Barcelar

Somatórias e produtórias

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

Aula 5 - Matemática (Gestão e Marketing)

Lista de Exercícios 4: Soluções Sequências e Indução Matemática

Banco de Dados. Álgebra Relacional. Prof. Enzo Seraphim

Monografia sobre R ser um Domínio de Fatoração Única implicar que R[x] é um Domínio de Fatoração Única.

Representação de Conhecimento. Lógica Proposicional

Universidade Federal de Mato Grosso do Sul Faculdade de Computação Disciplina de Verão: Algoritmos e Programação II

Funções Lógicas e Portas Lógicas

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

Capítulo 7. Topologia Digital. 7.1 Conexidade

Trabalho compilado da Internet Prof. Claudio Passos. Sistemas Numéricos

Potenciação no Conjunto dos Números Inteiros - Z

Introdução. de Eletrônica Digital (Parte II) Universidade Federal de Campina Grande Departamento de Sistemas e Computação. Carga Horária: 60 horas

Matéria: Matemática Assunto: Divisores e Múltiplos Prof. Dudan

Análise e Complexidade de Algoritmos

Linguagens Formais e Autômatos. Alfabetos, Palavras, Linguagens e Gramáticas

Universidade Federal do ABC. Sinais Aleatórios. Prof. Marcio Eisencraft

1. Sistemas de numeração

CT-234. Análise de Algoritmos e Complexidade Estrutural. Carlos Alberto Alonso Sanches

CAPÍTULO 3 - TIPOS DE DADOS E IDENTIFICADORES

11 a LISTA DE PROBLEMAS DE ÁLGEBRA LINEAR LEIC-Taguspark, LERCI, LEGI, LEE 1 o semestre 2003/04 - semana de

Conjuntos numéricos. Notasdeaula. Fonte: Leithold 1 e Cálculo A - Flemming. Dr. Régis Quadros

Aula 03 Custos de um algoritmo e funções de complexidade

Aula 2 Modelagem de Sistemas. Introdução Modelo de Base Lógica de 1ª Ordem. Concorrentes

Capítulo 1. x > y ou x < y ou x = y

IME, UFF Julho de 2013

Parte 2. Polinômios sobre domínios e corpos

Algoritmos e Linguagens de Programação. Álgebra Booleana. Faculdade Pitágoras Prof. Edwar Saliba Júnior Abril de Unidade Álgebra Booleana

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

Processamento e Otimização de Consultas

PLANEJAMENTO ANUAL DE. MATEMÁTICA 7º ano

PONTIFÍCIA UNIVERSIDADE CATÓLICA DO PARANÁ CURSO DE ENGENHARIA CIVIL DISCIPLINA DE CÁLCULO DIFERENCIAL E INTEGRAL I

Organização de Computadores. Cálculos Binários e Conversão entre Bases Aritmética Binária

PROGRAMAÇÃO EM LINGUAGEM LADDER LINGUAGEM DE RELÉS

Título: Sistemas Lineares no CAp UFRJ: Interpretações Algébrica e Gráfica

Introdução à Álgebra Max-Plus III Colóquio de Matemática da Região Sul

Universidade Federal do Vale do São Francisco. Estruturas de Dados. Professor: Marcelo Santos Linder

UNIVERSIDADE FEDERAL DO MARANHÃO - UFMA. Banco de Dados II. Integridade. Carlos Eduardo Portela Serra de Castro

MATRIZES Matriz quadrada Matriz linha e matriz coluna Matriz diagonal Matriz identidade

Complexidade de Algoritmos

MATERIAL MATEMÁTICA I

FUNÇÃO. Exemplo: Dado os conjuntos A = { -2, -1, 0, 1, 2} e B = {0, 1, 2, 3, 4, 5} São funções de A em B as relações a) R 1 = {(x,y) AXB/ y = x + 2}

Prof. Raul Sidnei Wazlawick UFSC-CTC-INE. Fonte: Análise e Projeto de Sistemas de Informação Orientados a Objetos, 2ª Edição, Elsevier, 2010.

BOM DIA!! ÁLGEBRA. Aula 3 COM JENNYFFER LANDIM. jl.matematica@outlook.com

Transcrição:

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 7.2) Semigrupos 7.3) Produtos e Quocientes de Semigrupos 7.4) Grupos 7.5) Produtos e Quocientes de Grupos Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.2/52

ÁLGEBRA ABSTRATA Noção familiar: Álgebra Elementar. Exemplo: adição e multiplicação sobre os inteiros. Essência: operação binária sobre um conjunto de elementos. Abstração: recurso poderoso. Consiste em isolar a essência do problema. Conexão entre problemas aparentemente não relacionados. Problemas complexos viram simples casos particulares de esquema mais geral. Uma vez identificada a classe de um problema, pode-se aproveitar resultados prontos. Ponto de vista de modelagem em Ciência da Computação: interessa justamente mais o esquema geral do que os detalhes abstração permite focar apenas no que interessa Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.3/52

OPERAÇÕES BINÁRIAS Precisamos de uma definição precisa desta idéia familiar. Operação Binária sobre um conjunto A: função f : A A A definida para todo par ordenado de elementos de A apenas um elemento de A é atribuído a cada par de A A Ou seja: regra que atribui um único elemento de A a cada par ordenado de elementos de A. Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.4/52

OPERAÇÕES BINÁRIAS Notação: como se trata de uma função, o normal seria denotar o elemento atribuído a (a, b) por (a, b) mas o usual é a b Importante: lembrar que a b A também se diz que A é fechado sob a operação Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.5/52

OPERAÇÕES BINÁRIAS Exemplo 1(/6): Seja A = Z. Defina a b como a + b. Então é uma operação binária sobre Z Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.6/52

OPERAÇÕES BINÁRIAS Exemplo 2(/6): Seja A = R. Defina a b como a/b. Então não é uma operação binária pois não é definida para todo par ordenado de A A por exemplo, 3 0 não é definida Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.7/52

OPERAÇÕES BINÁRIAS Exemplo 3(/6): Seja A = Z +. Defina a b como a b. Então não é uma operação binária: não atribui um elemento de A para todo par de A A por exemplo, 2 5 / A Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.8/52

OPERAÇÕES BINÁRIAS Exemplo 4(/6): Seja A = Z. Defina a b como um número menor do que a e do que b. Então não é uma operação binária: não atribui um elemento único de A para todo par de A A por exemplo, 8 6 poderia ser 5, 4, 3, 2, 1, etc. Neste caso, seria uma relação de A A para A mas não uma função Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.9/52

OPERAÇÕES BINÁRIAS Exemplo 5(/6): Seja A = Z. Defina a b como max{a, b}. Então é uma operação binária: 2 4 = 4 3 ( 5) = 3 Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.10/52

OPERAÇÕES BINÁRIAS Exemplo 6(/6): Seja A = P (S), para algum conjunto S. Sejam V e W dois subconjuntos de S. V W definida como V W é uma operação binária sobre A. Mas: V W definida como V W também. Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.11/52

OPERAÇÕES BINÁRIAS Note que é possível definir muitas operações binárias sobre o mesmo conjunto. Exemplo: Seja M o conjunto de todas as matrizes Booleanas. São operações binárias: A B definido como A B A B definido como A B Exemplo: Seja L um reticulado. São operações binárias sobre L: a b definido como a b ( GLB de a e b) a b definido como a b ( LUB de a e b) Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.12/52

OPERAÇÕES BINÁRIAS & TABELAS Pode-se definir uma operação binária sobre um conjunto A = {a 1, a 2,..., a n } por meio de uma tabela: a 1 a 2... a j... a n a 1 a 2... a i... a i a j a n Elemento na posição i, j denota a i a j Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.13/52

OPERAÇÕES BINÁRIAS & TABELAS Exemplo: Operações e sobre A = {0, 1}: 0 1 0 0 1 1 1 1 0 1 0 0 0 1 0 1 Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.14/52

NÚMERO DE OPERAÇÕES BINÁRIAS Seja A = {a, b}. O número de operações binárias que podem ser definidas sobre A é: toda operação binária sobre A pode ser descrita pela tabela: a b a b como cada espaço vazio pode ser preenchido com a ou b: há 2 2 2 2 = 2 4 = 16 modos de completar a tabela Logo, existem 16 operações binárias possíveis sobre A. Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.15/52

PROPRIEDADES DAS OPERAÇÕES BINÁRIAS Prop1: Uma operação binária é comutativa se: a b = b a a, b A Exemplo: a + b sobre A = Z é comutativa. Exemplo: a b sobre A = Z não é comutativa, pois: 2 3 3 2 Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.16/52

PROPRIEDADES DAS OPERAÇÕES BINÁRIAS Uma operação binária definida por uma tabela é simétrica se e somente se a tabela é simétrica. Exemplo: Sejam as operações binárias sobre A: a b c d a a c b d b b c b a c c d b c d a a b b a b c d a a c b d b c d b a c b b a c d d a c d Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.17/52

PROPRIEDADES DAS OPERAÇÕES BINÁRIAS Prop2: Uma operação binária é associativa se: a (b c) = (a b) c a, b, c A Exemplo: a + b sobre A = Z é associativa. Exemplo: a b sobre A = Z não é associativa, pois: 2 (3 5) (2 3) 5 Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.18/52

PROPRIEDADES DAS OPERAÇÕES BINÁRIAS Exemplo: A operação binária a b = a b, sobre um reticulado L, é comutativa e associativa. Também é idempotente: a a = a. Nota: o converso disto é parcialmente verdadeiro... Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.19/52

PROPRIEDADES DAS OPERAÇÕES BINÁRIAS Exemplo: Seja uma operação binária sobre A que satisfaz: a = a a a b = b a a (b c) = (a b) c (idempotência) (comutatividade) (associatividade) E seja uma relação sobre A definida por: a b se e somente se a = a b Então, mostre que: 1) (A, ) é um poset 2) GLB(a, b) = a b, a, b A Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.20/52

PROPRIEDADES DAS OPERAÇÕES BINÁRIAS Exemplo (cont.): 1) Mostrando que (A, ) é um poset: reflexiva: como a = a a, temos que a a, a A antissimétrica: se a b e b a, então: a = a b = b a = b transitiva: se a b e b c, então: a = a b = a (b c) = (a b) c = a c Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.21/52

PROPRIEDADES DAS OPERAÇÕES BINÁRIAS Exemplo (cont.): 2) Mostrando que a b = a b: temos que: a b = a (b b) = (a b) b de modo que: a b b similarmente: a b a conclusão: a b é uma cota inferior para a e b agora, se c a e c b: c = c a e c = c b portanto: c = (c a) b = c (a b) de modo que: c a b conclusão: a b é a maior cota superior de a e b. Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.22/52