Você está na página 1de 62

Matemtica Discreta para

Computao e Informtica
P. Blauth Menezes
blauth@inf.ufrgs.br

Departamento de Informtica Terica


Instituto de Informtica / UFRGS

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 1


Matemtica Discreta para Computao e Informtica

P. Blauth Menezes

1 Introduo e Conceitos Bsicos


2 Noes de Lgica e Tcnicas de Demonstrao
3 lgebra de Conjuntos
4 Relaes
5 Funes Parciais e Totais
6 Endorrelaes, Ordenao e Equivalncia
7 Cardinalidade de Conjuntos
8 Induo e Recurso
9 lgebras e Homomorfismos
10 Reticulados e lgebra Booleana
11 Concluses

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 2


1 Introduo e Conceitos
Bsicos
1.1 Introduo
1.2 Conceitos Bsicos de Teoria dos Conjuntos
1.2.1 Conjuntos
1.2.2 Pertinncia
1.2.3 Alguns Conjuntos Importantes
1.2.4 Conjuntos Finitos e Infinitos
1.2.5 Alfabetos, Palavras e Linguagens
1.2.6 Subconjunto e Igualdade de Conjuntos
1.2.7 Conjuntos nas Linguagens de Programao

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 3


1.1 Introduo
QQ estudo em Cincia da Computao, terico ou
aplicado
pr-requisito: conhecimentos de diversos tpicos de Matemtica

tal fato explicitado na maioria dos livros de CC


alguns possuem um captulo especfico
tpicos so brevemente/resumidamente introduzidos

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 4


Diretrizes Curriculares do MEC para Cursos de
Computao e Informtica [MEC 2002]

A formao bsica tem por objetivo introduzir as matrias


necessrias ao desenvolvimento tecnolgico da computao. O
principal ingrediente desta rea a cincia da computao que
caracteriza o egresso como pertencente rea de computao. A
maioria das matrias tecnolgicas so aplicaes da cincia da
computao. So matrias de formao bsica dos cursos da rea
de computao: a cincia da computao, a matemtica, a fsica
e eletricidade e a pedagogia.

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 5


Especificamente em relao Matria Matemtica

A matemtica, para a rea de computao, deve ser vista como


uma ferramenta a ser usada na definio formal de conceitos
computacionais (linguagens, autmatos, mtodos etc.). Os
modelos formais permitem definir suas propriedades e
dimensionar suas instncias, dadas suas condies de contorno.

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 6


Matemtica Discreta
seleo de tpicos de Matemtica

essenciais para o estudo da Cincia da Computao

na Formao Bsica e Tecnolgica

Considerando que a maioria dos conceitos computacionais


pertencem ao domnio do discreto, a matemtica discreta (ou
tambm chamada lgebra abstrata) fortemente empregada

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 7


No cobre todos os tpicos de Matemtica Discreta
Anlise Combinatria
Probabilidade Discreta
Teoria dos Grafos (brevemente introduzida)

Questo importante
origem do termo Matemtica Discreta

Qq sistema computador possui limitaes finitas


tamanho da memria
nmero de intrues que pode executar
nmero de diferentes smbolos que pode tratar,
portanto, o estudo dos conjuntos finitos fundamental.

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 8


Limitaes finitas no implicam em limitao ou pr-
fixao de tamanhos mximos
por exemplo, unidades auxiliares como discos removveis, fitas, etc

Portanto, para um correto entendimento da


computao
freqentemente no possvel pr-fixar limites
implica tratar tais questes em um contexto infinito

Entretanto, qq conjunto de recursos computacionais


contvel ou discreto (em oposio ao termo continuo)
pode ser enumerados ou seqenciado (segundo algum critrio)
no existe um elemento entre quaisquer dois outros

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 9


Exemplo
conjunto dos nmeros naturais contvel

Contra-exemplo
conjunto dos nmeros reais o qual no-contvel ou no-discreto

Concluso
existem conjuntos infinitos contveis e no-contveis

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 10


Matemtica Discreta
estudos baseados em conjuntos contveis finitos ou infinitos

Matemtica do Continuum
estudos baseados em conjuntos no-contveis

exemplo: Clculo Diferencial e Integral

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 11


