Matemtica Discreta

Hgor Monteiro higormonteiro1206@gmail.com twitter.com/higormonteiro facebook.com/higor.monteiro

Teoria dos Conjuntos

16/02/2011

Conjuntos
O uma estrutura que agrupa objetos e

constitui uma base para construir estruturas mais complexas O Informalmente uma coleo, sem repeties e sem qualquer ordenao de objetos, denominados elementos O Elementos pode ser qualquer objeto concreto ou abstrato
16/02/2011

Conjuntos
O Formalmente uma coleo de zero ou

mais objetos distintos, chamados Elementos do conjunto os quais no possuem qualquer ordem associada O Exemplos:
O As vogais: a, e, i, o, u O Todos os brasileiros

O Os nmeros pares
O O personagem Chaves, a letra a, a baa de

Guanabara e o Pel

16/02/2011

Conjuntos podem ser definidos...

O Listando todos seus elementos: Denotao

por Extenso

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

O Por propriedades declaradas: Denotao

por Propriedade

O Todos os brasileiros: B = {x | x brasileiro}

O Um conjunto no necessariamente

constitudo por objetos que compartilham mesmas caractersticas/propriedades

O Jogador Neymar, Ratinho, Garanhuns
16/02/2011

Mais exemplos
O Semana
O Semana={seg,ter,qua,qui,sex,sab,dom}

O Duas vogais
O {aa,ae,ai,ao,au,ea,ee,ei,eo,...,ua,ue,ui,uo,uu}

O Expresso que corresponde ao conjunto:

{x | x = y sendo que y um numero inteiro}

O {0,1,4,9,16...}

16/02/2011

Pertinncia
O Pertence ou No-Pertence
O Ao conjunto de Vogais={a,e,i,o,u}, tem-se:
O a Vogais
O h Vogais

O Ao conjunto B={x | x brasileiro}, tem-se:

O Pel B O Bill Gates B
16/02/2011

Conjuntos Importantes
O Conjunto Vazio: {} ou
O Conjunto de todos os brasileiros com mais de

300 anos O Conjunto de todos os nmeros que so pares e mpares ao mesmo tempo
O Conjunto Unitrio: denotado por 1
O O conjunto constitudo pelo jogador Pel

O O conjunto de todos os nmeros pares e

mpares simultaneamente
16/02/2011

Conjuntos Importantes
O Alguns Conjuntos importantes na

Matemtica e na Computao
O N - Conjunto dos Nmeros Naturais
O Z - Conjunto dos Nmeros Inteiros O Q - Conjunto dos Nmeros Racionais

O I - Conjunto dos Nmeros Irracionais

O R - Conjunto dos Nmeros Reais

16/02/2011

Conjunto Finito e Infinito

O Um conjunto pode possuir um nmero finito ou

infinito de elementos
O Conjunto finito
O pode ser denotado por extenso listando

exaustivamente todos os elementos

O Conjunto infinito
O caso contrrio
16/02/2011

10

Exemplos de Conj. Finito

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

O Dgitos = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 } O { snoopy, k, baa da Guanabara, Pel }

O A={xN|x>0ex<4}

O B = { x | x brasileiro }

16/02/2011

11

Exemplos de Conj. Infinito

O Z
O R

O {xZ|x>0} O Pares = { y | y = 2x e x N }

16/02/2011

12

Alfabetos, Palavras e Linguagens

O Linguagem
O Um dos conceitos mais fundamentais em

Computao O Definida a partir da noo de conjunto

O Conceitos de alfabeto

O Para a definio de linguagem, necessrio

O Conceitos de cadeia de caracteres

O Estudo de linguagens e conceitos correlatos

O Linguagens Formais

O Compiladores
16/02/2011

13

Alfabeto
O Um conjunto finito
O Elementos so usualmente denominados de

smbolos ou caracteres
O Portanto...
O Conjunto vazio um alfabeto

O Qualquer conjunto infinito no um alfabeto

16/02/2011

14

Palavra, Cadeia de Caracteres ou Sentena

O Sobre um alfabeto
O uma sequncia finita de smbolos justapostos

O Cadeia sem smbolos

- cadeia vazia, palavra vazia ou sentena vazia O Conjunto de todas as palavras sobre um alfabeto
*

16/02/2011

15

Exemplos: Alfabeto, Palavra

O e { a, b, c } so alfabetos
O N no um alfabeto

O uma palavra sobre { a, b, c } O uma palavra sobre O a, e, i, o, u, ai, oi, ui e aeiou so exemplos de palavras sobre Vogais O 1 e 001 so exemplos de palavras distintas sobre Dgitos O { a, b }* = {, a, b, aa, ab, ba, bb, aaa, ... } 16/02/2011 O * = { }

16

Linguagem Formal
O Ou simplesmente Linguagem um conjunto

de palavras sobre um alfabeto

O Alfabeto = { a, b }
O e{}

obviamente, { } O Conjunto de palndromos

O mesma leitura da esquerda para a direita e

vice-versa O Palndromos = { , a, b, aa, bb, aaa, aba, bab, bbb, aaaa, ...}

O Linguagem sempre infinita?

16/02/2011

17

Linguagens de Programao
O Tais como Pascal, C e Java O So Linguagens sobre o alfabeto constitudo

por

O letras O dgitos O smbolos especiais (como espao, parnteses,

pontuao)

