Você está na página 1de 12

PCS 2215

Sistemas Digitais I

Mdulo 05c Complementos de Estruturas


Algbricas
Marco Tlio Carvalho de Andrade
Professor Responsvel
Verso: 2.0 (Setembro de 2.013)

Andrade, Corra, Gomi e Margi 2.013

< Complementos de Estruturaslgebricas >

PCS 2215

Sistemas Digitais I

Contedo
Complementos de Estruturas Algbricas
lgebra
Estrutura Algbrica Sistema Algbrico
Estruturas Algbricas Exemplos:
Semigrupo
Monide
Grupo

Andrade, Corra, Gomi e Margi 2.013

Anel
Corpo
Reticulado

< Complementos de Estruturaslgebricas >

PCS 2215

Sistemas Digitais I

1
1

lgebra

lgebra = derivado de al-jabr.


Parte do Ttulo do Livro: Hisab al-jabr walmuqabala; escrito em 820 DC pelo
matemtico e astrnomo al-khowrizmi.
Uma traduo para o ingls [Hein-2010] do
Ttulo do Livro :
Calculations by Restoration and Reduction.

Andrade, Corra, Gomi e Margi 2.013

< Complementos de Estruturaslgebricas >

PCS 2215

Sistemas Digitais I

lgebra

De onde se deduz que:


al-jabr Restoration & Reduction
Restoration refere-se a uma tcnica de
adio e subtrao de um nmero, de ambos
os lados de uma equao.
Reduction refere-se tcnica de
simplificao.
lgebra

Equaes
Manipulaes
Simplificaes

Andrade, Corra, Gomi e Margi 2.013

< Complementos de Estruturaslgebricas >

PCS 2215

Sistemas Digitais I

2
2

lgebra

Algortmo Provm do nome do Autor do


Livro citado al-khowrizmi mal pronunciado, que se refere a um mtodo de calcular
que faz uso de numerais Hinds.
Simplificao O ato de simplificar vago e
as perguntas que ficam so: Simplificar O
QUE? O que SIMPLIFICAR?
Usa-se lgebra para descrever e/ou modelar
problemas reais e os mtodos de simplificao para extrair solues.
Andrade, Corra, Gomi e Margi 2.013

< Complementos de Estruturaslgebricas >

PCS 2215

Sistemas Digitais I

lgebra

Uma parte importante da soluo de problemas o processo de transformar problemas


descritos com palavras informais texto
informal em linguagem natural em elementos formais tais como equaes, expresses,
algortmos, etc.
Outra parte importante transformar a descrio e/ou representao formal em solues.
Andrade, Corra, Gomi e Margi 2.013

< Complementos de Estruturaslgebricas >

PCS 2215

Sistemas Digitais I

3
3

lgebra

A transformao da descrio formal em


solues obtida pela resoluo de equaes, simplificao de expresses, e implementao de algortmos.
Uma lgebra deve proporcionar ferramentas e tcnicas para auxiliar que problemas
descritos de maneira informal sejam transformados em uma descrio formal e que
isto seja de auxlio obteno de solues
para estes.
Andrade, Corra, Gomi e Margi 2.013

< Complementos de Estruturaslgebricas >

PCS 2215

Sistemas Digitais I

lgebra

O mecanismo de descrio deve ser tal que


que permita uma descrio correta por
construo, precisa, clara e consistente.
lgebra [Hein-2010] Estrutura que consiste de um ou mais conjuntos e com uma
ou mais operaes definidas sobre elementos destes.
Sistema Algbrico Notao:
<S , f1 , f2 , . . . >
Conjunto (S); Operaes f1, f2, etc.
Andrade, Corra, Gomi e Margi 2.013

< Complementos de Estruturaslgebricas >

PCS 2215

Sistemas Digitais I

4
4

Estrutura Algbrica Sistema Algbrico


Estrutura Algbrica Sistema Algbrico.
Quando usar um Sistema Algbrico ou um
Diagrama Lgico?
Sistema Algbrico Quando o uso de Expresses
Algbricas for necessrio por permitir manipulaes com maior facilidade.
Diagrama Lgico Permite encontrar simplificaes com maior facilidade, pois sua visualizao
mais direta.