1 Introduo e Conceitos
Bsicos
1.1 Introduo
1.2 Conceitos Bsicos de Teoria dos Conjuntos
1.2.1 Conjuntos
1.2.2 Pertinncia
1.2.3 Alguns Conjuntos Importantes
1.2.4 Alfabetos, Palavras e Linguagens
1.2.5 Conjuntos Finitos e Infinitos
1.2.6 Subconjunto e Igualdade de Conjuntos
1.2.7 Conjuntos nas Linguagens de Programao

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 12


1.2 Conceitos Bsicos de Teoria dos
Conjuntos
Conceitos bsicos relativos Teoria dos Conjunto
possivelmente, do conhecimento da maioria

reviso e exemplos

exerccios!

nfase nos exemplos voltados para Cincia da Computao

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 13


1 Introduo e Conceitos
Bsicos
1.1 Introduo
1.2 Conceitos Bsicos de Teoria dos Conjuntos
1.2.1 Conjuntos
1.2.2 Pertinncia
1.2.3 Alguns Conjuntos Importantes
1.2.4 Conjuntos Finitos e Infinitos
1.2.5 Alfabetos, Palavras e Linguagens
1.2.6 Subconjunto e Igualdade de Conjuntos
1.2.7 Conjuntos nas Linguagens de Programao

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 14


1.2.1 Conjuntos
Conceito de conjunto fundamental
praticamente todos os conceitos em CC

e os correspondentes resultados

so baseados em conjuntos ou construes sobre conjuntos

Conjunto
estrutura que agrupa objetos

constitui uma base para construir estruturas mais complexas

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 15


Informalmente, um conjunto
coleo, sem repeties e sem qualquer ordenao, de objetos
denominados elementos

elemento: pode designar um objeto concreto ou abstrato

elemento: entidade bsica, no definida formalmente

Def: Conjunto
Coleo de zero ou mais objetos distintos, chamados Elementos do
conjunto os quais no possuem qualquer ordem associada

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 16


Exp: Conjuntos
As vogais a, e, i, o, e u
O par de sapatos preferido
Os dgitos 0, 1, 2, 3, 4, 5, 6, 7, 8, e 9
Todos os brasileiros
Os nmeros pares 0, 2, 4, 6,
O personagem Snoopy, a letra a, a baa da Guanabara e o Pel

Conjunto pode ser definido


listando todos os seus elementos

por propriedades declaradas

um conjunto no necessariamente constitudo por objetos que


compartilham mesmas caractersticas/propriedades

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 17


Denotao por extenso
definio listando todos os seus elementos
em qualquer ordem
separados por vrgulas
entre chaves

Vogais = { a, e, i, o, u }

Vogais denota o conjunto { a, e, i, o, u }

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 18


Denotao por compreenso
definio por propriedades

Pares = { n n nmero par }

o conjunto de todos os elementos n tal que n nmero par

forma geral de definio de um conjunto por propriedades

{ x p(x) }

a elemento do conjunto: p(a) verdadeira

B = { x x brasileiro }

Pel elemento de B e Bill Gates no elemento de B

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 19


QQ conjunto pode ser definido por compreenso
Freqentemente conveniente especificar de outra
forma
Dgitos = { 0, 1, 2, 3,, 9 }
Pares = { 0, 2, 4, 6, }
elementos omitidos podem ser facilmente deduzidos do contexto

Exp: Conjuntos
Dias da Semana = { seg, ter, qua, qui, sex, sab, dom }

Seqncias de duas Vogais = { aa, ae, ai, ao, au, ea, ee, ei, eo,
eu,,ua, ue, ui, uo, uu }

{ x x = y2 sendo que y nmero inteiro }


corresponde ao conjunto { 1, 4, 9, 16, }

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 20


1 Introduo e Conceitos
Bsicos
1.1 Introduo
1.2 Conceitos Bsicos de Teoria dos Conjuntos
1.2.1 Conjuntos
1.2.2 Pertinncia
1.2.3 Alguns Conjuntos Importantes
1.2.4 Conjuntos Finitos e Infinitos
1.2.5 Alfabetos, Palavras e Linguagens
1.2.6 Subconjunto e Igualdade de Conjuntos
1.2.7 Conjuntos nas Linguagens de Programao

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 21


1.2.2 Pertinncia
a elemento do conjunto A
aA
a pertence ao conjunto A

Caso contrrio
aA
a no pertence ao conjunto A
Exp: Pertence, No-Pertence
Vogais = { a, e, i, o, u }

a Vogais h Vogais
B = { x x brasileiro }

Pel B Bill Gates B

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 22


