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