Andrade, Corra, Gomi e Margi 2.013

< Complementos de Estruturaslgebricas >

PCS 2215

Sistemas Digitais I

Estrutura Algbrica Sistema Algbrico


Sistema Algbrico Estrutura Algbrica Sistema que consiste de um conjunto de uma ou mais
operaes n-rias, fechadas, sobre elementos
pertencentes ao conjunto.
Operao Fechada O resultado da operao
um elemento pertencente ao mesmo conjunto do
qual foram tirados os operandos.
Operao Unria Aplicao f de {0,1} em {0,1}:
f : {0,1} {0,1}
f : Z2 Z2
Andrade, Corra, Gomi e Margi 2.013

< Complementos de Estruturaslgebricas >

PCS 2215

Sistemas Digitais I

10

5
5

Estrutura Algbrica Sistema Algbrico


Operao Binria Aplicao f, do Produto
Cartesiano de {0,1} por {0,1}, em {0,1}:
f : {0,1} X {0,1} {0,1}
f : {0,1}2 {0,1}
f : Z22 Z2
Z22 = Z2 X Z2 = {0,1} X {0,1}
Z22 = {(0,0),(0,1),(1,0),(1,1)}
f : {(0,0),(0,1),(1,0),(1,1)} {0,1}

Andrade, Corra, Gomi e Margi 2.013

< Complementos de Estruturaslgebricas >

PCS 2215

Sistemas Digitais I

11

Estrutura Algbrica Sistema Algbrico


Operao n-ria Aplicao f, do Produto
Cartesiano de {0,1} por {0,1} por {0,1} por
por {0,1}, em {0,1}:
f : {0,1} X {0,1} X X {0,1} {0,1}
f : {0,1}n {0,1}
f : Z2n Z2
Z2n = Z2 X X Z2 = {0,1} X X {0,1}
Z2n = {(0,,0),(0,,1),(1,,0),(1,,1)}
f : {(0,,0),(0,,1),(1,,0),(1,,1)} {0,1}
Andrade, Corra, Gomi e Margi 2.013

< Complementos de Estruturaslgebricas >

PCS 2215

Sistemas Digitais I

12

6
6

Estrutura Algbrica Sistema Algbrico


Sistema Algbrico Estrutura Algbrica:
Elementos (objetos); Operadores; Propriedades.

A aplicao de operadores a elementos permite


verificar algumas propriedades que dependem da
forma como se definiu o operador.
Os Sistemas Algbricos guardam propriedades
em comum.
Motivam o estudo dos Sistemas Algbricos Abstratos (SAA`s), para os quais estas propriedades
so tomadas como axiomas.
Andrade, Corra, Gomi e Margi 2.013

< Complementos de Estruturaslgebricas >

PCS 2215

Sistemas Digitais I

13

Estrutura Algbrica Sistema Algbrico


Qualquer resultado vlido para um Sistema
Algbrico Abstrato (SAA), mantm sua validade
para todos os SAA`s para os quais os axiomas do
SAA original tambm so vlidos.

Andrade, Corra, Gomi e Margi 2.013

< Complementos de Estruturaslgebricas >

PCS 2215

Sistemas Digitais I

14

7
7

Estruturas Algbricas Exemplos:


Estruturas Algbricas Exemplos:

Semigrupo
Monide
Grupo

Andrade, Corra, Gomi e Margi 2.013

Anel
Corpo
Reticulado

< Complementos de Estruturaslgebricas >

PCS 2215

Sistemas Digitais I

15

Estruturas Algbricas Exemplos: Semigrupo


Estruturas Algbricas Exemplos: Semigrupo
Semigrupo < S , o >.
a mais simples das Estruturas Algbricas.
O operador satisfaz as propriedades do
Fechamento e da Associatividade.
Aplicaes: Linguagens formais, mquinas
sequenciais.

Andrade, Corra, Gomi e Margi 2.013

< Complementos de Estruturaslgebricas >

PCS 2215

Sistemas Digitais I

16

8
8

Estruturas Algbricas Exemplos: Monide


Estruturas Algbricas Exemplos: Monide
Monide < S , >.
Alm das propriedades do Semigrupo satisfaz a
propriedade da identidade:
Existe elemento I tal que
a I = I a = a
Aplicaes: Linguagens formais e anlise
sinttica.
Andrade, Corra, Gomi e Margi 2.013

< Complementos de Estruturaslgebricas >

PCS 2215

Sistemas Digitais I

17

Estruturas Algbricas Exemplos: Grupo


Estruturas Algbricas Exemplos: Grupo
Grupo < S , >. Grupos so monides que possuem a propriedade da inverso Cada elemento
x possui um nico correspondente elemento
inver-so x-1. Existe o elemento inverso x-1 tal que:
x-1 x = x x-1 = I
Aplicaes: Projetos de somadores e cdigos de
correo de erros.
Grupo Abeliano um grupo no qual a operao
comutativa.
Andrade, Corra, Gomi e Margi 2.013

< Complementos de Estruturaslgebricas >

PCS 2215

Sistemas Digitais I

18

9
9

Estruturas Algbricas Exemplos: Anel


Estruturas Algbricas Exemplos: Anel
Anel < S , + , > Sistema Algbrico cujas
operaes + e satisfazem as trs propriedades
seguintes:
1-) < S , + > um Grupo Abeliano;
2-) < S , + , > um Semigrupo;
3-) A operao distributiva com relao
operao +:
a (b + c) = a b + a c
(b + c) a = b a + c a
Andrade, Corra, Gomi e Margi 2.013