O Cada programa na linguagem corresponde O A uma palavra sobre o alfabeto O Pascal, C e Java O definidas por todos os seus programas possveis O so conjuntos infinitos O pois, existem infinitos programas

16/02/2011

18

O Software que traduz

Compilador X Pertinncia Linguagem

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

objeto).
O Estrutura de um compilador
O anlise: lxica, sinttica e semntica

O sntese: gerao e otimizao de cdigo

executvel
O Anlise : p L ?
O verifica se um dado programa fonte p O programa vlido para a linguagem L
16/02/2011

19

Subconjunto e igualdade de conjuntos

O Contido { }
O conceito fundamental da Teoria dos

Conjuntos
O Permite introduzir os conceitos
O subconjunto
O igualdade de conjuntos

16/02/2011

20

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

AB O A no est contido em B AB O B contm A BA

16/02/2011

21

Logo...
O A subconjunto de B

A B ou B A O A subconjunto prprio de B
O A est contido propriamente em B

A B e existe b B tal que b A

AB O B contm propriamente A BA O Qual o smbolo de: No contido propriamente? 16/02/2011

22

Exemplos...
O { a, b } { b, a }
O { a, b } { a, b, c }, { a, b } { a, b, c }

O { 1, 2, 3 } N, { 1, 2, 3 } N O N Z, N Z
O { a, b, c }, { a, b, c }

O N, N

16/02/2011

23

Conjunto Universo
O Conjunto especial e importante
O Contm todos os conjuntos considerados
O define o contexto de discusso
O portanto, no um conjunto fixo

O Normalmente denotado por U

O Definindo o conjunto universo, para

qualquer conjunto A AU
16/02/2011

24

Igualdade de Conjuntos
O A e B so conjuntos iguais se possuem os

mesmos elementos A = B se, e somente se

ABeBA

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

O N={xZ|x0}
O { 1, 2, 3 } = { 3, 3, 3, 2, 2, 1 }
O { 1, 2, 3 } { 3, 3, 3, 2, 2, 1 }

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

16/02/2011

25

Pertinncia X Contido
O importante distinguir claramente entre

pertinncia e contido O Considere 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

16/02/2011

26

Conjuntos nas LPs

O Conceitos da MD X implementaes em LP
O aplicao que ser constantemente explorada

O conhecimentos de linguagem de programao

no pr-requisito
O Exemplificao
O ilustrativa
O no detalhada

O informal

O Centrado na linguagem Pascal

O entendimento crescente e coerente
16/02/2011

27

Pq Pascal?
O Desenvolvida para o ensino de programao
O Formalmente bem definida (facilita o estudo

matemtico) O Inspirou diversas linguagens de programao comerciais O Disponvel em diversos tipos de sistemas computadores O Frequentemente adotada como primeira LP em cursos de computao e informtica
16/02/2011

28

Tipos de Dados
O Conceito necessrio para exemplificar conjuntos

em LP

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

estes objetos

O Considerando limitaes dos computadores e

objetivando a portabilidade do software O algumas linguagens especificam

O limites dos valores do tipo de dados

O como os valores devem ser armazenados

16/02/2011 O como as operaes devem ser processadas

29

Tipos de Dados predefinidos

O Real ou Ponto Flutuante
O Inteiro (16 bits)

O Caractere (8 bits) O Booleano ou Lgico (true ou false)

16/02/2011

30

Tipos de Dados predefinidos

O Tipos Real e Inteiro
O implementam um subconjunto prprio de R e Z

O operaes como adio, multiplicao

O Tipos Caractere e Lgico

O implementa os caracteres usuais como letras e

dgitos O implementa os valores lgicos Verdadeiro e Falso

16/02/2011

31

Aplicao de Conj. Em Programao

O Muitas LP no possuem facilidades adequadas

para definir e operar conjuntos

O Pascal oferece algum tratamento de conjuntos

O Definio de tipos baseados em conjuntos

finitos

16/02/2011

32

Definio de Constantes de um Tipo Conjunto

O Correspondem aos seguintes conjuntos

O { vermelho, amarelo, azul }
O

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

O { seg, ter, qua, qui, sex } O { a, e, i, o, u }
16/02/2011

33

Definio de variveis de um tipo conjunto

O Quais nomes (das variveis) correspondem

a quais tipos

16/02/2011

34

Trechos de Cdigo em Pascal

O Interpretao
O cores_primarias = { vermelho, amarelo, azul }
O feriado =

O semana = { seg, ter, qua, qui, sex, sab, dom }

O trabalho = { seg, ter, qua, qui, sex } O vogais = { a, e, i, o, u }
16/02/2011

35

Atribuio X Teste de igualdade

O := para associar a varivel ao seu valor
O = para verificar uma igualdade

O Distino ?
O objetiva facilitar a construo do compilador

16/02/2011

36

Igualdade
O Interpretao
O cores_primarias = { vermelho, amarelo, azul }
O VERDADEIRO

O feriado = trabalho
O FALSO

16/02/2011

37

Subconjunto (continncia)
O Interpretao O trabalho semana
O VERDADEIRO

O { sab, dom } trabalho

O FALSO

16/02/2011

38

Pertinncia
O Interpretao

O a vogais
O VERDADEIRO

O dom trabalho
O FALSO

16/02/2011

39

Prxima aula...
Noes de Lgica e Tcnicas de Demonstrao

16/02/2011

40