1 Introduo e Conceitos
Bsicos
1.1 Introduo
1.2 Conceitos Bsicos de Teoria dos Conjuntos
1.2.1 Conjuntos
1.2.2 Pertinncia
1.2.3 Alguns Conjuntos Importantes
1.2.4 Conjuntos Finitos e Infinitos
1.2.5 Alfabetos, Palavras e Linguagens
1.2.6 Subconjunto e Igualdade de Conjuntos
1.2.7 Conjuntos nas Linguagens de Programao

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 23


1.2.3 Alguns Conjuntos Importantes
Conjunto vazio

especialmente importante

conjunto sem elementos { }

Exp: Conjunto Vazio


Conjunto de todos os brasileiros com mais de 300 anos

Conjunto de todos os nmeros simultaneamente pares e mpares

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 24


Conjunto unitrio
quase to importante como o vazio

constitudo por um nico elemento


existem infinitos conjuntos unitrios

para muitas aplicaes, pode-se usar qualquer conjunto unitrio


importante que o conjunto possui um nico elemento
irrelevante qual o elemento
conjunto unitrio fixado: usualmente denotado por 1

Exp: Conjunto Unitrio


Conjunto constitudo pelo jogador de futebol Pel
Conjunto de todos os nmeros simultaneamente pares e primos
1={*}
Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 25
Alguns Conjuntos importantes na Matemtica e na CC
N Conjunto dos Nmeros Naturais

Z Conjunto dos Nmeros Inteiros

Q Conjunto dos Nmeros Racionais

I Conjunto dos Nmeros Irracionais

R Conjunto dos Nmeros Reais

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 26


1 Introduo e Conceitos
Bsicos
1.1 Introduo
1.2 Conceitos Bsicos de Teoria dos Conjuntos
1.2.1 Conjuntos
1.2.2 Pertinncia
1.2.3 Alguns Conjuntos Importantes
1.2.4 Conjuntos Finitos e Infinitos
1.2.5 Alfabetos, Palavras e Linguagens
1.2.6 Subconjunto e Igualdade de Conjuntos
1.2.7 Conjuntos nas Linguagens de Programao

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 27


1.2.4 Conjuntos Finitos e Infinitos

Um conjunto pode possuir um nmero finito ou infinito de elementos

definio formal de conjunto finito e infinito: adiante

Conjunto finito
pode ser denotado por extenso
listando exaustivamente todos os elementos

Conjunto infinito
caso contrrio

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 28


Exp: Conjunto Finito

{}

Vogais = { a, e, i, o, u }

Dgitos = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 }

{ snoopy, a, baa da Guanabara, Pel }

A = {xNx>0 e x<4}

B = { x x brasileiro }

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 29


Exp: Conjunto Infinito
Z

{xZx0}

Pares = { y y = 2x e x N }

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 30


1 Introduo e Conceitos
Bsicos
1.1 Introduo
1.2 Conceitos Bsicos de Teoria dos Conjuntos
1.2.1 Conjuntos
1.2.2 Pertinncia
1.2.3 Alguns Conjuntos Importantes
1.2.4 Conjuntos Finitos e Infinitos
1.2.5 Alfabetos, Palavras e Linguagens
1.2.6 Subconjunto e Igualdade de Conjuntos
1.2.7 Conjuntos nas Linguagens de Programao

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 31


1.2.5 Alfabetos, Palavras e Linguagens
Linguagem
um dos conceitos mais fundamentais em Cincia da Computao
definida a partir da noo de conjunto

Para a definio de linguagem, necessrio


conceitos de alfabeto
conceitos de cadeia de caracteres

Estudo de linguagens e conceitos correlatos


Linguagens Formais
Compiladores

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 32


Def: Alfabeto
Um conjunto finito

elementos so usalmente denominados de smbolos ou caracteres

Portanto
conjunto vazio um alfabeto

qualquer conjunto infinito no um alfabeto

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 33


Def: Palavra, Cadeia de Caracteres, Sentena
Sobre um alfabeto

seqncia finita de smbolos justapostos

Cadeia sem smbolos


cadeia vazia, palavra vazia ou sentena vazia

Conjunto de todas as palavras sobre um alfabeto


*

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 34


Exp: Alfabeto, Palavra
e { a, b, c } so alfabetos

N no um alfabeto

uma palavra sobre { a, b, c }

uma palavra sobre

a, e, i, o, u, ai, oi, ui, aeiou so palavras sobre Vogais