< Complementos de Estruturaslgebricas >

PCS 2215

Sistemas Digitais I

19

Estruturas Algbricas Exemplos: Corpo


Estruturas Algbricas Exemplos: Corpo
Corpo (Field) Um Anel comutativo < S , + , >
que tem mais do que um elemento, de maneira
que, cada elemento no-zero de S tenha um
inverso multiplicativo em S chamado de Corpo.

Andrade, Corra, Gomi e Margi 2.013

< Complementos de Estruturaslgebricas >

PCS 2215

Sistemas Digitais I

20

10
10

Estruturas Algbricas Exemplos: Reticulado


Estruturas Algbricas Exemplos: Reticulado.
Reticulado Sistema Algbrico < L , + , > com
duas operaes binrias, onde L um conjunto
parcialmente ordenado L = (L, ).
Reticulado < L , + , > < (L, ) , + , >.

Andrade, Corra, Gomi e Margi 2.013

< Complementos de Estruturaslgebricas >

PCS 2215

Sistemas Digitais I

21

Sistemas Digitais I

22

Estruturas Algbricas Exemplos:


Estruturas Algbricas Exemplos:
.

Andrade, Corra, Gomi e Margi 2.013

< Complementos de Estruturaslgebricas >

PCS 2215

11
11

Bibliografia
Fernndez, Gregrio; Saez Vacas, Fernando;
Fundamentos de Informtica, Alianza
Editorial, Coleccin Alianza Informtica, 1.987.
Gersting, Judith L.; Fundamentos Matemticos
Para a Cincia da Computao, LTC - Livros
Tcnicos e Cientficos Editora S. A., 1.995.
Hein, James L.; Discrete Structures, Logic and
Computability, Jones and Bertlett Publishers,
Sudbury, MA, USA, 2010.
Andrade, Corra, Gomi e Margi 2.013

< Complementos de Estruturaslgebricas >

PCS 2215

Sistemas Digitais I

23

Bibliografia
Johnsonbaugh, Richard; Discrete Mathematics, 3 Edio, Macmillan Publishing Company, 1.993.
Mendelson, Elliott; lgebra Booleana e Circuitos de Chaveamento, Coleo Schaum,
Editora McGraw-Hill, 1.977.
Tremblay, J. P. and Monohar, R.; Discrete
Mathematical Structures With Applications
to Computer Science, McGraw-Hill, 1.975.
Andrade, Corra, Gomi e Margi 2.013

< Complementos de Estruturaslgebricas >

PCS 2215

Sistemas Digitais I

24

12
12