1, 001 so palavras distintas sobre Digitos

{ a, b }* = { , a, b, aa, ab, ba, bb, aaa, }

* = { }

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 35


Def: Linguagem Formal
Ou simplesmente Linguagem
um conjunto de palavras sobre um alfabeto

Exp: Linguagem Formal: alfabeto = { a, b }

{ } obviamente, { }

conjunto de palndromos

Palndromos = { , a, b, aa, bb, aaa, aba, bab, bbb, aaaa, }

mesma leitura da esquerda para a direita e vice-versa


linguagem sempre infinita?

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 36


Exp: Linguagens de Programao
Linguagens de programao como Pascal, C e Java

linguagens sobre o alfabeto constitudo por


letras
digitos
smbolos especiais (como espao, parenteses, pontuao, etc)

cada programa na linguagem corresponde


uma palavra sobre o alfabeto

Pascal, C e Java
definidas por todos os seus programas possveis
so conjuntos infinitos
pois, existem infinitos programas

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 37


Obs: Compilador Pertinncia Linguagem
Compilador de uma LP (linguagem de programao)

software que traduz


programa escrito na LP (linguagem fonte)
para um cdigo executvel (linguagem objeto).

Estrutura de um compilador
anlise: lxica, sinttica e semntica
sntese: gerao e otimizao de cdigo executvel

anlise
pL ?
verifica se um dado programa fonte p
programa vlido para a linguagem L

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 38


1 Introduo e Conceitos
Bsicos
1.1 Introduo
1.2 Conceitos Bsicos de Teoria dos Conjuntos
1.2.1 Conjuntos
1.2.2 Pertinncia
1.2.3 Alguns Conjuntos Importantes
1.2.4 Conjuntos Finitos e Infinitos
1.2.5 Alfabetos, Palavras e Linguagens
1.2.6 Subconjunto e Igualdade de Conjuntos
1.2.7 Conjuntos nas Linguagens de Programao

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 39


1.2.6 Subconjunto e Igualdade de Conjuntos
Contido
conceito fundamental da Teoria dos Conjuntos

permite introduzir os conceitos


subconjunto
igualdade de conjuntos

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 40


Todos elementos de A tambm so elementos de B
A est contido em B

AB

A no est contido em B

A B
B contm A

BA

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 41


A subconjunto de B
AB ou BA

A subconjunto prprio de B
A est contido propriamente em B (no contido propriamente)
A B e existe b B tal que b A

AB (A B)

B contm propriamente A

BA

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 42


Exp: Contido, Subconjunto
{ a, b } { b, a }
{ a, b } { a, b, c }
{ a, b } { a, b, c }
{ 1, 2, 3 } N
{ 1, 2, 3 } N
NZ
NZ
{ a, b, c }
{ a, b, c }
N
N

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 43


Conjunto Universo
conjunto especial e importante

contm todos os conjuntos considerados


define o contexto de discusso
portanto, no um conjunto fixo

normalmente denotado por U

definido o conjunto universo, para qq conjunto A

AU

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 44


Conjuntos iguais
A e B so conjuntos iguais sse possuem os mesmos elementos

A=B se e somente se AB e BA

Exp: Igualdade de Conjuntos


{ 1, 2, 3 } = { x N x > 0 e x < 4 }

N={xZx0}

{ 1, 2, 3 } = { 3, 3, 3, 2, 2, 1 }

{ 1, 2, 3 } { 3, 3, 3, 2, 2, 1 }
{ 3, 3, 3, 2, 2, 1 } { 1, 2, 3 }

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 45


Exp: Pertinncia Contido
importante distinguir claramente entre pertinncia e contido
Considere o conjunto A = { 1, 2, 3, , {a}, {b, c} }

{1}A
A
{a}A
{ b, c } A
{ 1, 2, 3 } A

A
{1}A
{ 1, 2, 3 } A

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 46


Obs: Linguagem Conjunto de Todas as Palavras
Definio alternativa para linguagem formal sobre um alfabeto

L qualquer subconjunto de *

L *

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 47


1 Introduo e Conceitos
Bsicos
1.1 Introduo
1.2 Conceitos Bsicos de Teoria dos Conjuntos
1.2.1 Conjuntos
1.2.2 Pertinncia
1.2.3 Alguns Conjuntos Importantes
1.2.4 Conjuntos Finitos e Infinitos
1.2.5 Alfabetos, Palavras e Linguagens
1.2.6 Subconjunto e Igualdade de Conjuntos
1.2.7 Conjuntos nas Linguagens de Programao

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 48


1.2.7 Conjuntos nas Linguagens de Programao
Conceitos da MD implementaes em LP
aplicao que ser constantemente explorada

conhecimentos de linguagem de programao no pr-requisito

exemplificao
ilustrativa
no detalhada
informal

Centrado na linguagem Pascal


entendimento crescente e coerente

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 49


Por que Pascal?
desenvolvida para o ensino de programao

formalmente bem definida (facilita o estudo matemtico)

inspirou diversas linguagens de programao comerciais

disponvel em diversos tipos de sistemas computadores

freqentemente adotada como primeira LP em cursos de


computao e informtica

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 50


Tipo de dados
conceito necessrio para exemplificar conjuntos em LP

informalmente e resumidamente
conjunto de objetos (dados) e operaes sobre estes objetos

Considerando limitaes dos computadores e


objetivando a portabilidade do software
algumas linguagens especificam
limites dos valores do tipo de dados
como os valores devem ser armazenados
como as operaes devem ser processadas

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 51


A maioria das LP possui tipos de dados predefinidos
Real ou Ponto Flutuante
Inteiro
Caractere
Booleano ou Lgico

Tipos Real e Inteiro


implementam um subconjunto prprio de R e Z
operaes como adio, multiplicao

Tipos Caractere e Lgico


implementa os caracteres usuais como letras e dgitos
implementa os valores lgicos verdadeiro e falso
operaes especiais (estudadas ao longo da disciplina)

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 52


Muitas LP no possuem facilidades adequadas para
definir e operar conjuntos
Pascal oferece algum tratamento de conjuntos

Definio de tipos baseados em conjuntos finitos


cores set of (amarelo, vermelho, azul,
branco, preto)

dias_semana set of (seg, ter, qua, qui,


sex, sab, dom)

letras set of a..z

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 53


Definio de constantes de um tipo conjunto
[vermelho, amarelo, azul]
[]
[seg..dom]
[seg..sex]
[a, e, i, o, u]
Correspondem aos seguintes conjuntos
{ vermelho, amarelo, azul }

{ seg, ter, qua, qui, sex, sab, dom }


{ seg, ter, qua, qui, sex }
{ a, e, i, o, u }
Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 54
Definio de variveis de um tipo conjunto
quais nomes (das variveis) correspondem a quais tipos

cores_primarias: cores
feriado, semana, trabalho: dias_semana
vogais: letras

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 55


Trechos de programas em Pascal
cores_primarias := [vermelho, amarelo, azul]
feriado := []
semana := [seg..dom]
trabalho := [seg..sex]
vogais := [a, e, i, o, u]

Interpretao
cores_primarias = { vermelho, amarelo, azul }
feriado =
semana = { seg, ter, qua, qui, sex, sab, dom }
trabalho = { seg, ter, qua, qui, sex }
vogais = { a, e, i, o, u }

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 56


Atribuio Teste de igualdade
:= para associar a varivel ao seu valor

= para verificar uma igualdade

Distino ?
objetiva facilitar a construo do compilador

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 57


Igualdade
cores_primarias = [vermelho, amarelo, azul]
feriado = trabalho

Interpretao
cores_primarias = { vermelho, amarelo, azul } verdadeiro
feriado = trabalho falso

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 58


Subconjunto (continncia)
trabalho <= semana
[sab, dom] <= trabalho

Interpretao
trabalho semana verdadeiro
{ sab, dom } trabalho falso

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 59


Pertinncia
a in vogais
dom in trabalho

Interpretao
a vogais verdadeiro
dom trabalho falso

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 60


Matemtica Discreta para Computao e Informtica

P. Blauth Menezes

1 Introduo e Conceitos Bsicos


2 Noes de Lgica e Tcnicas de Demonstrao
3 lgebra de Conjuntos
4 Relaes
5 Funes Parciais e Totais
6 Endorrelaes, Ordenao e Equivalncia
7 Cardinalidade de Conjuntos
8 Induo e Recurso
9 lgebras e Homomorfismos
10 Reticulados e lgebra Booleana
11 Concluses

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 61


Matemtica Discreta para
Computao e Informtica
P. Blauth Menezes
blauth@inf.ufrgs.br

Departamento de Informtica Terica


Instituto de Informtica / UFRGS

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes 62