Вы находитесь на странице: 1из 122

INSTITUTO FEDERAL SUL-RIO-GRANDENSE

UNIVERSIDADE ABERTA DO BRASIL


Programa de Fomento ao Uso das
TECNOLOGIAS DE COMUNICAO E INFORMAO NOS CURSOS DE GRADUAO - TICS

FUNDAMENTOS MATEMTICOS
DA COMPUTAO
Prof. Luciano Vitoria Barboza

Ministrio da
Educao

Copyright 2011 Universidade Aberta do Brasil


Instituto Federal Sul-rio-grandense

Apostila de Fundamentos Matemticos da Computao


BARBOZA, Luciano Vitoria

2011/2
Produzido pela Equipe de Produo de Material Didtico da
Universidade Aberta do Brasil do Instituto Federal Sul-rio-grandense
TODOS OS DIREITOS RESERVADOS

INSTITUTO FEDERAL SUL-RIO-GRANDENSE


UNIVERSIDADE ABERTA DO BRASIL
Programa de Fomento ao Uso das
TECNOLOGIAS DE COMUNICAO E INFORMAO NOS CURSOS DE GRADUAO - TICS

PRESIDNCIA DA REPBLICA
Dilma Rousseff
PRESIDENTE DA REPBLICA FEDERATIVA DO BRASIL

MINISTRIO DA EDUCAO
Fernando Haddad
MINISTRO DO ESTADO DA EDUCAO

Luiz Cludio Costa

IF SUL-RIO-GRANDENSE
DEPARTAMENTO DE EDUCAO A DISTNCIA
Luis Otoni Meireles Ribeiro
CHEFE DO DEPARTAMENTO DE EDUCAO A DISTNCIA

Beatriz Helena Zanotta Nunes


COORDENADORA DA UNIVERSIDADE ABERTA DO BRASIL UAB/IFSUL

Marla Cristina da Silva Sopea

SECRETRIO DE EDUCAO SUPERIOR - SESU

COORDENADORA ADJUNTA DA UNIVERSIDADE ABERTA DO BRASIL UAB/


IFSUL

Eliezer Moreira Pacheco

Cinara Ourique do Nascimento

SECRETRIO DA EDUCAO PROFISSIONAL E TECNOLGICA

Lus Fernando Massonetto


SECRETRIO DA EDUCAO A DISTNCIA SEED

Jorge Almeida Guimares

COORDENADORA DA ESCOLA TCNICA ABERTA DO BRASIL E-TEC/IFSUL

Ricardo Lemos Sainz


COORDENADOR ADJUNTO DA ESCOLA TCNICA ABERTA DO BRASIL E-TEC/
IFSUL

PRESIDENTE DA COORDENAO DE APERFEIOAMENTO DE PESSOAL DE

IF SUL-RIO-GRANDENSE

NVEL SUPERIOR - CAPES

UNIVERSIDADE ABERTA DO BRASIL

INSTITUTO FEDERAL DE EDUCAO, CINCIA E

Beatriz Helena Zanotta Nunes

TECNOLOGIA SUL-RIO-GRANDENSE [IFSUL]

COORDENADORA DA UNIVERSIDADE ABERTA DO BRASIL UAB/IFSUL

Antnio Carlos Barum Brod

Marla Cristina da Silva Sopea

REITOR

Daniel Esprito Santo Garcia


PR-REITOR DE ADMINISTRAO E DE PLANEJAMENTO

COORDENADORA ADJUNTA DA UNIVERSIDADE ABERTA DO BRASIL UAB/


IFSUL

Mauro Hallal dos Anjos


GESTOR DE PRODUO DE MATERIAL DIDTICO

Janete Otte
PR-REITORA DE DESENVOLVIMENTO INSTITUCIONAL

Odeli Zanchet
PR-REITOR DE ENSINO

Lcio Almeida Hecktheuer


PR-REITOR DE PESQUISA, INOVAO E PS-GRADUAO

Renato Louzada Meireles


PR-REITOR DE EXTENSO

IF SUL-RIO-GRANDENSE
CAMPUS PELOTAS
Jos Carlos Pereira Nogueira
DIRETOR-GERAL DO CAMPUS PELOTAS

Clris Maria Freire Dorow


DIRETORA DE ENSINO

Joo Rger de Souza Sastre


DIRETOR DE ADMINISTRAO E PLANEJAMENTO

Rafael Blank Leitzke


DIRETOR DE PESQUISA E EXTENSO

Roger Luiz Albernaz de Arajo


CHEFE DO DEPARTAMENTO DE ENSINO SUPERIOR

PROGRAMA DE FOMENTO AO USO DAS TECNOLOGIAS


DE COMUNICAO E INFORMAO NOS CURSOS DE
GRADUAO TICs
Raquel Paiva Godinho
GESTORA DO EDITAL DE TECNOLOGIAS DE INFORMAO E COMUNICAO
TICS/IFSUL

Ana M. Lucena Cardoso


DESIGNER INSTRUCIONAL DO EDITAL TICS

Lcia Helena Gadret Rizzolo


REVISORA DO EDITAL TICS

EQUIPE DE PRODUO DE MATERIAL DIDTICO UAB/IFSUL


Lisiane Corra Gomes Silveira
GESTORA DA EQUIPE DE DESIGN

Denise Zarnottz Knabach


Felipe Rommel
Helena Guimares de Faria
Lucas Quaresma Lopes
EQUIPE DE DESIGN

Caticia Klug Schneider


GESTORA DE PRODUO DE VDEO

Gladimir Pinto da Silva


PRODUTOR DE UDIO E VDEO

Marcus Freitas Neves


EDITOR DE VDEO

Joo Elizer Ribeiro Schaun


GESTOR DO AMBIENTE VIRTUAL DE APRENDIZAGEM

Giovani Portelinha Maia


GESTOR DE MANUTENO E SISTEMA DA INFORMAO

Carlo Camani Schneider


Efrain Becker Bartz
Jeferson de Oliveira Oliveira
Mishell Ferreira Weber
EQUIPE DE PROGRAMAO PARA WEB

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

SUMRIO

Fundamentos Matemticos da Computao

CONTENTS
GUIA DIDTICO_____________________________________________________________________________________________________7
UNIDADE A - SISTEMAS DE NUMERAO...............................................................................................................11
Introduo_______________________________________________________________________________________________________________ 13
Sistemas de Numerao________________________________________________________________________________________________ 13
Teorema da Representao por Base________________________________________________________________________________ 14
Converso de Bases_____________________________________________________________________________________________________ 14
Resumo___________________________________________________________________________________________________________________ 14
Lista de exerccios_______________________________________________________________________________________________________ 14

UNIDADE B - ARITMTICA COMPUTACIONAL________________________________________________________________ 17


Introduo_______________________________________________________________________________________________________________ 19
Sistemas de representao de nmeros em um computador digital___________________________________________ 21
Erros absolutos e erros relativos_____________________________________________________________________________________ 21
Erros de arredondamento e erros de truncamento em um sistema de ponto flutuante_____________________ 21
Anlise de erro nas operaes aritmticas de ponto flutuante__________________________________________________ 21
Lista de exercicios_______________________________________________________________________________________________________ 21

UNIDADE C - CONJUNTOS________________________________________________________________________________________ 25
Introduo_______________________________________________________________________________________________________________ 27
Noo de conjuntos_____________________________________________________________________________________________________ 28
Notao de conjuntos___________________________________________________________________________________________________ 28
Descrio de conjuntos_________________________________________________________________________________________________ 21
Conjunto universo e conjunto vazio__________________________________________________________________________________ 21
Relaes entre conjuntos______________________________________________________________________________________________ 21
Conjuntos de conjuntos________________________________________________________________________________________________ 21
Operaes Binrias e Unrias_________________________________________________________________________________________ 21
Operaes com conjuntos______________________________________________________________________________________________ 21
Identidades envolvendo conjuntos___________________________________________________________________________________ 21
Conjuntos contveis e no-contveis_________________________________________________________________________________ 21
Lista de exerccios_______________________________________________________________________________________________________ 21

UNIDADE D - RELAES_________________________________________________________________________________________ 33
Introduo_______________________________________________________________________________________________________________ 35
Relaes Binrias_______________________________________________________________________________________________________ 37
Ordens parciais__________________________________________________________________________________________________________ 37
Relaes de equivalncia______________________________________________________________________________________________ 37
Lista de exerccios_______________________________________________________________________________________________________ 37

UNIDADE E - FUNES___________________________________________________________________________________________ 39
Introduo_______________________________________________________________________________________________________________ 41
Terminilogia para funes_____________________________________________________________________________________________ 42
Propriedades de funes______________________________________________________________________________________________ 37
Composio de Funes________________________________________________________________________________________________ 37
Funes inversas________________________________________________________________________________________________________ 37
Permutaes_____________________________________________________________________________________________________________ 37
Conjuntos equivalentes________________________________________________________________________________________________ 37
Ordem de grandeza de funes_______________________________________________________________________________________ 37
Lista de exerccios_______________________________________________________________________________________________________ 37

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao

UNIDADE F - COMBINATRIA________________________________________________________________________________47
Introduo___________________________________________________________________________________________________________37
O princpio da multiplicao______________________________________________________________________________________49
Princpio da Adio_________________________________________________________________________________________________37
Os princpios da multiplicao e da adio juntos_____________________________________________________________ 37
Princpio de incluso e excluso__________________________________________________________________________________ 37
O princpio das Casas de Pombo__________________________________________________________________________________ 37
Permutaes_________________________________________________________________________________________________________37
Combinaes_________________________________________________________________________________________________________37
Resumo_______________________________________________________________________________________________________________37
Lista de exerccios___________________________________________________________________________________________________37

UNIDADE G - MATRIZES_______________________________________________________________________________________51
Terminologia_________________________________________________________________________________________________________53
Operaes Matriciais_______________________________________________________________________________________________54
Matriz Identidade___________________________________________________________________________________________________55
Transposta de uma matriz_________________________________________________________________________________________37
Inversa de uma matriz_____________________________________________________________________________________________37
Matrizes Booleanas_________________________________________________________________________________________________37
Lista de exerccios___________________________________________________________________________________________________37

UNIDADE H - ESTRUTURAS ALGBRICAS__________________________________________________________________51


Definies e exemplos______________________________________________________________________________________________53
Resultados bsicos sobre grupos_________________________________________________________________________________ 54
Subgrupos____________________________________________________________________________________________________________55
Grupos isomorfos___________________________________________________________________________________________________37
Lista de exerccios___________________________________________________________________________________________________37

UNIDADE I - LGEBRA DE BOOLE E LGICA COMPUTACIONAL_________________________________________51


Estrutura da lgebra de Boole____________________________________________________________________________________ 53
Circuitos Lgicos____________________________________________________________________________________________________54
Lista de Exerccios__________________________________________________________________________________________________55

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Guia Didtico

GUIA DIDTICO

GD

APRESENTAO

Prezado(a) aluno(a)
Bem-vindo(a) ao espao de estudo da Disciplina de Fundamentos Matemticos da Computao.

A Matemtica Discreta ou Fundamentos Matemticos para a Computao aplica-se a vrias disciplinas


de cursos como Computao, Informtica, Matemtica, Sistemas de Informao, como, por exemplo, Sistemas Operacionais, Bancos de Dados, Compiladores, Estruturas de Dados, Tcnicas Digitais, Algoritmos, Complexidade de Algoritmos, Teoria da Computao, Linguagens Formais e Autmatos, Modelos
para Concorrncia, Semntica Formal, Teoria das Categorias, Programao, Paradigmas de Linguagens
de Programao, Teoria dos Grafos, Anlise Combinatria e Probabilidade Discreta, entre outras.
Nesta disciplina, sero desenvolvidos conceitos que iro enfatizar a importncia do pensamento lgico,
do poder da notao matemtica e da utilidade de abstrao. Entre as disciplinas de um curso na rea da
tecnologia da informao, as de estruturas discretas so as menos valorizadas na poca em que so cursadas, e as mais valorizadas mais tarde. bastante comum ouvirmos dos alunos o seguinte comentrio:
Todas as disciplinas que cursei depois usaram conceitos de estruturas discretas.
Nas unidades, sero abordados contedos como: Sistemas de Numerao, Aritmtica Computacional,
Teoria dos Conjuntos, Relaes, Funes, Combinatria, Matrizes, Estruturas Algbricas, lgebra de Boole e Lgica Combinacional.
Esperamos que, atravs dos contedos e das atividades propostas, voc possa estabelecer subsdios
para a compreenso. E, para tal, voc pode contar com toda a equipe.

Objetivo Geral

Dotar o aluno de conhecimento bsico dos conceitos matemticos necessrios para o aprendizado bem
fundamentado das vrias reas da informtica.

Habilidades





Conhecer os elementos bsicos da Lgica Matemtica.


Conhecer os fundamentos de Teoria dos Conjuntos.
Conhecer as principais caractersticas e propriedades das relaes e das funes.
Conhecer a definio e propriedades de ordens e conjuntos.
Conhecer os princpios bsicos da lgebra Booleana.
Conhecer as definies, tipos, exemplos e principais propriedades das estruturas algbricas mais importantes.

Metodologia
A disciplina ser desenvolvida em 60 horas-aula atravs do Ambiente Virtual de Aprendizado Moodle,
onde sero disponibilizados materiais para subsidiar a aprendizagem. Os recursos tecnolgicos para
interao sero fruns, chats de dvidas, e-mail, textos e exerccios de fixao.

Fomento ao Uso das Tecnologias da Informao e Comunicao

Nome da disciplina

Avaliao
A avaliao dar-se- mediante a participao nos fruns e nas atividades propostas, tanto presenciais
como a distncia.

Programao
Primeira semana

As atividades a serem desenvolvidas na primeira semana so:

1. Frum: Apresentao do professor, da disciplina e questes gerais.


2. Leitura e estudo do contedo: Sistemas de Numerao.
3. Realizao da lista de exerccios: Unidade A Sistemas de Numerao.

Segunda semana
As atividades a serem desenvolvidas na segunda semana so:

4. Leitura e estudo do contedo: Aritmtica Computacional.


5. Realizao da lista de exerccios: Unidade B Aritmtica Computacional.
6. Participao do Frum de discusso proposto pelo professor.

10

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Guia Didtico

Terceira semana
As atividades a serem desenvolvidas na terceira semana so:
7. Leitura e estudo do contedo: Conjuntos.
8. Realizao da lista de exerccios: Unidade C Conjuntos.

Quarta semana
As atividades a serem desenvolvidas na quarta semana so:

9. Leitura e estudo do contedo: Relaes.


10. Realizao da lista de exerccios: Unidade D Relaes.
11. Participao no chat em horrio marcado pelo professor formador.

Quinta semana
As atividades a serem desenvolvidas na quinta semana so:

12. Leitura e estudo do contedo: Funes (at a seo E.5 inclusive).


13. Realizao da lista de exerccios: Unidade E Funes (at o exerccio 7 inclusive).

Sexta semana
As atividades a serem desenvolvidas na sexta semana so:

14. Leitura e estudo do contedo: Funes (a partir da seo E.6).


15. Realizao da lista de exerccios: Unidade E Funes (a partir do exerccio 8).

Stima semana
As atividades a serem desenvolvidas na stima semana so:

16. Leitura e estudo do contedo: Combinatria (at a seo F.5 inclusive).


17. Realizao da lista de exerccios: Unidade F Combinatria (at o exerccio 11).
18. Participao do Frum de discusso proposto pelo professor.

Oitava semana
As atividades a serem desenvolvidas na oitava semana so:

19. Leitura e estudo do contedo: Combinatria (a partir da seo F.6).


20. Realizao da lista de exerccios: Unidade F Combinatria (a partir do exerccio 12).

Nona semana
As atividades a serem desenvolvidas na nona semana so:
21. Leitura e estudo do contedo: Matrizes.
22. Realizao da lista de exerccios: Unidade G Matrizes.

Dcima semana
As atividades a serem desenvolvidas na dcima semana so:

23. Leitura e estudo do contedo: Estruturas Algbricas.


24. Realizao da lista de exerccios: Unidade H Estruturas Algbricas.
25. Participao no chat em horrio marcado pelo professor formador.

11

Dcima-primeira semana
As atividades a serem desenvolvidas na dcima - primeira semana so:

26. Leitura e estudo do contedo: lgebra de Boole e Lgica Computacional (toda a seo I.1).
27. Realizao da lista de exerccios: Unidade I lgebra de Boole e Lgica Computacional (at o exerccio 3 inclusive).

Dcima-segunda semana
As atividades a serem desenvolvidas na dcima - segunda semana so:

28. Leitura e estudo do contedo: lgebra de Boole e Lgica Computacional (a partir da seo I.2).
29. Realizao da lista de exerccios: Unidade I lgebra de Boole e Lgica Computacional (a partir do exerccio 4).
30. Participao do Frum de discusso proposto pelo professor.

Referncias:
FRANCO, N. M. B. Clculo Numrico. So Paulo: Pearson Education, 2006.
GERSTING, J. L. Fundamentos Matemticos para a Cincia da Computao. Rio de Janeiro: LTC, 2004.
LIPSCHUTZ, S.; LIPSON, M. Matemtica Discreta. Porto Alegre: Bookman, 2004.
MENEZES, P. B. Matemtica Discreta para Computao e Informtica. Porto Alegre: Bookman, 2010.
RUGGIERO, M. A. G.; LOPES, V. L. R. Clculo Numrico: Aspectos Tericos e Computacionais. So Paulo: Pearson Education,
1996.
LOPES, J. G.; TOSCANI, L. V.; MENEZES, P. B. Aprendendo Matemtica Discreta com Exerccios. Porto Alegre: Bookman,
2009.
SPERANDIO, D.; MENDES, J. T.; SILVA, L. H. M. Clculo Numrico, So Paulo: Prentice Hall Brasil, 2003.

Currculo Professor-Autor:




Graduao em Engenharia Eltrica Universidade Catlica de Pelotas 1982.


Graduao em Licenciatura em Disciplinas Especializadas de 2 Grau Universidade Federal de Pelotas 1987.
Especializao em Cincia da Computao: Matemtica Computacional Universidade Catlica de Pelotas 1993.
Mestrado em Engenharia Eltrica Universidade Federal de Santa Catarina 1997.
Doutorado em Engenharia Eltrica Universidade Federal de Santa Catarina 2001.

SISTEMAS DE
NUMERAO

Unidade A

Fundamentos Matemticos
da Computao

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade A

UNIDADE

SISTEMAS DE NUMERAO

A.1 Introduo
Os sistemas de numerao tm por objetivo fornecer smbolos para representar as quantidades, de forma
a registrar a informao quantitativa e poder process-la. A representao de quantidades se faz com os
nmeros. Na antiguidade, duas formas de representar quantidades foram inventadas. Inicialmente, os
egpcios criaram um sistema em que cada dezena era representada por um smbolo diferente.

Relembremos ainda outro sistema, o sistema de numerao romano. Eram usados smbolos (letras) que
representavam as quantidades, como por exemplo: I (valendo 1), V (valendo 5), X (valendo 10), C (valendo
100), etc. A regra de posicionamento determinava que as letras que representavam quantidades maiores
e precediam as que representavam quantidades menores, seriam somadas; se o inverso ocorresse, o
menor valor era subtrado do maior. Assim, a quantidade 127 era representada por CXXVII; enquanto
que a quantidade 94 era representada por XCIV.

Nesses sistemas, os smbolos tinham um valor intrnseco, independente da posio que ocupavam na
representao (sistema numrico no-posicional). Um grande problema desse sistema a dificuldade
de realizar operaes com essa representao. Experimente, por exemplo, multiplicar CXXVII por XCIV.
Assim, posteriormente foram criados sistemas em que a posio dos algarismos no nmero passou a
alterar seu valor. Esses sistemas numricos so conhecidos como sistemas de numerao posicionais.
Nestes sistemas, o valor representado pelo algarismo no nmero depende da posio em que ele aparece
na representao. Um exemplo o sistema numrico que utilizamos no nosso dia a dia (sistema decimal).
No estudo de sistemas numricos voltados para aplicaes na rea da computao, a nfase consiste
em sistemas de numerao posicionais. Assim, passaremos a chamar estes sistemas simplesmente de
sistemas de numerao.

A.2 Sistemas de Numerao


Um sistema numrico deve:

representar uma grande quantidade de nmeros;


dar a cada nmero representado uma nica descrio;
refletir as estruturas algbricas e aritmticas dos nmeros.
Os sistemas de numerao so compostos por:
uma base;
um conjunto de smbolos que representam os algarismos.

15

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao


A base de um sistema a quantidade de algarismos disponvel na representao. Os principais sistemas de
numerao utilizados esto mostrados na Tabela A.1.

Sistema
Binrio
Octal
Decimal
Hexadecimal

Base

Smbolos

S = { 0, 1 }

10

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

16

S = { 0, 1, 2, 3, 4, 5, 6, 7 }

S = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, A, B, C, D, E, F }

Tabela A.1 Principais sistemas numricos.

A base 10 hoje a mais usualmente empregada, embora no seja a nica utilizada. No comrcio pedimos
uma dzia de rosas e tambm marcamos o tempo em minutos e segundos (base 60).

Os computadores utilizam a base 2 (sistema binrio) e os programadores, por facilidade, usam em geral
uma base que seja uma potncia de 2, tal como 23=8 (base 8 ou sistema octal) ou ainda 24=16 (base
16 ou sistema hexadecimal).
A partir de agora, iremos utilizar o valor da base como subscrito para identificar o sistema de numerao
a que estamos nos referindo. Por exemplo:

A Tabela A.2 mostra a correspondncia entre os valores dos smbolos em cada base.

Binrio

Octal

Decimal

Hexadecimal

0000

0011

0001
0010
0100
0101
0110
0111
1000
1001
1010
1011
1100
1101
1110
1111

1
2
4
5
6
7

10
11
12
13
14
15
16
17

1
2
4
5
6
7
8
9

10
11
12
13
14
15

1
2
4
5
6
7
8
9

A
B
C

D
E
F

Tabela A.2 Correspondncia numrica entre os smbolos.

16

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade A

Voc observa algo peculiar na Tabela A.2? No?

Observe que todos os smbolos octais podem ser representados por nmeros binrios com trs dgitos.
Note tambm que todos os smbolos hexadecimais podem ser representados por nmeros binrios com
quatro dgitos.
Isso importante e vamos utilizar esta propriedade mais tarde.

A.3 Teorema da Representao por Base


Seja k um inteiro qualquer maior ou igual a 1, ento, para cada inteiro positivo n, existe uma representao
do tipo
onde os ai, com i = 0,1, , s , so os smbolos do sistema numrico, a 0 > 0 e k a base do sistema. Esta
representao de n nica e conhecida como a representao do nmero n na base k. Por exemplo,

onde a0 = 1, a1 = 5, a2 = 4 e a3 = 8.

A.4 Converso de Bases


De um sistema qualquer para o sistema decimal
Utilizando o teorema da representao por base, podemos substituir a base pelo seu valor correspondente
e efetuarmos os clculos. O valor encontrado corresponde ao valor decimal do nmero em questo.
Os exemplos a seguir ilustram o exposto acima.

Do sistema decimal para um sistema qualquer


Para a realizao desse tipo de converso, utiliza-se o procedimento conhecido como mtodo das divises
sucessivas, no qual o nmero decimal dividido sucessivamente pelo valor da base do sistema para o
qual se deseja converter o nmero decimal. O procedimento repetido at que no mais se possa dividir
o dividendo pelo divisor. O nmero convertido obtido tomando-se o ltimo quociente e os restos das
divises de trs para diante.
Para a converso de um nmero decimal para os sistemas binrio, octal e hexadecimal divide-se
sucessivamente o nmero decimal por 2, 8 e 16, respectivamente. Os exemplos a seguir ilustram o
procedimento apresentado.

17

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao

Do sistema binrio para o sistema octal


Para realizar essa converso, o primeiro passo observar se o nmero de dgitos do nmero binrio
mltiplo de 3 (voc recorda da propriedade discutida ao final da Seo A.2?). Caso no seja, completase com zeros esquerda. Depois, separa-se o nmero de dgitos do nmero binrio em grupos de trs.
Por fim, basta converter cada grupo para o seu octal correspondente. Os exemplos a seguir ilustram o
procedimento.

Do sistema octal para o sistema binrio


Para operar esse tipo de converso, basta converter cada dgito octal para o seu correspondente binrio
com trs dgitos (novamente a propriedade discutida ao final da Seo A.2). Os exemplos a seguir
ilustram o procedimento.

Do sistema binrio para o sistema hexadecimal


Para realizar essa converso, o primeiro passo observar se o nmero de dgitos do nmero binrio
mltiplo de 4 (olhem a propriedade discutida ao final da Seo A.2 outra vez). Caso no seja, completa-se
com zeros esquerda. Depois, separa-se o nmero de dgitos do nmero binrio em grupos de quatro.
Por fim, basta converter cada grupo para o seu hexadecimal correspondente. Os exemplos a seguir
ilustram o procedimento.

18

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade A

Do sistema hexadecimal para o sistema binrio


Para operar esse tipo de converso, basta converter cada dgito hexadecimal para o seu correspondente
binrio com quatro dgitos (a mesma propriedade do final da Seo A.2). Os exemplos a seguir ilustram
o procedimento.

Resumo
Nesta unidade, estudamos os principais sistemas de numerao utilizados na rea de Cincias da Computao.
Aprendemos os smbolos e a base de cada sistema numrico e como realizar a converso de um sistema para
outro.

A seguir, vamos treinar os conhecimentos adquiridos, realizando uma lista de exerccios.

Lista de exerccios

Para cada nmero a seguir, faa a sua representao no sistema numrico solicitado.
1. 100112 = 8 = 10 = 16
2. 11100112 = 8 = 10 = 16
3. 1011100112 = 8 = 10 = 16
4. 1568 = 2 = 10 = 16
5. 57642 = 2 = 10 = 16
6. 24532 = 2 = 10 = 16
7. 81710 = 2 = 8 = 16
8. 754310 = 2 = 8 = 16
9. 2289410 = 2 = 8 = 16
10. 3CA16 = 2 = 8 = 10
11. DE2F16 = 2 = 8 = 10
12. B4C8A16 = 2 = 8 = 10

19

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao

20

ARITMTICA
COMPUTACIONAL

Unidade B

Fudamentos Matemticos
da Computao

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao

UNIDADE

ARITMTICA COMPUTACIONAL

B.1 Introduo
Neste captulo, vamos enfatizar que o conjunto dos nmeros representveis em uma mquina digital finito,
e portanto, discreto, ou seja, no possvel representar em um computador todos os nmeros dentro de um
determinado intervalo. A implicao imediata desta limitao computacional que a simples soma de dois
nmeros ou o clculo de uma funo matemtica, realizada com esses nmeros, podem conter erros numricos.
Caso medidas apropriadas no sejam tomadas, esses problemas numricos associados a imprecises causadas,
por exemplo, por simplificaes do modelo matemtico (algumas vezes necessrias para se obter um modelo
matemtico que apresente soluo), por erros de truncamento (substituio de uma srie infinita por uma
finita), erros de arredondamento (inerentes prpria natureza da mquina digital), erros nos dados de entrada
(dados imprecisos obtidos a partir de experimentos), ..., podem, em algumas situaes, nos conduzir perda
de preciso dos resultados (mesmo em preciso dupla), ou em casos mais graves, conduzirem obteno de
um resultado totalmente intil.
Baseados nessas constataes, o objetivo deste captulo de alertar ao estudante para os problemas que
podem surgir durante a resoluo de um problema em uma mquina digital, bem como sugerir alternativas
para evit-los, ou ao menos reduz-los, de modo a se obter uma resposta de boa qualidade para o problema em
anlise.

B.2 Sistemas de representao de nmeros em


um computador digital
Primeiramente, vamos analisar como os nmeros so representados em um computador. Vamos dividir
o nosso estudo em duas etapas: (i) para nmeros inteiros; e (ii)para nmeros reais.

Representao de um nmero inteiro

A representao de um nmero inteiro, a princpio, no apresenta nenhuma dificuldade. Qualquer


computador opera internamente com uma base fixa b, onde b um inteiro maior ou igual a 2, e
escolhido como uma potncia de 2.
Assim, dado um nmero inteiro n0, este possui uma representao nica dada por:
onde os ni, i=0,1,2,...,k so inteiros que satisfazem 0 ni b e nk 0.
Por exemplo, na base b= 10, o nmero 54672 representado por

e so armazenados os coeficientes n0= 2, n1= 7, n2= 6, n3= 4 e n4= 5.

22

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade B

Representao de um nmero real


Um computador ou calculadora representa um nmero real em um sistema denominado sistema de
ponto flutuante normalizado. Um nmero real r dito um nmero de ponto flutuante normalizado se
atender as seguintes condies:

onde:



b a base do sistema de ponto flutuante, b 2;


m a mantissa do nmero;
e o expoente do nmero, com e1 sendo o menor e e2, o maior;
n o nmero mximo de dgitos que podem ser utilizados na representao do nmero. conhecido como
preciso da mquina;
di so os dgitos da mantissa, com i = 1, 2, 3, ..., n.

A unio de todos os nmeros de ponto flutuante com o zero, chamada de Sistema de Ponto Flutuante,
representada por:

Para facilitar a especificao do sistema de ponto flutuante de uma mquina digital, usualmente, o
representamos por F(b, n, e1, e2), onde e1 e e2 so, respectivamente, o menor e o maior expoente, b a
base do sistema de numerao e n a preciso da mquina.

Para exemplificar este procedimento de representao de um sistema de ponto flutuante, considere a


calculadora cientfica da Hewlett-Packard HP48G. O seu sistema de ponto flutuante F(10, 12, 500,
499). Portanto, essa calculadora opera com o sistema numrico decimal, utiliza como preciso 12 dgitos
(as mantissas so representadas por 12 dgitos), e o menor e o maior expoente valem, respectivamente
500 e 499.

Propriedades dos Nmeros em Sistemas de Ponto Flutuante


Seja um sistema de ponto flutuante especificado por F(b, n, e1, e2).
1. O menor nmero, em valor absoluto, que pode ser representado

2. O maior nmero, em valor absoluto, que pode ser representado

23

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao


3. Quantidade total de nmeros que podem ser representados

Lembre que o primeiro dgito da mantissa deve ser diferente de 0. Assim, para a primeira posio da
mantissa, temos (b-1) dgitos possveis. Para as (n-1) posies restantes da mantissa, podemos ter
b dgitos. Por outro lado, cada uma dessas mantissas pode ter um dos (e2-e1+1) expoentes possveis
(note que o +1 para considerar o expoente zero). Ainda temos que incluir o nmero 0 e considerar
que os nmeros podem ser positivos e negativos. Dessa forma, considerando todas as possibilidades,
chegamos a um total de:
nmeros de ponto flutuante passveis de serem representados no sistema F(b, n, e1, e2).
4. Para qualquer mantissa m, temos que b1 |m| < 1.

|m| < 1, pois toda mantissa deve ter o dgito zero antes do ponto;
|m| b1, pois se |m| < b1, no teramos o nmero normalizado, pois o primeiro dgito da mantissa (aps
o ponto) seria nulo.

Os exemplos a seguir iro ilustrar os aspectos importantes em relao representao dos nmeros
reais em sistemas de ponto flutuante.
Exemplo B.1: Considere o sistema de ponto flutuante hipottico F(10, 2, -1, 1). O total de nmeros reais que
podem ser representados nesse sistema :

O menor nmero 0.10 101 e o maior 0.99 101,em valores absolutos.


Exemplo B.2: Considere agora o sistema de ponto flutuante hipottico F(2, 3, -1, 2). O total de nmeros reais que
podem ser representados nesse sistema

O menor nmero 0.10 21 = 0,012 = 0,2510 e o maior, 0.11 102 = 112 = 3 , em valores absolutos.

A Tabela B.1 mostra todos os nmeros reais que podem ser representados nesse sistema de ponto
flutuante. A primeira linha da tabela corresponde a todos os expoentes possveis, enquanto que a
primeira coluna corresponde a todas as mantissas possveis. A tabela apresenta os 8 nmeros positivos
que podem ser representados no sistema de ponto flutuante do exemplo.

-1

0.10

0.11
Tabela B.1 Nmeros reais positivos representveis no sistema de ponto flutuante F(2, 3, -1, 2).

24

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade B

Todos os nmeros que podem ser representados no sistema de ponto flutuante F(2,3,-1, 2) esto
assinalados na reta dos nmeros reais, conforme mostra a Figura B.1.

Pela observao da Tabela B.1, percebemos que no se consegue representar nmeros em ponto flutuante
menores que 0,25 e nem maiores que 0,25. Essa regio conhecida como regio de underflow da
mquina. De forma semelhante, nmeros em ponto flutuante maiores que 3 e menores que 3 tambm
no so passveis de representao. Essa a regio de overflow da mquina. Assim, definimos essas
regies como:
regio de underflow: corresponde s regies entre o maior nmero de ponto flutuante negativo e o zero e entre o
zero e o menor nmero de ponto flutuante positivo. No Exemplo B.2, esta regio corresponde a (1/4, 0) U (0, 1/4)
regio de overflow: corresponde s regies aqum do menor nmero de ponto flutuante negativo e alm do maior
nmero de ponto flutuante positivo. No Exemplo B.2, essa regio corresponde a (,3) U (3, )
Exemplo B.3: Considere o sistema de ponto flutuante F(10, 2, -1, 2). Neste sistema, os nmeros x=0,068 e
y=0,039 so representados, respectivamente, por x=0,68.101 e y=0,39.101. Observe que ambos os nmeros
possuem representao exata no sistema de ponto flutuante dado.
Agora, vamos realizar a soma entre os nmeros x e y. Utilizando o conjunto dos nmeros reais, temos que o resultado
da soma 0,107. Escrevendo o resultado na forma de ponto flutuante normalizado, temos 0,107.100. Observe que
este resultado, quando escrito no sistema de ponto flutuante do Exemplo B.3, ser armazenado como 0,10.100 ou
como 0,11.100, dependendo do sistema de arredondamento que a mquina utilizar. Percebe-se, ento, que embora
os operandos numricos possuam representao exata no sistema de ponto flutuante, a sua soma apresentar um
resultado errneo, pois ela no passvel de ser representada exatamente no sistema de ponto flutuante.

Os exemplos apresentados tm por objetivo chamar a ateno de voc estudante para possveis
problemas numricos que podemos encontrar quando trabalhando com mquinas digitais. muito
importante voc ter claro em sua mente que:
os sistemas de ponto flutuante utilizados pelos computadores digitais no so capazes de representar com exatido
todos os nmeros do conjunto dos nmeros reais;
mesmo que os nmeros a serem operados possuam representao exata, possvel que o resultado da operao
no o possua.

B.3 Erros absolutos e erros relativos


Definimos como erro absoluto (EA) a diferena entre o valor exato de uma medida numrica x* e o seu
valor aproximado x. Assim, matematicamente, temos:

25

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao

Em geral, somente conhecemos o valor x para a medida e, assim, impossvel obter o valor exato do erro
absoluto. Sendo assim, o que se faz obter um limite superior ou uma estimativa para o mdulo do erro
absoluto.
Considere, por exemplo, o nmero . Sabemos que * (3,14;3,15). Tomando para qualquer valor
dentro do intervalo dado, teremos |EA|=|* -| < 0,01.

Por outro lado, o erro absoluto nem sempre descreve com preciso um clculo. Esse fator est associado
ordem de grandeza dos nmeros envolvidos. Por esse motivo, utilizamos tambm um outro tipo de
erro para essa anlise, o erro relativo.
O erro relativo definido como o erro absoluto dividido pelo valor aproximado. Matematicamente,
Exemplo B.4: Considere as medidas para os nmeros x=987,3 com |EAx|<0,1 e y=3,2 com |EAy|<0,1.
Analisemos, primeiramente, o nmero x. Com o erro relativo |EAx|, temos que o valor exato para x*
(987,2;987,4). O erro relativo para a medida x , ento,

Por outro lado, para a medida y temos que o seu valor exato y*(3,1;3,3). Portanto,

Os valores calculados para os erros relativos das medidas x e y, nos permitem concluir que a medida x
apresenta uma exatido melhor do que a medida y.

B.4 Erros de arredondamento e erros de


truncamento em um sistema de ponto flutuante

Na Seo B.2 estudamos que a representao de um nmero depende fundamentalmente da mquina


digital utilizada, pois seu sistema de ponto flutuante estabelecer a base de numerao usada, o nmero
total de dgitos da mantissa, os expoentes mnimo e mximo, ...

Para entendermos melhor esse assunto, vamos recordar o Exemplo B.3. Nesse, a soma dos nmeros x
e y, igual a 0,107.100 em ponto flutuante normalizado, no possua representao exata no sistema de
ponto flutuante F(10,2,-1, 2). Observe que o nmero mximo de dgitos da mantissa 2. Assim, para
que a mquina digital armazene o resultado, ela ir utilizar apenas dois dgitos na mantissa e, utilizando
algum critrio pr-especificado, descartar o ltimo dgito . Caro estudante, assim que aparecem os
erros de truncamento e erros de arredondamento.

No truncamento, os dgitos que excedem o nmero mximo de dgitos da mantissa so simplesmente


descartados (desprezados). Assim, o nmero 0,107.100 ser armazenado, por truncamento, como
0,10.100.
No arredondamento, o primeiro dgito que excede o nmero total de dgitos da mantissa levado
em considerao para definir o armazenamento. A forma de arredondamento mais utilizada o
arredondamento simtrico. Nesse, o sistema prev que o ltimo dgito armazenvel pela mantissa :

26

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade B
mantido se o dgito aps si estiver entre 0 e 4;
aumenta em uma unidade se o dgito aps si estiver entre 5 e 9.
Exemplo B.5: Considere o sistema de ponto flutuante F(10,3,-5, 5). O nmero 3648 armazenado, por
arredondamento, como 0,365.104. Por sua vez, o nmero 423,2 armazenado, por arredondamento, como
0,423.103.

Anlise de erro nas operaes aritmticas de


ponto flutuante
Dada uma sequncia de operaes aritmticas, por exemplo, (a+b)(c-d)+e , em termos de clculo
digital, torna-se importante para ns termos noo como os erros numricos se propagam ao longo das
operaes aritmticas.
O erro numrico total em operaes aritmticas composto pelo erro de armazenamento das parcelas,
ou fatores, mais o erro de armazenamento dos resultados parciais das operaes.

Os exemplos a seguir iro ilustrar para voc estudante como os erros numricos se propagam em
operaes aritmticas de ponto flutuante. Para esses exemplos, considere o sistema de ponto flutuante
F (10,4,-5, 5) e os nmeros x=642,8 e y=31,67. importante que observemos que ambos os nmeros
possuem representao exata no sistema de ponto flutuante, isto , x=0,6428.103 e y=0,3167.102.

Exemplo B.6: Anlise do erro na operao de adio, ou seja, em x + y.


Para a operao de adio em aritmtica de ponto flutuante necessrio realizar o alinhamento dos pontos
decimais dos nmeros. Para isso, a mantissa do nmero de menor expoente tem que ser deslocada para a direita.
Esse deslocamento corresponde a um nmero de casas decimais igual diferena entre os dois expoentes.
Portanto, para a adio temos que:

Esse o resultado exato da adio. Como o sistema de ponto flutuante aceita apenas 4 dgitos na mantissa, o
resultado da adio ser:
0,6744.103, em caso de truncamento;
0,6745.103, em caso de arredondamento.
Exemplo B.7: Anlise do erro na operao de multiplicao, ou seja, em x y. Para essa operao aritmtica, temos
que:

Dessa forma, no sistema de ponto flutuante dado, temos que:


x y = 0,2035.105, em caso de truncamento;
x y = 0,2036.105, em caso de arredondamento.

Os Exemplos B.6 e B.7 reforam o que j tnhamos observado no Exemplo B.3, isto , mesmo que os
operandos estejam representados exatamente no sistema de ponto flutuante, no podemos esperar que
o resultado armazenado seja exato.

27

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao


Exemplo B.8: Considere os nmeros z=16,47 e t=3,291. As operaes de adio e multiplicao apresentam
como resultados exatos:

Agora, considere duas mquinas com sistema de ponto flutuante F(10,3,-5, 5) e que armazenem os nmeros
utilizando, respectivamente, truncamento e arredondamento.
Analisemos, inicialmente, essas operaes na mquina digital que realiza o armazenamento por truncamento.
Nessa mquina, temos que z=0,164.102, t=0,329.101, x+y=0,197.102 e xy = 0,539.102. Portanto, os erros
relativos so iguais a:

Agora, vamos analisar a mquina que realiza armazenamento por arredondamento. Nesse caso, temos que
z=0,165.102, t=0,329.101, x+y=0,198.102 e x y = 0,543.102. Portanto, os erros relativos so iguais a:

Do Exemplo B.8, podemos concluir que a mquina que realiza o armazenamento por arredondamento
apresenta erros relativos menores.
Agora, chegou a hora de testarmos os nossos conhecimentos.

28

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade B

Lista de exerccios
1. Considere o sistema de ponto flutuante F(2,2,-2, 3).
b.
c.
d.

Exiba todos os nmeros representveis nesse sistema e coloque-os sobre um eixo ordenado.
Qual o maior nmero na base 10 que pode ser representado nesse sistema?
Qual o menor nmero positivo na base 10 que pode ser representado nesse sistema?

2. Considere o sistema de ponto flutuante F(3,3,-2, 3). Quais das afirmaes abaixo so verdadeiras? Para
as que forem falsas, dizer como seriam corretas.
()No sistema dado, podemos representar 220 nmeros.
()O maior nmero positivo desse sistema 2510.
()O menor nmero positivo desse sistema

()A representao de 710 no sistema dado 0,210.32.


()O nmero 2810 no pode ser representado no sistema.

3. Considere o sistema de ponto flutuante F(10,4,-5, 5). Pede-se:


a. Qual o menor nmero e o maior nmero em mdulo representados nessa mquina?
b. Como ser armazenado o nmero 73758 nessa mquina, se for usado arredondamento? E se for usado
truncamento?
c. Se a=42450 e b=3, qual o resultado de a+b?
d.

Qual o resultado da soma

nessa mquina?

e.

Idem para a soma

(Obviamente, o resultado deveria ser o mesmo. Porm, as operaes devem ser realizadas na ordem em que
aparecem, o que conduzir a resultados diferentes).

4. possvel existir um sistema de ponto flutuante com e1= -2, e2=5, n=2 e com 37 elementos? Justifique.
a.
b.

Caso afirmativo, qual a base desse sistema?


Caso negativo, qual o menor nmero de elementos de um sistema que podemos ter com esses dados?

5. Seja o sistema de ponto flutuante F(10,4,-10, 11) e os nmeros x= 72370, y=21,45.105 e z=2,585. Efetue
as operaes indicadas e calcule o erro relativo no resultado. Considere que a mquina digital armazena os
nmeros por arredondamento.
a.
b.
c.
d.
e.

x+y+z
x-y-z
xy
xyz
x (y z)

6. Resolva a equao 3x2-2x-1=0 em um sistema de ponto flutuante F(10,2,-2,2) com arredondamento.

29

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao

30

CONJUNTOS

Unidade C

Fundamentos Matemticos
da Computao

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade C

UNIDADE

CONJUNTOS

C.1 INTRODUO
A teoria dos conjuntos um dos principais pilares da matemtica. A grande maioria dos conceitos
utilizados em matemtica e em cincia da computao pode ser adequadamente expressa na linguagem
dos conjuntos. Por sua vez, operaes podem ser aplicadas a conjuntos de modo a produzir novos
conjuntos. A maior parte dos conjuntos que interessam para cientistas da computao finita ou
enumervel, mas ainda existe um grande nmero de conjuntos que possuem tantos elementos que no
so passveis de serem enumerados.

C.2 NOO DE CONJUNTOS

Definies so importantes em qualquer cincia porque contribuem para a comunicao precisa. Porm,
ns no iremos definir o termo conjunto, e sim, utilizaremos a ideia intuitiva de que um conjunto uma
coleo de objetos. Sendo assim, todos os objetos em um conjunto possuem uma propriedade comum
que os identifica como pertencentes ao conjunto. Outros objetos que no possuam essa propriedade,
no pertencem ao conjunto.

C.3 NOTAO DE CONJUNTOS

Ns iremos utilizar letras maisculas para denotar conjuntos, letras minsculas para caracterizar os
elementos do conjunto e o smbolo para denotar a pertinncia de um elemento a um conjunto. Dessa
forma, a A significa que o elemento a pertence ao conjunto A, ou a um elemento do conjunto A.
Por outro lado, para caracterizarmos que um objeto no pertence a um conjunto, utilizaremos o smbolo
. Assim, b A significa que o elemento b no pertence ao conjunto A.

C.4 DESCRIO DE CONJUNTOS

Para que possamos descrever um determinado conjunto, temos que identificar de forma inequvoca os
seus elementos. Baseados, nessa premissa, podemos utilizar basicamente duas diferentes maneiras para
a descrio de conjuntos na teoria matemtica. Iremos estud-las a seguir.

POR LISTA

Isso conseguido simplesmente listando, entre chaves, todos os elementos que compem o conjunto.

Um exemplo de descrio de um conjunto por lista o conjunto que contm alguns animais domsticos,
isto ,
Observe que nessa descrio, os elementos do conjunto no apresentam nenhuma ordem, de modo que
{cachorro, gato, passarinho} o mesmo que {passarinho, cachorro, gato}. Alm disso, cada elemento do
conjunto listado uma nica vez.

33

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao

Essa maneira de descrever um conjunto adequada para conjuntos finitos (possuem um nmero limitado
de elementos) e que possuam poucos elementos. Por outro lado, embora seja impossvel listar todos
os elementos de um conjunto infinito, para alguns tipos de conjuntos infinitos, poderamos informar
a forma geral indicando os seus primeiros elementos. Por exemplo, para o conjunto A dos nmeros
inteiros mpares, a sua lista A = {1, 3, 5, 7, ...}. Embora, isso possa ser utilizado, existe o perigo de que
ns no percebamos a forma geral que a pessoa que descreveu o conjunto queria identificar.

PELA PROPRIEDADE CARACTERSTICA

Essa forma consiste em enunciar objetivamente a propriedade que caracteriza os elementos do conjunto.
Por exemplo, para o conjunto dos nmeros inteiros mpares, temos:
a qual lida como A o conjunto dos elementos x tal que x um nmero inteiro mpar e maior
que zero. Geralmente, nessa descrio, a letra x utilizada para designar um elemento qualquer do
conjunto, o smbolo | interpretado como tal que e a vrgula significa e.
Exemplo C.1: Descreva por lista os conjuntos a seguir.
a) B = {x | x um nmero inteiro, 5 x < 9}
B = {5, 6, 7, 8}
b) C = {x | x uma estao do ano}
C = {primavera, vero, outono, inverno}
c) D = {x | x um ms do ano com 28 ou 29 dias}
D = {fevereiro}
Exemplo C.2: Descreva pela propriedade caracterstica os conjuntos a seguir.
a) E = {1, 8, 27, 64, 125}
Observando os elementos listados do conjunto E, notamos que se trata dos cubos dos nmeros de 1 a 5.
Portanto, E = {x | x um dos cinco primeiros cubos perfeitos}.
b) F = {2, 3, 5, 7, 11, 13, 17, ...}
Primeiro, observe que o conjunto F um conjunto com infinitos elementos. Segundo, os nmeros listados
correspondem aos nmeros primos. Ento, F = {x | x um nmero primo}.
c) G = {verde, amarelo, azul, branco}
Note que as cores listadas correspondem s cores da bandeira do Brasil. Assim, G = {x | x cor da bandeira
do Brasil}.

C.5 CONJUNTO UNIVERSO E CONJUNTO VAZIO


Em qualquer aplicao da teoria dos conjuntos, os elementos de todos os conjuntos considerados
pertencem a algum conjunto maior, o qual conhecido por conjunto universo. Por exemplo, em geometria
plana, o conjunto universo compe-se de todos os pontos do plano e, em estudos de populaes humanas,
o conjunto universo compe-se de todas as pessoas do mundo. Ns vamos utilizar o smbolo U para
denotar o conjunto universo.
Por outro lado, vamos analisar o conjunto descrito por A = {x | x um nmero inteiro positivo, x4 = 5}. Da

34

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade C

matemtica, sabemos que no existe nenhum nmero inteiro que elevado quarta potncia resulte no
nmero 5. Assim, conclumos que o conjunto A no possui nenhum elemento, visto que nenhum nmero
inteiro satisfaz a propriedade requerida. O conjunto que no contm elementos chamado de conjunto
vazio e denotado por .

C.6 RELAES ENTRE CONJUNTOS

Para A = {a, e, u} e B = {a, e, i, o, u}, observamos que todo o elemento pertencente a A, tambm pertence a
B. Nesses casos, dizemos que A um subconjunto de B. Da, temos que A um subconjunto de B se (x)
(x A x B), que se l para todo x, se x pertence a A, implica que x pertence a B.
Se o conjunto A um subconjunto do conjunto B, escrevemos A B. Porm, se A B, mas A B (existe,
pelo menos, um elemento em B que no pertence a A), ento A dito um subconjunto prprio de B, e
escrevemos A B.
Exemplo C.3: Considere os conjuntos A = {1, 4, 9, 16}, B = {4, 9} e C = {4, 9, 16, 25}. As seguintes proposies so
todas verdadeiras.
A proposio d significa que o conjunto A no um subconjunto do conjunto C.
a)
b)
c)
d)

BC
BA
BA
AC

e)
f)
g)
h)

16 C
{4, 9} B
{4} A
9A

Exemplo C.4: Considere os conjuntos A = {x | x um inteiro positivo, x 8}, B = {11, 13, 15, 17, 19} e C = {x | x um
inteiro positivo, x 22}. Determine se cada proposio a seguir verdadeira ou falsa.
a) B C
Verdadeira.
b) B A
Verdadeira.
c) A C
Falsa. Observe, por exemplo, que os elementos 23 e 24 pertencem a A e no pertencem a C.
d) {11, 12, 13} A
Verdadeira.
e) 6 A
Falsa. Somente os nmeros maiores ou iguais a 8 fazem parte do conjunto A.
f) {15, 17, 19, 21, 23} C
Falsa. Somente os nmeros menores ou iguais a 22 fazem parte do conjunto C. Assim, o elemento 23 no
pertence ao conjunto C.

35

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao

C.7 CONJUNTOS DE CONJUNTOS


Para um dado conjunto A, podemos formar um novo conjunto cujos elementos so os subconjuntos de A.
Esse novo conjunto chamado de conjunto das partes de A e denotado por (A).
Exemplo C.5: Seja o conjunto B = {1, 2, 3}. Nesse caso, temos que (B) = {, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}}.

Do Exemplo C.5, podemos tirar algumas concluses importantes. A primeira a de que o conjunto das
partes de um conjunto sempre conter o conjunto vazio e o prprio conjunto.

A segunda concluso est relacionada com a quantidade de elementos que compem o conjunto das
partes. Observe que o conjunto B do Exemplo C.5 possui 3 elementos e que (B) possui 8. Assim, essa
observao pode ser generalizada e, para um conjunto S com n elementos, temos que o conjunto das
partes (S) ter 2n elementos.

C.8 OPERAES BINRIAS E UNRIAS

Inicialmente, vamos definir o termo par ordenado. Um par ordenado consiste de dois elementos
quaisquer de um conjunto listados entre parnteses. Assim, um par ordenado denotado por (x, y),
onde x a primeira componente e y a segunda. A ordem das componentes muito importante em um
par ordenado. Assim, os conjuntos {5, 6} e {6, 5} so iguais, mas os pares ordenados (5, 6) e (6, 5) so
diferentes. Ns j trabalhamos intuitivamente com essa ideia de pares ordenados como coordenadas
para se localizar um ponto no plano. Por exemplo, a localizao do ponto (5, 6) no plano cartesiano
completamente diferente da localizao do ponto (6, 5) no mesmo plano.
Para dois pares ordenados (x, y) e (u, v), esses sero iguais se, e somente se, x = u e y = v.

Exemplo C.6: Dado o par ordenado (3x - y, x + 2y) = (10, 8), calcule os valores de x e y. Para que haja a igualdade
entre os pares ordenados, lembre que as suas respectivas coordenadas devem ser iguais. Assim, temos que:

Observe que temos um sistema linear com duas incgnitas e duas equaes, cuja soluo x = 4 e y = 2.

Definio de operao binria


Uma operao em um conjunto S uma operao binria, denotada genericamente por , se, para todo
par ordenado (x, y) de elementos de S, x y existe, nica e pertence a S.
As condies de que x y existe e nica equivale a dizer que a operao x y est bem definida. A condio
de que x y sempre pertence a S interpretada dizendo-se que S fechado em relao operao .

Como exemplos de operaes binrias, podemos citar as operaes de adio, subtrao e multiplicao
no conjunto dos nmeros inteiros Z. Assim, ao efetuarmos a operao de adio entre dois nmeros
inteiros x e y, x + y existe, nico e pertence ao conjunto Z.
Por outro lado, a operao de diviso no uma operao binria em Z, pois x 0 no existe. Da mesma
forma, a operao de subtrao no uma operao binria no conjunto dos nmeros naturais N, pois N
no fechado em relao subtrao (1 - 2 ).

36

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade C

Considere a operao x y definida em N por:

Observe que, pela primeira parte da definio de x y, 3 1 = 1, porm, pela segunda parte, 3 1 = 0.
Assim, a operao no est bem definida em N e, por conseguinte, a operao no uma operao
binria.

Definio de operao unria

Uma operao em um conjunto S uma operao unria, denotada genericamente por #, quando
verdade que x# bem definida para todo x em S e que S fechado em relao a #. Em outras palavras,
qualquer que seja x S, x# existe, nico e pertence a S. Caso uma dessas condies falhe, no teremos
uma operao unria.
Por exemplo, considere a operao unria definida por x# = x, de modo que x# o negativo de x. A
operao # uma operao unria no conjunto Z, entretanto, no o em N, pois N no fechado em
relao a #.
Exemplo C.7: Quais das expresses a seguir no definem operaes binrias nem unrias nos conjuntos dados? Por
qu?
a) x y = x y; S = conjunto de todos os nmeros inteiros positivos.
No define uma operao binria, pois S no fechado em relao diviso.
b)

x y = x y; S = conjunto de todos os nmeros reais positivos.


uma operao binria.

c)

x y = xy; S = conjunto dos nmeros reais.


No define uma operao binria, pois 00 no est definido.

d)

x y = mximo entre x e y; S = conjunto dos nmeros naturais.


Define uma operao binria.

e) x# = x; S = conjunto de todos os nmeros reais positivos.


Define uma operao binria.
f)

x# = soluo da equao (x#)2 = x; S = conjunto dos nmeros complexos.


No define uma operao unria, pois x# no nico para x = 4, por exemplo, 22 = 4 e (-2)2 = 4.

37

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao

C.9 OPERAES COM CONJUNTOS


Para as definies a seguir, considere que A e B sejam dois subconjuntos de um determinado conjunto
universo U.

UNIO DE CONJUNTOS

A unio dos conjuntos A e B, denotada por A B, o conjunto {x | x A ou x B}. A Figura C.1 ilustra
graficamente a unio dos conjuntos A e B. Essa visualizao conhecida como diagrama de Venn. A rea
hachurada corresponde unio dos conjuntos A e B.

INTERSEO DE CONJUNTOS
A interseo dos conjuntos A e B, denotada por AB, o conjunto {x | x A e x B}. A Figura C.2 o
diagrama de Venn para a interseo dos conjuntos A e B. A rea hachurada corresponde interseo dos
conjuntos.

38

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade C

COMPLEMENTO DE UM CONJUNTO
O complemento de um conjunto A, denotado por A', o conjunto {x | x U e x A}. A figura C.3 ilustra o
complemento do conjunto A atravs do diagrama de Venn. A rea hachurada corresponde ao complemento
do conjunto A.

DIFERENA ENTRE CONJUNTOS


A diferena entre os conjuntos A e B, denotada por A - B, o conjunto {x | x A e x B}. A Figura C.4 mostra
o diagrama de Venn para a operao de diferena entre conjuntos. A rea hachurada corresponde a A - B.

CONJUNTOS DISJUNTOS
Dois conjuntos A e B so ditos disjuntos se A B = . Assim, temos que A - B e B - A so conjuntos
disjuntos.

PRODUTO CARTESIANO

O produto cartesiano de dois conjuntos A e B, denotado por A B, o conjunto {(x, y) | x A e y B}.


Assim, o produto cartesiano de dois conjuntos A e B o conjunto de todos os pares ordenados com
primeira componente em A e a segunda em B.
Exemplo C.8: Sejam os subconjuntos A = {1, 3, 5, 7} e B = {2, 3, 4, 5, 6, 8} do conjunto universo U = nmeros inteiros
positivos. Para, esses conjuntos, temos que:
A B = {1, 2, 3, 4, 5, 6, 7, 8}
A B={3, 5}
A' = conjunto dos nmeros inteiros positivos com exceo dos nmeros 1, 3, 5 e 7
B' = conjunto dos nmeros inteiros positivos com exceo dos nmeros 2, 3, 4, 5, 6 e 8
A - B = {1, 7}

39

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao


B - A = {2, 4, 6, 8}
A B = {(1, 2), (1, 3), (1, 4), (1, 5), (1, 6), (1, 8), (3, 2), (3, 3), (3, 4), (3, 5), (3, 6), (3, 8), (5, 2), (5, 3), (5, 4), (5, 5), (5,
6), (5, 8), (7, 2), (7, 3), (7, 4), (7, 5), (7, 6), (7, 8)}
B A = {(2, 1), (2, 3), (2, 5), (2, 7), (3, 1), (3, 3), (3, 5), (3, 7), (4, 1), (4, 3), (4, 5), (4, 7), (5, 1), (5, 3), (5, 5), (5, 7), (6,
1), (6, 3), (6, 5), (6, 7), (8, 1), (8, 3), (8, 5), (8, 7)}

C.10 IDENTIDADES ENVOLVENDO CONJUNTOS


H vrias igualdades entre conjuntos envolvendo as operaes de unio, interseo, diferena e
complementao que so vlidas para quaisquer subconjuntos de um dado conjunto S. Essas igualdades
so conhecidas como identidades.
A seguir, sero listadas as identidades bsicas envolvendo conjuntos.

Exemplo C.9: Usando as identidades bsicas entre conjuntos, mostre que a igualdade [C (A B)] [(A B) C'] =
A B verdadeira.
Vamos comear pelo lado esquerdo da igualdade. Primeiramente, utilizando a identidade da comutatividade, obtemos
[(A B) C] [(A B) C']
Agora, usando a propriedade da distributividade, obtemos
(A B) (C C')
Recordando a propriedade da operao de complemento, obtemos
(A B) S
E, finalmente, pela propriedade da existncia de elemento neutro, chegamos a
AB
Prova concluda.

40

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade C

C.11 CONJUNTOS CONTVEIS E NO-CONTVEIS


Em um conjunto finito A, sempre podemos designar um elemento como sendo o primeiro, a1, um outro
como sendo o segundo, a2, e assim por diante. Se existem n elementos no conjunto, ento eles podem ser
listados na ordem a1, a2, ..., an. Essa lista representa todo o conjunto.
O nmero de elementos em um conjunto finito a cardinalidade do conjunto.

No caso de conjuntos infinitos, podemos ainda, em alguns casos, selecionar um primeiro elemento a1,
um segundo, a2, e assim por diante, de modo que a lista a1, a2, a3, ..., representa todos os elementos do
conjunto. Tal conjunto infinito dito enumervel.
Os conjuntos finitos e os conjuntos enumerveis so conjuntos contveis, pois podemos contar, ou
enumerar, todos os seus elementos.

Ateno

Ser um conjunto contvel no significa que somos capazes de dizer qual o nmero total de elementos no
conjunto (sua cardinalidade); significa que podemos identificar quem o primeiro elemento, o segundo, e
assim por diante.
Um exemplo de conjunto enumervel o conjunto dos nmeros naturais . Para provar que o conjunto
enumervel, basta que mostremos uma forma de listar os seus componentes, ou seja,
0, 1, 2, 3, 4, 5, 6, ...
Por outro lado, o conjunto dos nmeros reais R no-enumervel. Podemos observar que entre quaisquer dois
nmeros reais sempre existir outro. Isso impossibilita a listagem dos seus elementos, tornando-o um conjunto
no-enumervel.

41

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao

LISTA DE EXERCCIOS
1. Descreva cada um dos conjuntos listando os seus elementos.
a.
b.
c.
d.
e.

{x|x , x2 < 25}


{x | x , x par, -2 < x < 11}
{x|x R, x2 = -1}
{x | x um dos estados da Regio Sul do Brasil}
e) {x | x , |x| 4}

2. Descreva os conjuntos na forma de propriedade caracterstica.


a.
b.
c.
d.

{1, 2, 3, 4, 5}
{2, 4, 6, 8, 10, ...}
{Melchior, Gaspar, Balthazar}
{0, 1, 10, 11, 100, 101, 110, 111, 1000, ...}

3. Dados os conjuntos A={x | x , 1 < x < 50}, B={x|x R, 1 < x < 50} e C={x | x , |x| 25}. Quais
afirmaes so verdadeiras? Para as que no forem, por qu?
a.
b.
c.
d.
e.
f.

AB
17 A
AC
-40 C
{0, 1, 2} A
{x|x , x2 > 625}

4. Sejam R= {1, 3, , 4, 9, 10}, S={{1}, 3, 9, 10}, T={1, 3, } e U={{1, 3, }, 1}. Quais afirmaes so verdadeiras?
Para as que no forem, por qu?
a.
b.
c.
d.
e.
f.
g.

SR
1 R
1 S
T R
TU
T U
TR

5. Encontre (S) se S = {1, 2, 3, 4}. Quantos elementos (S) possui?


6. O que se pode afirmar sobre A se (A) = {, {x}, {y}, {x, y}}?
7. Quais das expresses definem operaes binrias ou unrias nos conjuntos dados? Para as que no
definem, por qu?
a.
b.

x y = x + 1; S =

c.

x y =

d.
e.

x y = x + y - 1; S =

x - 1
x

se x mpar
se x par

S=

x# = ln x; S= R
x# = x2; S =

42

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade C

8. Sejam A = {a, b, c, d}, B = {c, e, f} e C = {a, d, e, g} subconjuntos de S = {a, b, c, d, e, f, g}. Determine :


a.
b.
c.
d.
e.
f.
g.
h.

BC
AC
A'
ABC
B-C
(A B)'
AB
(A C) B'

9. Sejam P={2,4,5,6,8}, R={1,6,8,10} e T={x|x , 2x<5} subconjuntos de S = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10}.


Determine
a.
b.
c.
d.
e.
f.
g.

AB
AB
AC
BC
A-B
(B - A)' (A - B)
B C

10. A, B e C so subconjuntos de um conjunto S. Prove as identidades a seguir.


a.
b.

A (B A') = B A
(A B) (A B') = A

43

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao

44

RELAES

Unidade D

Fundamentos Matemticos
da Computao

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade D

UNIDADE

RELAES

D.1 INTRODUO
Ns estamos familiarizados com muitas relaes que so utilizadas em matemtica e cincia da
computao. Por exemplo, menor que, maior que, ortogonal a, um subconjunto de, pertence
a, ...

De certa forma, essas relaes consideram a existncia de uma conexo entre pares de objetos que so
comparados em uma ordem predefinida. Formalmente, ns definimos uma relao em termos desses
pares ordenados.
Na teoria da cincia da computao, existem trs tipos de relao que so muito importantes:
relaes binrias;
relaes de equivalncia;
funes.

As duas primeiras sero estudadas e discutidas nessa unidade. As relaes funcionais sero apresentadas
na Unidade E.

Como apresentado anteriormente, as relaes so definidas em termos de pares ordenados (a, b) de


elementos, onde a o primeiro elemento e b, o segundo. No esqueamos, da Unidade C, que
se, e somente se, a = c e b = d.

D.2 RELAES BINRIAS


Definio
Dado um conjunto S, uma relao binria em S um subconjunto de S S (um conjunto de pares
ordenados de S).
Vamos recordar a Unidade C. O produto cartesiano de um conjunto S com ele mesmo, S S, o conjunto
de todos os pares ordenados de elementos de S. Por exemplo, se S = {a, b, c}, ento

Se estivssemos interessados na relao de igualdade, ento (a, a), (b, b) e (c, c) seriam os elementos de
S S escolhidos, ou seja, os nicos pares ordenados que satisfazem a relao desejada (componentes
iguais). Podemos afirmar que os pares ordenados (x, y) so aqueles que satisfazem x = y.
Assim, genericamente, podemos utilizar a notao x y com o significado de que o par ordenado (x,
y) satisfaz a relao . A relao pode ser descrita em termos de palavras ou listando-se os pares
ordenados que a satisfazem.

47

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao

Matematicamente, temos que


Em geral, uma relao binria definida por uma descrio. Essa descrio caracteriza os elementos
pertencentes relao, ou seja, um predicado binrio que satisfeito por determinados pares ordenados.
Nos exemplos a seguir, considere S = {1, 2}. Ento, S S = {(1, 1), (1, 2), (2, 1), (2, 2)}.
Exemplo D.1: Seja a relao em S dada por x y x + y par. Ento, (1,1) e (2, 2) .

Exemplo D.2: A relao definida em S por = {(1, 2), (2, 2)}, ento 1 2 e 2 2 so verdadeiras, porm, 1 1
no o .

RELAES ENTRE CONJUNTOS DIFERENTES


Definio
Dados dois conjuntos S e T, uma relao binria de S para T um subconjunto de S T.

Exemplo D.3: Sejam S={1,2,3} e T={7,8,9}. O conjunto {(1,7), (2,8), (3,9)} formado por elementos de S T, logo
uma relao binria de S para T.
Exemplo D.4: Para as relaes binrias a seguir, quais entre os pares ordenados listados pertencem a relao?
a) x y y = x + 1; (1, 2), (1, 3), (2, 3), (2, 4)
(1, 2) e (2, 3)
b)

x y y multiplo de x; (1, 2), (1, 3), (2, 3), (2, 4)


(1, 2) , (1, 3) e (2, 4)

c)

x y y > x2; (1, 2), (1, 3), (2, 3), (2, 4)


(1, 2) e (1, 3)

Se uma relao binria em S, ento consiste em um conjunto de pares ordenados (x, y). Dada uma primeira
componente x, ou uma segunda componente y, podem ser formados vrios pares pertencentes relao.

A relao um para um se cada primeira componente e cada segunda componente aparece uma nica vez
na relao. A relao um para muitos se alguma primeira componente aparece mais de uma vez. A relao
dita muitos para um se alguma segunda componente aparece mais de uma vez. E, a relao muitos para
muitos se pelo menos uma primeira componente aparece em mais de um par e pelo menos uma segunda
componente aparece em mais de um par. A Figura D.1 ilustra esses tipos de relao do ponto de vista
grfico. Observe que nem todos os valores em S precisam ser componentes de algum par ordenado em .

48

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade D

PROPRIEDADES DE RELAES
Definio
Uma relao binria em um conjunto S :

reflexiva: (x) (x S (x, x) )


simtrica: (x) (y) (x S ^ y S ^ (x, y) (y, x) )
transitiva: (x) (y) (z) (x S ^ y S ^ z S ^ (x, y) ^ (y, z) (x, z) )

Exemplo D.5: Considere a relao de igualdade, x y x = y, em um conjunto S. Ela reflexiva, pois, para
qualquer x S, x = x, ou seja, (x, x) .
Ela simtrica, pois, para quaisquer x, y S, se x = y, ento y = x, ou seja, (x, y) (y, x) .
Ela tambm transitiva, pois, para quaisquer x, y, z S, se x = y e y = z, ento x = z, ou seja, [(x, y) e (y, z) ]
(x, z) .
Exemplo D.6: Considere a relao no conjunto N. Essa relao reflexiva porque, para qualquer inteiro nonegativo x, x x. Ela tambm transitiva porque, para quaisquer x, y, z N, se x y e y z, ento x z.

Porm, ela no simtrica porque 3 4 no implica em que 4 3. Em verdade, para quaisquer x e y N, se x y


e y x, ento x = y. Essa propriedade chamada de anti-simtrica. Matematicamente, podemos escrever que (x)
(y) (x S ^ y S ^ (x, y) ^ (y, x) x = y).

Exemplo D.7: Considere o conjunto S = {a, b, c, d}.


a) Se uma relao em S reflexiva, quais pares ordenados pertencem relao?
(a, a), (b, b), (c, c), (d, d)
b) Se uma relao em S simtrica e se (a, b) , que outros pares ordenados pertencem a ?
(b, a)
c) Se uma relao em S anti-simtrica e se (a, b) e (b, a) , o que necessrio acontecer?
a=b

Observao: as propriedades de simetria e anti-simetria para relaes binrias no so o oposto


uma da outra, como poderia parecer pelos seus nomes. Anti-simtrica no significa no-simtrica.

49

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao

Uma relao no-simtrica se algum (x, y) pertencer relao e (y, x) no. Portanto, as relaes podem
ser simtricas e anti-simtricas, anti-simtricas e no-simtricas, podem ser simtricas e anti-simtricas,
ou ainda podem no ser nem simtricas nem anti-simtricas. Por exemplo, a relao de igualdade em
um conjunto S simultaneamente simtrica e anti-simtrica. Por outro lado, a relao = {(a, e), (e, a),
(a, i)} no conjunto S = {a, e, i} no nem simtrica, (a, i) pertence relao, porm (i, a) no; nem antisimtrica, (a, e) e (e, a) pertencem, mas a e.
Exemplo D.8: Analise as relaes binrias no conjunto S e determine se so reflexivas, simtricas, anti-simtricas ou
transitivas.
a) S = N; x y x + y par.
reflexiva, simtrica e transitiva.
b)

S = + (conjunto dos nmeros inteiros positivos); x y x divide y.


reflexiva, anti-simtrica e transitiva.

c) S = conjunto de todas as retas no plano; x y x paralela a y ou x coincide com y.


reflexiva, simtrica e transitiva.
d) S = N; x y x = y2.
anti-simtrica.
e) S = {0, 1}; x y x = y2.
reflexiva, simtrica, anti-simtrica e transitiva.
f) S = {x|x uma pessoa que mora em Passo Fundo}; x y x mais velho do que y.
anti-simtrica e transitiva.

g) S = {x | x um aluno em sua turma}; x y x senta-se na mesma fila que y.


reflexiva, simtrica e transitiva.
h) S = {a, b, c}; = {(a, a), (b, b), (c, c), (a, b), (b, a)}.
reflexiva, simtrica e transitiva.

D.3 ORDENS PARCIAIS


Definio
Uma relao binria em um conjunto S que seja reflexiva, anti-simtrica e transitiva denominada de
ordem parcial em S.
Para ilustrar a definio anterior, as relaes a seguir so ordens parciais.
a)
b)
c)
d)

Em N; x y x y
Em (N); A B A B
Em +; x y x divide y
Em {0, 1}; x y x = y2

Se uma ordem parcial em S, ento o par ordenado (S, ) denominado conjunto parcialmente
ordenado. Utilizaremos a notao (S, ) para um conjunto parcialmente ordenado qualquer.

50

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade D

Seja (S, ) um conjunto parcialmente ordenado. Se x y, ento ou x = y ou x y. Se x y mas x y,


escrevemos x y e dizemos que x um predecessor de y ou que y um sucessor de x. Um dado y pode
ter muitos predecessores, mas se x y e se no existe nenhum z com x z y, ento x um predecessor
imediato de y.
Exemplo D.9: Considere a relao x divide y em {1, 2, 3, 6, 12, 18}.
a) Escreva os pares ordenados (x, y) pertencentes relao.
(1, 1), (1, 2), (1, 3), (1, 6), (1, 12), (1, 18), (2, 2), (2, 6), (2, 12), (2, 18), (3, 3), (3, 6), (3, 12), (3, 18), (6, 6),
(6, 12), (6, 18), (12, 12), (18, 18).
b) Escreva os predecessores de 6.
1, 2, 3
c) Escreva os predecessores imediatos de 6.
2, 3

Se S for finito, podemos representar visualmente um conjunto parcialmente ordenado (S, ) por um
diagrama de Hasse. Cada elemento de S representado por um ponto, denominado n ou vrtice do
diagrama. Se x um predecessor imediato de y, o n que representa y colocado acima do n que
representa x e os dois ns so ligados por um segmento de reta.
Exemplo D.10: considere ({1, 2}) com a relao de incluso de conjuntos. Esse um conjunto parcialmente
ordenado. Os elementos de ({1, 2}) so , {1}, {2} e {1, 2}. A relao binria consiste nos seguintes pares
ordenados:
(, ), (, {1}), (, {2}), (, {1, 2}), ({1}, {1}), ({1}, {1, 2}), ({2}, {2}), ({2}, {1, 2}), ({1, 2}, {1, 2})

O diagrama de Hasse desse conjunto parcialmente ordenado est mostrado na Figura D.2. importante
observar que embora no seja um predecessor imediato de {1, 2}, ele um predecessor de {1, 2}.

Exemplo D.11: Construa o diagrama de Hasse para o conjunto parcialmente ordenado do Exemplo D.9.

51

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao

O diagrama de Hasse de um conjunto parcialmente ordenado contm todas as informaes sobre a


ordem parcial. Assim, podemos obter o conjunto de pares ordenados a partir do diagrama. Os segmentos
de reta indicam os predecessores e sucessores. Podemos completar o resto utilizando as propriedades
da reflexividade e da transitividade.Exemplo D.12: Determine o conjunto de pares ordenados da ordem parcial
dada pelo seu diagrama de Hasse (Figura D.4).

O conjunto dos pares ordenados da ordem parcial so


{(1, 1), (2, 2), (3, 3), (4, 4), (5, 5), (6, 6), (1, 2), (1, 3), (1, 4), (1, 5), (4, 5)}

D.4 RELAES DE EQUIVALNCIA


Definio: uma relao binria em um conjunto S que seja reflexiva, simtrica e transitiva denominada
de relao de equivalncia em S. Exemplos de relaes de equivalncia:
a)
b)
c)
d)
e)
f)

Em qualquer conjunto S, x y x = y.
Em N, x y x + y par.
No conjunto de todas as retas no plano, x y x paralela ou coincide com y.
Em {0, 1}, x y x = y2.
Em {x|x um aluno em sua turma}, x y x senta-se na mesma fila que y.
Em {a, b, c}, = {(a, a), (b, b), (c, c), (a, b), (b, a)}.

Iremos abordar agora uma caracterstica importante das relaes de equivalncia. Considere o exemplo
e acima. Ao agruparmos todos os alunos no conjunto S que esto relacionados entre si, chegamos
Figura D.5. Ns dividimos o conjunto S em subconjuntos de modo que todos na turma pertencem a um,
e apenas um, subconjunto.

52

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade D

Definio
Uma partio de um conjunto S uma decomposio de S em subconjuntos no vazios tais que todo
o elemento de S pertence a um, e apenas um, desses subconjuntos. A cada um desses subconjuntos
chamamos elementos da partio.
Assim, qualquer relao de equivalncia divide o conjunto onde est definida em uma partio. Os
subconjuntos que compem a partio so formados agrupando-se os elementos relacionados.

Se uma relao de equivalncia em um conjunto S e se x S, denotamos por [x] o conjunto de todos


os elementos relacionados a x em S e esse conjunto chamado de classe de equivalncia de x. Portanto,
No caso do exemplo e anterior, suponha que os alunos Antnio, Carla, Jos e Bianca sentem na mesma
fila. Ento, [Antnio] = {Carla, Jos, Bianca}. Temos ainda que [Antnio] = [Carla] = [Jos] = [Bianca].
Essas no so classes distintas, mas a mesma classe com diferentes nomes. Uma classe de equivalncia
pode usar o nome de qualquer um dos seus elementos.

Teorema

Uma relao de equivalncia em um conjunto S define uma partio de S e uma partio de S define
uma relao de equivalncia em S.
Exemplo D.13: vamos considerar a relao de equivalncia em N, x y x + y par. Essa relao divide o conjunto N
em duas classes de equivalncia. Se x um nmero par, ento, para todo o nmero par y, x + y par e y [x]. Todos
os nmeros pares formam uma classe de equivalncia. Por outro lado, se x mpar, ento, para todo o nmero mpar
y, x + y par e y [x]. Todos os nmeros mpares formam a segunda classe de equivalncia. A partio pode ser
representada como mostrado na Figura D.6.

53

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao


Observe que uma classe de equivalncia pode ter mais de um nome. No Exemplo D.13, [2] = [100] = [1048] e
[1] = [277] = [2359].
Exemplo D.14: No conjunto {a, b, c}, = {(a, a), (b, b), (c, c), (a, b), (b, a)}, descreva as classes de equivalncia.
[a] = [b] = {a, b} e [c] = {c}

A Tabela D.1 apresenta um resumo sobre as caractersticas importantes de ordens parciais e de relaes
de equivalncia.

Tipo de relao
binria
Ordem parcial

Reflexiva

Simtrica

Anti-simtrica

Transitiva

Caracterstica
importante

Sim

No

Sim

Sim

Predecessor e
sucessor

Sim

Relao de
equivalncia

Sim

No

Sim

Determina uma
partio

Tabela D.1 Caractersticas importantes das ordens parciais e das relaes de equivalncia.

LISTA DE EXERCCIOS
1. Para as relaes binrias a seguir, definidas em N, determine quais pares ordenados pertencem a .
a.
b.
c.

x y x + y < 6; (1,1),(1,4),(1,5),(2,3),(3,2),(3,3)
x y x = y + 1; (0, 1), (3, 2), (3, 3), (4, 3), (5, 4), (5, 2)
x y x um cubo perfeito; (1,1),(1,4),(2,8),(2,9),(3,9),(3,27)

2. Quais dos pares ordenados satisfazem a relao ?


a.
b.
c.

uma relao binria em , x y x = -y; (1, -1), (2, 2), (-3, 3), (-4, -4)
uma relao binria em N, x y x primo; (19, 7), (21, 4), (33, 13), (41, 16)
uma relao binria em Q, x y x 1/y; (1, 2), (-3, -5), (-4, 12), (12, 14)

3. Para as relaes binrias em R, desenhe uma figura que mostre a regio do plano que a descreve.
a.
b.
c.

xyx2
xyx=y-1
xyxy

4. Para as figuras a seguir, escreva a relao binria que descreve a rea sombreada.

54

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade D

5. Determine quais das relaes um para um, um para muitos, muitos para um ou muitos para muitos.
a.
b.
c.
d.
e.
f.
g.

S = N, = {(1,2),(1,4),(1,6),(2,3),(4,3)}
S = N, = {(9, 7), (6, 5), (3, 6), (8, 5)}
S = N, = {(12,5),(8,4),(6,3),(7,12)}
S = N, = {(2, 7), (8, 4), (2, 5), (7, 6), (10, 1)}
S = N, x y x = y+1
S = conjunto de todas as mulheres em Passo Fundo, x y x filha de y
S = R, x y x = 1

6. Seja S = {0, 1, 2, 4, 6}. Identifique se as relaes binrias em S so reflexivas, simtricas, anti-simtricas


ou transitivas.
a.
b.
c.
d.

= {(0, 0), (1, 1), (2, 2), (4, 4), (6, 6), (0, 1), (1, 2), (2, 4), (4, 6)}
= {(0, 1), (1, 0), (2, 4), (4, 2), (4, 6), (6, 4)}
= {(0, 1), (1, 2), (0, 2), (2, 0), (2, 1), (1, 0), (0, 0), (1, 1), (2, 2)}
= {(0, 0), (1, 1), (2, 2), (4, 4), (6, 6), (4, 6), (6, 4)}

7. Seja S o conjunto de todas as pessoas que moram no Rio Grande do Sul. Classifique as relaes binrias
em S em reflexivas, simtricas, anti-simtricas ou transitivas.
a.
b.
c.
d.
e.

x y x mais alto do que y


x y x tem a mesma altura que y
x y x casado com y
x y x possui os mesmos pais que y
x y x irmo de y

8. Construa o diagrama de Hasse para as seguintes ordens parciais.


a.

S = {1, 2, 3}
r = {(1, 1), (2, 2), (3, 3), (1, 2), (2, 3), (1, 3)}

b.

S = {1, 2, 3, 4}
r = {(1, 1), (2, 2), (3, 3), (4, 4), (1, 2), (1, 3)}

9. Para os diagramas de Hasse a seguir, liste os pares ordenados que pertencem relao de ordem
correspondente.

10. Para a relao de equivalncia = {(1, 1), (2, 2), (3, 3), (1, 3), (3, 1)}, qual o conjunto [1]? Esse conjunto
possui outro nome?

55

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao

11. Para a relao de equivalncia r = {(a, a), (b, b), (a, b), (b, a), (a, c), (c, a), (c, b), (b, c), (c, c), (d, d), (e, e),
(d, e), (e, d)}, qual o conjunto [c]? E o conjunto [d]?
12. Dadas as parties {a, b} e {c, d} do conjunto S = {a, b, c, d}, liste os pares ordenados pertencentes
relao de equivalncia.
13. Dadas as parties {1, 2, 3} e {4, 5} do conjunto S = {1, 2, 3, 4, 5}, liste os pares ordenados pertencentes
relao de equivalncia.
14. Seja S = N e seja uma relao binria em S definida por x y x2 + y2 par. Mostre que uma relao
de equivalncia em S e descreva as classes de equivalncia associadas.

56

FUNES

Unidade E

Fudamentos Matemticos
da Computao

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao

UNIDADE

FUNES

E.1 INTRODUO
Nessa unidade, ns vamos tratar de um caso especial de relaes binrias de um conjunto S em um
conjunto T: as funes. Funes so relaes binrias nas quais para todo elemento do conjunto S
corresponde um nico elemento do conjunto T.

Funo uma expresso muito comum no nosso dia a dia. Imagine, por exemplo, uma revista que
apresente uma reportagem sobre o crescimento de crianas. A reportagem poderia dizer que A altura
de uma criana depende da sua idade ou A altura de uma crianca funo da sua idade. Essa relao
funcional pode ser expressa graficamente, como mostrada na Figura E.1. A figura explica que, quanto
mais idade a criana tiver, maior ser a sua altura.

Ns tambm utilizamos as funes matemticas em lgebra e clculo. Por exemplo, a equao f(x) = x2 2
expressa uma relao funcional entre os valores de x e os de f, quando x substitudo por seu valor na
expresso de f. Assim, para x = 2, f(2) = 2. De forma semelhante, f(1) = 1, e assim por diante. Observe
que para cada valor de x, f(x) nico. Ainda, temos que, se x puder assumir qualquer valor real, o grfico
resultante para a funo f(x) est mostrado na Figura E.2.

58

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade E

Dos exemplos apresentados, constatamos que existem trs partes em uma funo:
um conjunto de valores iniciais ou domnio da funo;
um conjunto com os valores associados ou contradomnio da funo;
a associao propriamente dita.

A Figura E.3 apresenta uma funo qualquer g. Nela, g uma funo de S em T, simbolizada por g:S T. S
o domnio e T o contradomnio. A associao um conjunto de pares ordenados da forma (s, t), onde s
S e t T, ou seja, t = g(s). Assim, observamos que a associao um subconjunto de S T (uma relao
binria de S em T).

E.2 TERMINOLOGIA PARA FUNES

Sejam S e T conjuntos. Uma funo f de S em T, f:S T, um subconjunto de S T tal que cada elemento
de S aparece exatamente uma vez como a primeira componente de um par ordenado. S o domnio e T
o contradomnio da funo. Se (s, t) pertence funo, ento denotamos t por f(s), t a imagem de s sob
f, s uma imagem inversa de t sob f e f leva s em t.

Uma funo de S em T um subconjunto de S T com algumas restries sobre os pares ordenados


que a compem. Por esse motivo, dizemos que uma funo um tipo particular de relao binria. Pela
definio de funo, uma relao do tipo um para muitos (ou muitos para muitos) no pode ser uma
funo. Alm disso, cada elemento de S tem que aparecer como primeira componente.
Exemplo E.1: Quais das relaes a seguir so funes? Para as que no so, por que no?
a) g:S T, onde S = T = {a, b, c} e g = {(a, a), (b, c), (c, a), (b, a)}
No funo, pois existem dois valores associados a b S.
b) g:Z N, onde g(x) = |x|
funo.
c) g:N N, onde g(x) = x 2
No funo, pois para os valores 0 e 1 do domnio, os valores correspondentes de g(x) no pertencem ao
contradomnio.
d) g:S T, onde S o conjunto de pessoas em sua famlia, T o conjunto de todos os nmeros de RG e g
associa cada pessoa ao seu RG
No funo, pois nem todas as pessoas de sua famlia possuem RG (por exemplo, as crianas pequenas).
e) g:S T, onde S o conjunto de todos os polinmios de grau 2 em x com coeficientes inteiros, T = Z e g(x)
=a+b+c
funo.

59

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao


f) g:R R, onde g(x)=12x + 5
funo.
g) g:N N, onde g definida por
x-5 se x 3
g(x) =
x
se x 3

No funo, pois existem dois valores associados a 3 N.

A definio de funo inclui funes em mais de uma varivel. Podemos ter uma funo f:S1S2... SnT
que associa a cada n-upla de elementos (s1, s2, ..., sn), si S, um nico elemento em T.

Por exemplo, seja a funo g:ZN{3,4} Z dada por g(x, y, z)= y2x. Ento, g(2,3,4) = 34 (2) = 81 + 2 = 83.

E.3 PROPRIEDADES DE FUNES

Funo sobrejetora: uma funo f:S T sobrejetora se sua imagem igual ao seu contradomnio.

Funo injetora: uma funo f:S T injetora se nenhum elemento de T a imagem, sob f, de dois
elementos distintos em S.
Funo bijetora: uma funo f:S T bijetora se simultaneamente injetora e bijetora.

A Figura E.4 apresenta ilustraes simples das propriedades das funes. Em cada caso, o domnio est
esquerda e o contradomnio, direita.

E.4 COMPOSIO DE FUNES

Considere que f e g so funes, com f:S T e g:T U. Ento, para todo s S, f(s) = t um elemento de
T, que o contradomnio de f. Logo, a funo g pode ser calculada em f(s). O resultado g(f(s)) = u, que
um elemento de U. A Figura E.5 ilustra o procedimento descrito.

Resumindo o procedimento anterior, podemos dizer que escolhemos um elemento arbitrrio s em S,

60

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade E

aplicamos a funo f neste elemento e, depois, aplicamos a funo g a f(s). Isso a mesma coisa que
associar um elemento de U a s. Assim, ns criamos uma funo S U, denominada composio das
funes f e g e denotada por g f. A Figura E.6 ilustra o descrito.

Definio
Sejam as funes f:S T e g:T U. A funo composta g f a funo de S em U definida por (g f)(s) =
g(f(s)).
Observe que a funo g f aplicada da esquerda para a direita; primeiro aplicamos a funo f e, aps,
a funo g.
Exemplo E.2: Sejam as funes f:N N definida por f(x) = x + 3 e g:N N definida por g(x) = x2.
a) Qual o valor de (g f)(2)?
(g f)(2) = g(f(2)) = g(2+3) = g(5) = 52 = 25
b) Qual o valor de (f g)(2)?
(f g)(2) = f(g(2)) = f(22) = f(4) = 4 + 3 = 7

Teorema
A composio de duas funes bijetoras tambm uma funo bijetora.

E.5 FUNES INVERSAS

As funes bijetoras apresentam uma propriedade importante. Seja f:S T uma bijeo. Como f
sobrejetora, todo t T tem uma imagem inversa s S. Como f injetora, essa imagem inversa nica.
Assim, podemos associar a cada elemento t T um nico elemento s S, lembrando que t = f(s). Esse
procedimento descreve uma funo g:TS. A Figura E.7 ilustra as funes f e g.

Observe que os domnios e os contradomnios de f e g so tais que podemos formar tanto g f:ST como
f g:TS. Se s S, ento (g f)(s)=g(f(s))=g(t)=s. Logo, g f leva cada elemento de S nele mesmo.

61

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao

Definio
Uma funo f que leva cada elemento de um conjunto S em si mesmo denominada de funo identidade
e denotada por iS .
Assim, em relao s funes f e g anteriores, temos que f g = iT e g f = iS .

Definio

Seja f uma funo, f:S T. Se existir uma funo g:T S tal que g f = iS e f g = iT , ento g chamada de
funo inversa de f e denotada por f1.

TEOREMA SOBRE BIJEES E FUNES INVERSAS


Seja f:S T, ento, f uma funo bijetora se, e somente se, f1 existir.

Em outras palavras, podemos concluir que, se a funo f bijetora, isso equivale a dizer que a funo f
possui inversa.
Exemplo E.3: Considere a funo f:R R dada por f(x) = 2x + 5. Determine f1.
f1:R R, com f1(x) = (x 5) / 2

Resumindo o que estudamos sobre funes at o momento, a Tabela E.1 apresenta um breve sumrio
sobre as terminologias utilizadas no estudo de funes.

Expresso
funo
domnio

contradomnio
imagem
imagem inversa
sobrejetora
injetora
bijetora
funo identidade
funo inversa

Significado

aplicao de um conjunto em outro que leva cada elemento do conjunto inicial


em exatamente um elemento do conjunto de chegada
conjunto inicial de uma funo

conjunto de chegada de uma funo

ponto que resulta da aplicao de uma funo


ponto inicial sobre o qual a funo aplicada

a imagem todo o contradomnio; todo elemento no contradomnio possui uma


imagem inversa
dois elementos no domnio no podem ser levados ao mesmo ponto no
contradomnio
quando a funo injetora e sobrejetora simultaneamente
leva cada elemento de um conjunto em si mesmo

para uma funo bijetora, uma funo que leva cada elemento no
contradomnio de volta ao elemento de onde ele veio
Tabela E.1 Terminologias utilizadas no estudo de funes.

E.6 PERMUTAES
As funes bijetoras de um conjunto em si mesmo possuem um nome especial.

Definio de Permutaes de um Conjunto: Para um dado conjunto A, SA = {f | f:A A uma funo


bijetora}. SA , portanto, o conjunto de todas as funes bijetoras do conjunto A em si mesmo; essas
funes so denominadas de permutaes de A.
Assim, se f e g pertencem a SA , ento cada uma delas tem o domnio igual imagem e igual ao prprio
conjunto A. Alm disso, como f e g so bijetoras, pelo teorema sobre a composio de funes bijetoras,

62

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade E

g f tambm bijetora, ou seja, leva a um nico elemento de SA. Da, podemos concluir que a composio
de funes uma operao binria no conjunto SA.

NOTAO PARA PERMUTAES

As funes permutaes representam arranjos ordenados de objetos no domnio. Dessa forma, uma das
maneiras de descrev-las na forma de um arranjo retangular, onde os elementos do domnio ficam na
linha de cima e os elementos da imagem ficam diretamente abaixo desses elementos.
Por exemplo, considere o conjunto A = {a, b, c, d} e uma funo permutao em A, f, dada por f = {(a, b),
(b, c), (c, a), (d, d)}. A sua representao na forma de um arranjo retangular

Observe que a linha de baixo um arranjo ordenado dos objetos na linha de cima.

Outra maneira de descrever uma funo permutao com a notao de ciclo. Nessa, os elementos so
listados um ao lado do outro, de modo que a funo leva cada elemento ao que est imediatamente a sua
direita e o ltimo elemento na lista leva ao primeiro. Nessa notao, qualquer elemento que no aparea
na lista significa que leva a si mesmo. Por exemplo, seja a funo permutao f dada anteriormente, a sua
notao de ciclo f = (a, b, c). Aqui, a leva a b, b leva a c, c leva a a e d leva em si mesmo.
Exemplo E.4: Sejam A = {a,b,c,d,e} e f

SA dada por

Escreva f em forma de ciclo.


f = (a, d, e)
Exemplo E.5: Sejam A = {a, b, c, d, e} e g SA dada por g = (b, d, e, c). Escreva g na forma de arranjo retangular.

Exemplo E.6: Considere A={a, b, c ,d} e f, g SA dadas por f = (a, b, c) e g = (b, c). Determine a funo composta g f.
Inicialmente, vamos verificar o que acontece com o elemento a em A. Operando da direita para a
esquerda (primeiro f, depois g), temos a b sob f e, depois, b c sob g. Assim, a c sob g f. De forma
semelhante, b c sob f e c b sob g. Ento, b b sob sob g f. Analogamente, temos c a sob f e a
a sob g. Ento, c a sob sob g f. e, finalmente, d d sob f e d d sob g. Ento, d d sob sob g f.
Concluindo, temos que g f = (a, c).

Teorema: Seja m o nmero de elementos no conjunto S (|S| = m) e n o nmero de elementos no conjunto


T (|T| = n). Ento:

1. O nmero de permutaes de S PS = m! e o de T PT = n!.


2. O nmero de funes f:S T nm.
3. Supondo que m n, o nmero de funes injetoras f : S T :
n!
(n m)!

63

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao


4. Supondo que m n, o nmero de funes sobrejetoras f : S T
nm C(n, 1)(n 1)m + C(n, 2)(n 2)m C(n, 3)(n 3)m +...+ (1)n-1 C(n, n 1)(1)m
onde C(r, s) so as combinaes de a elementos em grupos de b elementos, ou seja,

Exemplo E.7: Sejam os conjuntos A = {1, 2, 3} e B = {4, 5}. Determine:


a) o nmero de permutaes PA e PB, respectivamente, nos conjuntos A e B;
b) o nmero de funes sobrejetoras nfs de A em B.
Temos que |A| = 3 e |B| = 2. Ento, pelo teorema anterior, obtemos:
a) PA = 3! = 3 2 1 = 6
PB = 2! = 2 1 = 2
b) nfs = 23 C(2,1)(1)3 = 8 2 1 = 6

E.7 CONJUNTOS EQUIVALENTES


Definies
Um conjunto S equivalente a um conjunto T se existe uma funo bijetora f:S T. Dois conjuntos
equivalentes possuem a mesma cardinalidade.

Para conjuntos finitos, sabemos que, se S possui n elementos, ento (S), conjunto de todas as partes de
S, possui 2n elementos. Evidentemente, n < 2n e no podemos determinar nenhuma funo bijetora entre
um conjunto com n elementos e um com 2n elementos. Dessa forma, pela definio anterior, S e (S) no
so conjuntos equivalentes.

Teorema de Cantor

Para qualquer conjunto S, S e (S) no so equivalentes.

E.8 ORDEM DE GRANDEZA DE FUNES


A ordem de grandeza uma forma de compararmos a taxa de crescimento de funes distintas. Pela
nossa prtica, sabemos que se calcularmos f(x) = x e g(x) = x2 para valores cada vez maiores de x, os
valores de g sero maiores do que os valores de f, e a diferena aumenta cada vez mais. Essa diferena
no vai deixar de existir se multiplicarmos os valores de f por uma constante muito grande; no importa
o tamanho da constante, em algum momento os valores de g certamente comearo a ficar maiores do
que os de f. Para caracterizarmos essa diferena, definiremos uma relao binria nas funes.
Seja S o conjunto de todas as funes com domnio e contradomnio iguais aos nmeros reais nonegativos. Podemos definir uma relao binria em S por

64

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade E
Exemplo E.8: Considere as funes f e g pertencentes a S, com f(x) = 5x2 e g(x) = 100x2 + 100x + 25. Sejam n0= 1,
c1 = 1/100 e c2 = 1. Portanto, para x 1, temos

Portanto, f g.
Exemplo E.9: Para os valores de x iguais a 2, 3, 4 e 5, verifique a desigualdade do Exemplo E.8.
a) x = 2:
22 + 2 + 0,25 5 22 100 22 + 100 2 + 25



6,25 400 625
b) x = 3:

32 + 3 + 0,25 5 32 100 32 + 100 3 + 25



12,25 45 1225

c)

x=4:

42 + 4 + 0,25 5 42 100 42 + 100 4 + 25



20,25 80 2025

d) x = 5:

52 + 5 + 0,25 5 52 100 52 + 100 5 + 25



30,25 125 3025

Exemplo E.10: Determine um novo conjunto de valores para n0 , c1 e c2 que tambm comprovam f g no Exemplo E.8.
Considere n0 = 1, c1=1/200 e c2 = 1. Portanto, para x 1, temos

Exemplo E.11: Demonstre que simtrica e transitiva.


a) Admita f g. Logo, existem constantes positivas n0 , c1 e c2 tais que, para todo x n0, c1g(x) f(x) c2g(x).
Portanto, para n0, (1/c2) f(x) ) g(x) (1/c1) f(x), de modo que g f.
b) Admita f g e g h. Ento, existem constantes positivas n0, n1, c1 , c2, d1 e d2 tais que, c1g(x) f(x) c2g(x)
para x n0 e d1h(x) g(x) d2h(x) para x n1. Portanto, para x max(n0, n1), c1d1h(x) f(x) c2d2h(x), de
modo que f h.

Definio
Sejam f e g funes dos reais no-negativos nos reais no-negativos. Ento, f tem a mesma ordem de
grandeza que g, denotada por f = (g), se existem constantes positivas n0 , c1 e c2 tais que, se x n0 , c1 g(x)
f(x) c2 g(x).

65

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao

LISTA DE EXERCCIOS
1. A Figura E.8 representa uma funo.
a.
b.
c.
d.

Qual o seu domnio? E o seu contradomnio? E a sua imagem?


Qual a imagem de c? E a de e?
Qual a imagem inversa de y?
Essa funo sobrejetora? Ela injetora?

2. Se f:Z Z definida por f(x) = 2x2 +1, determine f(A) para A={1,2,3,4,5}.

3. Sejam S ={0,2,4,6} e T={1,3,5,7}. Determine se cada um dos conjuntos de pares ordenados uma funo
com domnio S e contradomnio T. Se for, a funo injetora? sobrejetora?
a.
b.
c.
d.
e.

{(0, 2), (2, 4), (4, 6), (6, 0)}


{(6, 3), (2, 1), (0, 3), (4, 5)}
{(2, 3), (4, 7), (0, 1), (6, 5)}
{(2, 1), (4, 5), (6, 3) }
{(6, 1), (0, 3), (4, 1), (0, 7), (2, 5)}

4. Para as funes bijetoras do Exerccio 3, descreva a funo inversa.


5. As funes a seguir levam R em R. Determine equaes que descrevam as composies g f e f g em
cada caso.
a.
b.

f(x)=8x2 e g(x)=4x
f(x) = (x + 2) / 2 e g(x) = 2x2

6. Dadas as funes f:NN definidas por f(x)=x+2 e g:N N por g(x)=5x,calcule as expresses:
a.
b.
c.
d.
e.
f.

(g f)(3)
(f g)(3)
(g f)(x)
(f g)(x)
(f f)(x)
(g g)(x)

7. Para as funes bijetoras f:R R a seguir, determine f1.


a.
b.
c.

f(x) = 5x
f(x) = 2x4
f(x)=(2x5)/4

66

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade E

8. Seja A = {a, b, c, d, e}. Escreva as permutaes de A em ciclos.


a.
b.

a
c

b
a

c
e

d
b

e
b

f={(a,d),(b,e),(c,b),(d,c),(e,a)}

9. Seja A = {1, 2, 3, 4}. Escreva as permutaes de A em forma de arranjos retangulares.


a.
b.
c.

f = {(1,3),(2,2),(3,4),(4,1)}
f = (3,1,2,4)
f = (4,2,1)

10. Determine as composies dos ciclos a seguir que representam permutaes de A = {1, 2, 3, 4, 5, 6, 7, 8}.
a.
b.
c.
d.

(1,3,4) (5,1,2)
(2,7,8) (1,2,4,6,8)
(1,3,4) (5,6) (2,3,5) (6,1)
(2, 7, 1, 3) (2, 8,7, 5) (4, 2, 1, 8)

11. Dados S = {a, e, i, o} e T = {x, y, z}.


a.
b.

Determine o nmero de funes de S em T.


Determine o nmero de funes sobrejetoras de S em T.

12. Dados S = {1, 4, 7} e T = {2, 5, 8, 11}.


a.
b.

Determine o nmero de funes de S em T.


Determine o nmero de funes injetoras de S em T.

13. Seja o nmero de elementos em A igual a |A| = 4. Determine:


a.
b.
c.
d.

o nmero de funes de A em A;
o nmero de funes injetoras de A em A;
o nmero de funes sobrejetoras de A em A;
o nmero de permutaes de A.

14. Determine constantes que satisfaam a definio de ordem de grandeza para provar que f = (g) se
f(x) = x e g(x) = 12x + 1.
15. Determine constantes que satisfaam a definio de ordem de grandeza para provar que f = (g) se
f(x) = 3x3 7x e g(x)=x3/2.

67

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao

68

COMBINATRIA

Unidade F

Fundamentos Matemticos
da Computao

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao

UNIDADE

COMBINATRIA

F.1 INTRODUO
A Combinatria a rea da matemtica que trata da contagem. Problemas relacionados contagem
sempre so importantes quando trabalhamos com recursos finitos. Por exemplo, Quanto espao de
armazenamento um banco de dados utiliza? ou Quantos usurios uma certa configurao de computador
pode suportar? ou ainda Quantos clculos em ponto flutuante um determinado algoritmo realiza?.
Problemas de contagem se resumem, muitas vezes, em determinar o nmero de elementos em algum
conjunto finito. Essa questo, aparentemente trivial, pode ser difcil de responder.

F.2 O PRINCPIO DA MULTIPLICAO

Inicialmente, considere a seguinte situao. Um estudante pode escolher um entre dois lpis, um HB e
outro 2B, e uma entre trs canetas, uma azul (A), outra preta (P) e outra vermelha (V). Quantos conjuntos
diferentes o estudante pode ter?

Podemos resolver esse problema separando a tarefa de escolha do material escolar em duas etapas
sequenciais: escolher, primeiro, o lpis e, depois, a caneta. A rvore da Figura F.1 mostra que existem 2
3 = 6 possibilidades: {HB, A}, {HB, P}, {HB, V}, {2B, A}, {2B, P} e {2B, V}.

Nesse problema, a ordem dos eventos poderia ser trocada: o estudante poderia, primeiro escolher a
caneta e, depois, o lpis. A Figura F.2 mostra a rvore de deciso. Observe que o nmero de possibilidades
no se altera (3 2 = 6).

70

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade F

O problema da escolha do material escolar ilustra o fato de que o nmero total de resultados possveis
para uma sequncia de eventos pode ser obtido multiplicando-se o nmero de possibilidades do primeiro
evento pelo nmero de possibilidades do segundo.

Princpio da Multiplicao

Se existem n1 resultados possveis para um primeiro evento e n2 para um segundo, ento existem n1 n2
resultados possveis para a sequncia dos dois eventos.

O princpio da multiplicao til sempre que quisermos contar o nmero total de possibilidades para
uma tarefa que pode ser dividida em uma sequncia de etapas sucessivas.
Exemplo F.1: A ltima parte de um nmero telefnico composta por quatro dgitos. Quantos desses nmeros
existem?

Podemos formar nmeros com quatro dgitos atravs de uma sequncia de tarefas: escolher o primeiro dgito,
depois o segundo, depois o terceiro e, finalmente, o quarto. Temos 10 dgitos disponveis (de 0 a 9) para cada
posio. Assim, temos 10 possibilidades para a primeira tarefa, 10 para a segunda, 10 para a terceira e 10 para a
quarta. Portanto, temos que o total de nmeros com quatro dgitos 10 10 10 10 = 10.000.
Exemplo F.2: Em relao ao Exemplo F.1, quantos nmeros de quatro dgitos existem se um mesmo dgito no
puder ser repetido?
Novamente temos uma sequncia de tarefas. S que agora no podemos ter repeties. Assim, temos 10
possibilidades para o primeiro dgito, 9 para o segundo, 8 para o terceiro e 7 para o quarto. Portanto, o nmero
total de possibilidades 10 9 8 7 = 5.040.

F.3 PRINCPIO DA ADIO


Para exemplificar esse princpio, vamos supor que temos que escolher um carro entre trs brancos e quatro
pretos. De quantas maneiras podemos fazer isso? Temos um evento com trs possibilidades (a escolha
do carro branco) e outro com quatro (a escolha do carro preto). Entretanto, no temos uma sequncia
de eventos, j que iremos comprar apenas um carro, que ser escolhido dentre as possibilidades de dois
conjuntos disjuntos. Assim, neste caso, o nmero de escolhas possveis o nmero total de escolhas que
temos, 3 + 4 = 7.

Princpio da Adio
Se A e B so eventos disjuntos com n1 e n2 resultados possveis, respectivamente, ento o nmero
total de possibilidades para o evento A ou B n1 + n2.
Exemplo F.3: Um estudante deseja comprar um livro em uma livraria. A livraria dispe de 31 livros de capa dura e 27
com capa simples. Quantas escolhas possui o estudante?
O estudante pode escolher um livro com capa dura ou com capa simples. Esses so eventos disjuntos. Pelo
princpio da adio, a escolha do livro tem 31 + 27 = 58 possibilidades.

71

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao

F.4 OS PRINCPIOS DA MULTIPLICAO E DA


ADIO JUNTOS
Em problemas de contagem, frequentemente utilizamos os princpios da multiplicao e da adio
juntos. Os exemplos a seguir ilustram esse fato.
Exemplo F.4: Considere o problema do estudante apresentado no incio dessa unidade. Suponha que desejamos
determinar de quantas formas diferentes o estudante pode escolher o material escolar, ao invs do nmero de
conjuntos de material escolar que ele pode ter. Assim, escolher um lpis HB e, depois, uma caneta azul no
a mesma coisa que escolher primeiro uma caneta azul e, depois, um lpis HB. Podemos considerar dois casos
disjuntos (a escolha do lpis ou da caneta primeiro). Cada um desses casos, pelo princpio da multiplicao,
possui 6 possibilidades, de modo que, pelo princpio da adio, existem 6 + 6 = 12 formas diferentes de escolher
o material escolar.

Exemplo F.5: Quantos nmeros de quatro dgitos iniciam com 2 ou 8? Novamente, podemos considerar dois
conjuntos disjuntos os nmeros que iniciam com 2 e os que iniciam com 8. Para os nmeros que iniciam com
o dgito 2, h uma possibilidade para o primeiro dgito (tem que ser 2) e 10 possibilidades para as demais trs
posies do nmero. Assim, pelo princpio da multiplicao, existem 1 10 10 10 = 1.000 formas de se obter
um nmero de quatro dgitos iniciando pelo dgito 2. Raciocnio idntico pode ser aplicado para os nmeros que
iniciam com o dgito 8. Portanto, pelo princpio da adio, existem 1.000 + 1.000 = 2.000 possibilidades ao todo.
Exemplo F.6: Se um rapaz possui 6 camisas, 5 calas e 3 pijamas, de quantas maneiras diferentes ele pode se vestir?
Inicialmente, temos que considerar o fato de que, se o rapaz vestir camisa e cala, ele no usar pijama, e viceversa. Portanto, podemos dividir a contagem em dois problemas disjuntos: um da escolha da camisa e da cala
e outro da escolha do pijama. Para o primeiro, pelo princpio da multiplicao, h 6 5 = 30 possibilidades. Para
o segundo, existem 3 possibilidades. Ento, pelo princpio da adio, existem 30 + 3 = 33 formas diferentes
do rapaz se vestir.
Exemplo F.7: Quantos nmeros inteiros com 3 dgitos so mpares? A soluo est baseada no fato de que os
nmeros mpares obrigatoriamente terminam em 1, 3, 5, 7 ou 9. Podemos, ento, considerar 5 casos disjuntos,
um para cada terminao. Para os nmeros terminados com o dgito 1, temos 10 possibilidades para o primeiro
dgito e mais 10 possibilidades para o segundo dgito. Assim, pelo princpio da multiplicao, existem 10 10 1
= 100 possibilidades de nmeros com trs dgitos terminados em 1. Analogamente, existem 100 possibilidades de
nmeros com trs dgitos terminados em 3, terminados em 5, terminados em 7 e terminados em 9. Portanto, pelo
princpio da adio, existem 100 + 100 + 100 + 100 + 100 = 500 nmeros inteiros de trs dgitos que so mpares.

F.5 PRINCPIO DE INCLUSO E EXCLUSO


Inicialmente, vamos observar que, se A e B so subconjuntos de um conjunto universo S, ento A B, B
A e A B so disjuntos dois a dois. Isso significa que, se x A B, ento x B A e x A B. A Figura
F.3 ilustra esse fato.

72

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade F

Observando a Figura F.3, podemos deduzir outros pontos importantes em relao ao nmero de
elementos em cada subconjunto. Notamos que:
e
e
Ainda, pela anlise da Figura F.3, podemos concluir que
Usando as expresses (F.2), (F.3) e (F.4) na equao (F.1), obtemos que
ou
A equao (F.5) o princpio de incluso e excluso para dois conjuntos. O nome deriva do fato de que,
ao contar o nmero de elementos na unio de A e B, precisamos somar (incluir) o nmero de elementos
de A e o nmero de elementos de B e precisamos subtrair (excluir) o nmero de elementos de A B, para
evitar cont-los duas vezes.
Exemplo F.8: Uma pesquisa eleitoral entrevistou 100 eleitores, todos apoiando o candidato 1, o candidato 2 ou
ambos, e descobriu que 45 eleitores apiam o candidato 1 e 63 apiam o candidato 2. Quantos eleitores apiam
ambos os candidatos?
Denotando por A o conjunto dos eleitores que apiam o candidato 1 e por B o conjunto dos eleitores que apiam o
candidato 2, temos que |A B| = 100, |A| = 45 e |B| = 63. Utilizando a equao (F.5), temos que

Portanto, h 8 eleitores que apiam ambos os candidatos.

A equao (F.5) pode ser estendida a trs conjuntos, como a seguir.

73

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao

Portanto, a verso do princpio de incluso e excluso para trs conjuntos


A Figura F.4 apresenta uma demonstrao geomtrica para |A B C|. Quando somamos |A| + |B| +
|C|, estamos contando cada elemento em |A B|, |A B| e |B C| duas vezes, de modo que devemos
retirar cada um deles uma vez. Por outro lado, quando somamos |A| + |B| + |C|, estamos contando cada
elemento de |A B C| trs vezes, mas ao subtrair |A B|, |A C| e |B C|, eliminamos trs vezes esses
elementos, logo precisamos coloc-los de volta uma vez.

Exemplo F.9: Um grupo de estudantes planeja comprar canetas. Desses, 15 preferem canetas azuis, 12 preferem
canetas pretas, 8 preferem canetas verdes, 6 podem usar canetas azuis ou pretas, 4 podem usar tanto canetas azuis
como verdes, 5 usam tanto canetas pretas quanto verdes e 2 no se importam de usar qualquer cor de caneta.
Quantos estudantes h no grupo?
Por uma questo de ordem, faamos:
A = conjunto dos estudantes que usam canetas azuis
B = conjunto dos estudantes que usam canetas pretas
C = conjunto dos estudantes que usam canetas verdes.
Dessa forma, temos que |A|=15, |B|=12, |C|=8, |AB|=6, |AC|=4, |B C| = 5 e |A B C| = 2. Pelo princpio de
incluso e excluso, temos que

Portanto, existem 22 estudantes no grupo.


Exemplo F.10: Uma pizzaria vende trs tipos de pizza: calabresa, de queijo e portuguesa. Em um determinado dia,
a pizzaria atendeu 251 clientes. Desses, 127 clientes comeram pizza calabresa, 187 comeram pizza de queijo, 38
comeram pizza portuguesa, 56 comeram pizzas calabresa e de queijo, 44 comeram pizzas de queijo e portuguesa e
8 comeram os trs tipos de pizza. Quantos clientes comeram pizzas calabresa e portuguesa?

74

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade F
Faamos: A = conjunto dos clientes que comeram pizzas calabresas B = conjunto dos clientes que comeram pizzas
de queijo C = conjunto dos clientes que comeram pizzas portuguesas
Dessa forma, sabemos que |ABC|=251, |A|=127, |B|=187, |C|=38, |AB|=56, |BC|=44 e |ABC|=8. Pelo
princpio de incluso e excluso, temos que

Portanto, 9 pessoas comeram pizzas calabresa e portuguesa.

Definio
Princpio de Incluso e Excluso: Dados conjuntos finitos A1, A2, ..., An, com n 2, tem-se que

F.6 O PRINCPIO DAS CASAS DE POMBO


Esse princpio recebeu esse nome baseado na seguinte ideia: se mais de k pombos entram em k casas de
pombos, ento, pelo menos, uma casa vai ter mais de um pombo. Aprofundando essa ideia, suponha que
cada casa contenha, no mximo, um pombo. Ento existem, no mximo, k pombos e no os mais de k
pombos que supostamente entraram nas casas.

Definio

Princpio das Casas de Pombo: Se mais de k itens so colocados em k caixas, ento, pelo menos, uma
caixa contm mais de um item.
Exemplo F.11: Quantas pessoas precisam estar presentes em uma sala para garantir que duas delas tenham o
ltimo nome comeando com a mesma letra?
O alfabeto possui 26 letras (caixas). Se a sala tiver 27 pessoas, ento existem 27 iniciais (itens) para se colocar em
26 caixas, de modo que, pelo menos, uma caixa conter mais de uma inicial. Portanto, precisam estar presentes, no
mnimo, 27 pessoas.
Exemplo F.12: Quantas vezes preciso jogar um dado de modo a garantir que um mesmo valor aparea duas vezes?
Um dado apresenta 6 nmeros (caixas). Se ele for jogado 7 vezes, ento existem 7 jogadas (itens) para se colocar
em 6 caixas, de modo que, pelo menos, uma caixa conter mais de uma jogada (nmero repetido). Portanto,
necessrio jogar o dado, no mnimo, 7 vezes.

F.7 PERMUTAES
No Exemplo F.2, discutimos o problema de contar todas as possibilidades para os quatro ltimos dgitos
de um nmero telefnico sem repetio. Assim, observe que o nmero 5478 no igual ao 4587, pois a
ordem dos dgitos importa. Um arranjo ordenado de objetos chamado de permutao. Cada um desses
nmeros telefnicos uma permutao de 4 objetos distintos escolhidos em um conjunto de 10 objetos
distintos (os dgitos). Quantas dessas permutaes so possveis? A resposta encontrada pelo princpio
da multiplicao foi 10 9 8 7 = 5.040, ou seja, 10 escolhas para o primeiro dgito, 9 para o segundo
(no so permitidas repeties de dgitos), 8 para o terceiro e 7 para o ltimo dgito. O nmero de
permutaes de r objetos distintos escolhidos entre n objetos distintos denotado por P(n, r). Portanto,
no caso em questo, a soluo pode ser expressa como P(10, 4).

75

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao

possvel escrever uma frmula para P(n, r) usando a funo fatorial. Para um inteiro positivo n, n
fatorial definido por n(n 1)(n 2)...1 e denotado por n!.

Definio

Dados n objetos distintos, o nmero de possibilidades de agrup-los em grupos de r objetos distintos


Exemplo F.13: Quantas palavras de trs letras (mesmo que sem sentido) podem ser formadas a partir da palavra
software se nenhuma letra pode ser repetida?
Observe que, nesse caso, a ordem das letras faz diferena. Assim, estamos interessados em determinar o nmero
de permutaes de trs objetos distintos em um conjunto de 8 objetos distintos (as letras da palavra software).
Portanto, queremos P(8, 3).

Exemplo F.14: Vinte e cinco atletas competem em uma olimpada em um determinado esporte. Sero premiados
os trs primeiros colocados com medalhas de ouro, prata e bronze, respectivamente. De quantos modos diferentes
essas medalhas podero ser distribudas?
A ordem em que as medalhas sero entregues aos atletas importante, ou seja, o atleta A receber medalha de
ouro, o B de prata e o C de bronze diferente do atleta C receber medalha de ouro, o A de prata e o B de bronze.
Assim, estamos querendo determinar o nmero de permutaes de trs objetos (as medalhas) em um conjunto de
25 atletas.

Exemplo F.15: De quantas maneiras diferentes podemos selecionar um zagueiro e um atacante em um grupo de 15
jogadores?

F.8 COMBINAES
s vezes, queremos selecionar r objetos de um conjunto de n objetos, porm no nos importamos com a
ordem. Nesse caso, estamos contando o nmero de combinaes de r objetos distintos escolhidos entre
n objetos distintos, que usaremos a notao C(n, r). Para cada uma das combinaes, existem r! maneiras
de ordenar os r objetos escolhidos. Pelo princpio da multiplicao, o nmero de permutaes de r
objetos distintos escolhidos entre n objetos o produto do nmero de escolhas possveis dos objetos,
C(n, r), pelo nmero de maneiras de ordenar os objetos escolhidos, r!, portanto
ou

76

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade F
Exemplo F.16: Em uma caixa, temos 14 bolas numeradas de 1 a 14. De quantas maneiras podemos retirar grupos
com trs bolas?
Observe que a ordem numrica das bolas no importante. Assim, temos um problema tpico de combinaes,
isto , C(14, 3).

Exemplo F.17: Considere o Exemplo F.14. Suponha, agora, que queiramos saber apenas de quantas maneiras trs
atletas podem ser premiados nos trs primeiros lugares.
Observe que, agora, a ordem em que os atletas sero premiados no mais importante. Portanto, a soluo

Exemplo F.18: De quantas maneiras possvel escolher uma comisso de 4 pessoas em um grupo de 10 pessoas?

Ateno
Lembre-se que a diferena entre permutaes e combinaes consiste em se os objetos so simplesmente
selecionados ou se so selecionados e ordenados. Se a ordem relevante, o problema envolve permutaes; se
a ordem no relevante, o problema envolve combinaes.
Ao se resolver problemas de contagem, frequentemente utilizamos mais de uma tcnica simultaneamente. Por
exemplo, podemos utilizar combinaes junto com os princpios da multiplicao ou da adio.

Exemplo F.19: Em uma escola, desejamos formar uma comisso de dez estudantes escolhida entre duas turmas
com 20 estudantes (Turma A) e 30 estudantes (Turma B).Pergunta-se:
a) De quantas maneiras possvel selecionar 4 estudantes da Turma A e 6 da Turma B?
b) De quantas maneiras possvel selecionar uma comisso com exatamente 1 estudante da Turma A?
c) De quantas maneiras possvel selecionar uma comisso com, no mximo, 1 estudante da Turma A?
d) De quantas maneiras possvel selecionar uma comisso com, pelo menos, 1 estudante da Turma A?
Primeiramente, observe que a ordem dos estudantes no importante. Assim, temos problemas de combinaes.
Agora, vamos analisar caso a caso.
a) Aqui, temos uma sequncia de duas tarefas, selecionar estudantes da Turma A e selecionar estudantes
da Turma B. Assim, vamos usar o princpio da multiplicao para resolver esse problema. Para a Turma A,
temos C(20, 4) e para a Turma B, C(30, 6). Portanto, a soluo :

b) Novamente uma sequncia de tarefas. Primeiro, selecionar um nico estudante da Turma A e, depois,
selecionar o restante da comisso entre os estudante da Turma B. Assim, existem C(20, 1) maneiras de
se selecionar um nico estudante da Turma A e C(30, 7) de se selecionar o restante da comisso entre os
estudantes da turma B. Portanto, a soluo :

77

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao


c) Agora, note que para termos, no mximo, 1 estudante da Turma A na comisso significa que podemos ter
ou 1 ou 0 estudante da turma na comisso. Esses eventos so disjuntos, o que nos obriga a usar o princpio
da adio. O nmero de maneiras de se selecionar exatamente 1 estudante da Turma A para a comisso
a resposta do item b. O nmero de maneiras de se selecionar 0 estudante da Turma A para a comisso
o mesmo que selecionar a comisso toda entre os estudantes da Turma B, ou seja, C(30, 8). Portanto, a
soluo

d) H vrias formas de resolver esse item. A mais simples resolver contando todas as maneiras possveis de
se formar a comisso com 8 estudantes selecionados entre os 50 estudantes disponveis (as turmas A e B
juntas) e, depois, eliminar (subtrair) o nmero de comisses formadas exclusivamente por estudantes da
Turma B. Logo, a resposta

Resumo
Nessa unidade, apresentamos e discutimos algumas tcnicas de contagem. A Tabela F.1 resume as metodologias
que podem ser aplicadas em vrias situaes, embora seja importante frisar que possam existir mais de uma
metodologia para resolver o mesmo problema ou tambm a utilizao simultnea de duas ou mais tcnicas.

Desejamos contar o nmero de ...

Tcnica a ser empregada

Subconjuntos de um conjunto com n elementos

Use a frmula 2n

Possibilidades de resultados de eventos disjuntos

Some o nmero de resultados possveis para cada evento

Possibilidades de resultados de eventos sucessivos


Possibilidades de resultados dadas escolhas
especficas em cada etapa

Elementos em partes da interseo de conjuntos

Arranjos ordenados de r entre n objetos distintos

Maneiras de selecionar r entre n objetos distintos

Maneiras de selecionar, com repetio permitida, r


entre n objetos distintos

Multiplique o nmero de resultados possveis para cada


evento
Desenhe uma rvore de deciso e conte o nmero de
caminhos

Use a frmula para o princpio de incluso e excluso


Use a frmula para P(n, r)
Use a frmula para C(n, r)

Use a frmula para C(r + n 1, r)

Tabela F.1: Problema de contagem Tcnica de contagem.

78

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade F

LISTA DE EXERCCIOS
1. Em uma sorveteria, pode-se escolher sorvetes nos sabores morango, limo, creme, pistache, flocos ou napolitano,
com um acompanhamento entre flocos de amendoim, balas de goma ou flocos de arroz e uma cobertura que pode
ser de chocolate, baunilha ou leite condensado. Quantos sorvetes diferentes podem ser montados?
2. Em relao ao Exerccio 1, se uma pessoa for alrgica a pistache e flocos de amendoim, quantas
possibilidades de escolha de sorvete ainda so possveis?
3. Uma senha para acesso a um sistema eletrnico consiste de quatro letras seguidas de dois nmeros.
Quantas senhas diferentes existem?
4. Em relao ao Exerccio 3, se ainda houver diferenciao entre letras maisculas e minsculas, quantas
senhas podem ser criadas?
5. Quantos nmeros de trs dgitos menores do que 500 podem ser formados usando-se os algoritmos 1, 3, 5 e 7?
6. Deve-se escolher dois operrios para formarem uma comisso. Existem 15 voluntrios do setor A e 22 do
setor B. Se a comisso deve ser formada por operrios do mesmo setor, de quantas maneiras diferentes a
comisso pode ser formada?
7. Um byte formado por 8 bits que podem ser 0 ou 1. Pergunta-se:
a.
b.
c.
d.
e.
f.

Quantos bytes existem?


Quantos comeam e terminam com 1?
Quantos comeam ou terminam com 1?
Quantos tm o segundo dgito igual a 0?
Quantos comeam com 010?
Quantos comeam com 11 ou terminam com 01?

8. Em um grupo de 50 cientistas, todos falam ingls ou alemo, 42 falam ingls e 26 falam alemo. Quantos
cientistas falam ingls e alemo?
9. Em uma festa, todos os convidados bebem cerveja ou usque, 21 convidados bebem cerveja, 13 bebem
usque e 5 bebem tanto cerveja como usque. Quantos convidados h nessa festa?
10.
Em um grupo de 30 jovens que ouvem rock, msica gospel ou ax music, 20 gostam de rock, 22 de
msica gospel, 16 de rock e msica gospel, 12 de rock e ax music, 16 de msica gospel e ax music e 12
gostam dos trs tipos de msica. Quantas pessoas gostam de msica gospel?
11.
Uma pesquisa entre 200 jovens de um bairro mostrou que 91 tm carro, 102 tm bicicleta, 33 tm
moto, 58 tm carro e bicicleta, 21 tm carro e moto, 10 tm bicicleta e moto e 4 tm os trs veculos.
a.
b.

Quantos jovens tm apenas bicicleta?


Quantos jovens no tm nenhum dos trs?

12. Se 12 cartas forem retiradas de um baralho padro, possvel que, pelo menos, duas sejam do mesmo
naipe?
13. Em um grupo de 25 pessoas, possvel que existam, pelo menos, trs pessoas que nasceram no mesmo
ms?

79

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao

14. De quantas maneiras diferentes podemos ordenar 7 objetos?


15. Os 12 clubes de futebol de uma regio devero aparecer em uma lista. Quantas listas diferentes so
possveis?
16. De quantas maneiras diferentes 6 homens e 8 mulheres podem estar localizados em uma fila?
17. De quantas maneiras uma pessoa pode selecionar 6 bolas azuis e 3 bolas vermelhas em uma coleo de
25 bolas azuis e 12 bolas vermelhas?
18. Um estudante precisa selecionar 6 disciplinas, entre 12, para o prximo semestre e uma delas tem que ser
Matemtica ou Fsica. De quantas maneiras o estudante pode escolher suas disciplinas?
19. Uma comisso em uma cmara municipal deve ser formada por trs vereadores. Os vereadores esto
assim distribudos:
cinco apiam o prefeito;
trs so de partidos de oposio;
quatro pertencem a partidos independentes.
a. De quantas maneiras pode-se escolher essa comisso?
b. De quantas maneiras pode-se escolher essa comisso se ela deve incluir, pelo menos, um vereador
pertencente a um partido independente?
c. De quantas maneiras pode-se escolher essa comisso se ela no pode incluir ao mesmo tempo vereadores
pertencentes a partidos que apiam o prefeito e vereadores de partidos de oposio?
d. De quantas maneiras pode-se escolher essa comisso se ela deve incluir, pelo menos, um vereador
pertencente a um partido que apia o prefeito e, pelo menos, um vereador de partidos da oposio?

20. Quantas solues distintas, inteiras e no-negativas existem para a equao x1 +x2 +x3 = 6 se as solues
x1 = 1, x2 = 2, x3 = 3 e x1 = 3, x2 = 2, x3 = 1 so consideradas distintas?

80

MATRIZES

Unidade G

Fundamentos Matemticos
da Computao

Sistema
Fomento
Universidade
ao Uso das
Aberta
Tecnologias
do Brasilda
- UAB
Informao
| IF Sul-rio-grandense
e Comunicao

Fundamentos Matemticos da Computao

UNIDADE

Unidade G

MATRIZES

G.1 TERMINOLOGIA
Os dados em muitos problemas matemticos podem ser apresentados em forma de um arranjo retangular
de valores; esse arranjo chamado de matriz. Por exemplo,

uma matriz com trs linhas e cinco colunas. A dimenso da matriz dada pelo seu nmero de linhas e
de colunas. No nosso exemplo, temos uma matriz com dimenso 3 5.

Os elementos de uma matriz A so denotados por aij , onde i o ndice da linha e j o ndice da coluna
onde o elemento est. No nosso exemplo, o elemento a24 da matriz A vale 7, pois esse elemento est
localizado na segunda linha e quarta coluna.

Em uma matriz, a distribuio dos seus elementos importante. Assim, para que duas matrizes sejam
iguais, elas devem possuir a mesma dimenso e os mesmos elementos nas mesmas posies. Por
exemplo, sejam as matrizes
Para que X = Y, temos que ter obrigatoriamente a = 1, b = 4, c = 3 e v = 4.

Em muitos problemas prticos, surge um tipo de matriz chamada de matriz quadrada, na qual o nmero
de linhas e o nmero de colunas so iguais. Se A uma matriz quadrada n n, ento os elementos a11, a22,
a33, ..., ann formam a diagonal principal da matriz.
Outro tipo especial de matriz surge quando imaginamos dobrar uma matriz quadrada ao meio ao longo
da diagonal principal, e os elementos que se sobrepem so iguais. Nesse caso, temos uma matriz
simtrica, na qual aij = aji . Por exemplo, considere a matriz

A matriz A quadrada com dimenso 3 3 e tambm simtrica. A parte triangular superior (a parte
acima da diagonal principal) uma reflexo da parte triangular inferior. Ainda observe que a12 = a21 = 1,
a13 = a31 = 4 e a23 = a32 = 5.

82

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade G

G.2 OPERAES MATRICIAIS


MULTIPLICAO POR UM ESCALAR
Essa operao multiplica cada elemento de uma matriz por um nico valor fixo, chamado escalar. O
resultado uma matriz com a mesma dimenso que a matriz original.
Exemplo G.1: Multiplique a matriz A pelo escalar r = 2.

Nesse caso, queremos determinar a matriz B = r A. Assim, temos que

SOMA DE MATRIZES
A soma de duas matrizes A e B apenas est definida quando as matrizes possuem a mesma dimenso.
Nesse caso, somamos os elementos correspondentes das matrizes. Matematicamente, se A e B so
matrizes m n, ento C = A + B uma matriz tambm m n com elementos
Exemplo G.2: Some as matrizes A e B a seguir.

Temos, ento que:

OBSERVAES IMPORTANTES
a) A subtrao de matrizes definida por A B = A + (1) B.
b) Em uma matriz nula, todos os seus elementos so iguais a zero. Se somarmos uma matriz nula m n a qualquer outra
matriz A, tambm m n, o resultado a prpria matriz A. Isso pode ser simbolizado por 0 + A = A.
c) Se A e B so matrizes m n e se r e s so escalares, as seguintes equaes matriciais so verdadeiras:

83

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao

MULTIPLICAO DE MATRIZES
A definio do produto de matrizes baseada na utilizao de matrizes em matemtica para representar
certas funes, conhecidas como transformaes lineares, que levam pontos do plano real em pontos do
plano real.

Assim, para efetuarmos o produto entre duas matrizes A e B, o nmero de colunas de A deve ser igual ao
nmero de linhas de B. Ento, podemos calcular A B se A uma matriz m p e B uma matriz p n. O
resultado ser uma matriz com dimenso m n. O elemento da matriz A B na linha i, coluna j, obtido
multiplicando-se os elementos da linha i da matriz A pelos elementos correspondentes na coluna j da
matriz B e somando-se todos os resultados. Matematicamente, temos que C = A B com
Exemplo G.3: Determine a matriz C = A B.

Inicialmente, observe que a matriz A 3 2 e que a matriz B 2 4 ou seja, o nmero de colunas de A igual ao
nmero de linhas de B. Portanto, podemos realizar o produto A B, cujo resultado ser uma matriz 3 4.
Para determinarmos o elemento c11 da matriz C, multiplicamos a linha 1 de A pela coluna 1 de B, somando os
resultados, isto ,
A Figura G.1 ilustra o procedimento descrito.

O elemento c12 obtido multiplicando a linha 1 de A pela coluna 2 de B, somando os resultados, isto ,

A Figura G.2 ilustra o procedimento.

84

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade G
O produto completo :

Exemplo G.4: Dadas as matrizes A e B, calcule C = A B e D = B A.

Exemplo G.5: Repita o Exemplo G.4 para as matrizes

Dos resultados dos Exemplos G.4 e G.5, conclumos que, mesmo as matrizes A e B tendo dimenses que
permitam realizar os produtos A B e B A, esses produtos no so necessariamente iguais.

RELAES IMPORTANTES

Se A, B e C so matrizes de dimenses apropriadas e se r e s so escalares, as equaes matriciais a seguir


so verdadeiras:

85

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao

G.3 MATRIZ IDENTIDADE


A matriz n n na qual todos os elementos da diagonal principal so iguais a 1 e todos os demais elementos
so iguais a 0 chamada de matriz identidade e denotada por I. Se multiplicarmos a matriz identidade
por qualquer outra matriz A, n n, o resultado ser a prpria matriz A, isto ,

G.4 TRANSPOSTA DE UMA MATRIZ


A transposta de uma matriz A, denotada por AT, obtida trocando-se as suas linhas pelas suas colunas.
Assim, se o elemento na linha i, coluna j da matriz A aij , ento aTij =aji .
Exemplo G.6: Dada a matriz

determine a matriz B = AT.

G.5 INVERSA DE UMA MATRIZ


Uma matriz A, n n, inversvel se existe uma matriz B, n n, tal que
Nesse caso, dizemos que a matriz B a inversa da matriz A e denotamos por A1.
Exemplo G.7: Considere as matrizes

Vamos calcular os produtos A B e B A.

Observamos que AB=BA=I. Portanto, a matriz B a inversa da matriz A, isto , B = A1.

86

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade G

G.6 MATRIZES BOOLEANAS


As matrizes booleanas (em homenagem a George Boole, um matemtico ingls do sculo XIX, criador da
lgica e da lgebra booleana) so um tipo especial de matrizes nas quais os seus elementos valem 0 ou
1. Por exemplo, a matriz A uma matriz booleana

Nesse contexto, os valores 0 e 1 so interpretados como valores lgicos ou valores booleanos. Para os
valores booleanos, podem ser definidas as seguintes operaes:
multiplicao booleana: x y = min(x, y)
soma booleana: x y = max(x, y)

onde min e max significam, respectivamente, valor mnimo e valor mximo entre x e y.

De acordo com essas definies, podemos montar tabelas para a multiplicao e soma booleanas,
conforme mostrado nas Figuras G.3 e G.4.

Baseados na multiplicao booleana e na soma booleana entre valores, podemos definir a operao de
multiplicao booleana entre duas matrizes A e B (matrizes booleanas com dimenses apropriadas),
denotada por A B. Os elementos da matriz booleana C = A B so dados por

Ns podemos tambm definir dois anlogos da soma para as matrizes booleanas (matrizes com mesmas
dimenses): A B, onde os elementos correspondentes so combinados usando-se a multiplicao
booleana; e A B, onde os elementos correspondentes so combinados usando-se a soma booleana.
Exemplo G.8: Dadas as matrizes booleanas

calcule A B, A B e A B.

87

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao

LISTA DE EXERCCIOS
1. Para a matriz

quais so os valores dos elementos a11, a13, a22, a23, a31 e a33?
2. Determine os valores de r, s e t na equao matricial

3. Encontre os valores de x, y, z e t em

4. Se A uma matriz simtrica, determine os valores de x, y e z em

88

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade G

5. Com r = 4, s = 2,

calcule as seguintes operaes:


a.
b.
c.
d.
e.
f.
g.
h.
i.
j.
k.
l.
m.

A+D
AD
rB
A+rD
BD
AC
C2 = C C
sC
r(sC)
DC
BA+D
s(A + D)
sArD

n.

(AC)D

6. Para

calcule os valores de x e y sabendo que A B = B A.


7. Mostre que, para

B = A-1.
8. Mostre que a matriz

no inversvel.
9. Dadas as matrizes

mostre que:
a. (A+B)T =AT +BT
b. (AB)T =BT AT

89

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao

10.

Encontre duas matrizes 2 2, A e B, de modo que A B = 0, porm A = 0 e B = 0.

11.

Para as matrizes booleanas

determine A B, A B, A B e B A.
12.

Para as matrizes booleanas

calcule A B, A B, A B e B A.

90

ESTRUTURAS
ALGBRICAS

Unidade H

Fundamentos Matemticos
da Computao

Sistema
Fomento
Universidade
ao Uso das
Aberta
Tecnologias
do Brasilda
- UAB
Informao
| IF Sul-rio-grandense
e Comunicao

Fundamentos Matemticos da Computao

UNIDADE

ESTRUTURAS ALGBRICAS

H.1 DEFINIES E EXEMPLOS


Vamos comear analisando uma forma bem conhecida de aritmtica, a soma de inteiros. Existe um
conjunto Z de objetos (o conjunto dos nmeros inteiros) e uma operao binria nesses objetos (a
soma). No podemos esquecer a Unidade D do nosso Curso. Uma operao binria em um conjunto tem
que ser bem definida (dar uma nica resposta sempre que for aplicada a dois elementos do conjunto) e o
conjunto tem que ser fechado em relao operao (a resposta tem que ser um elemento do conjunto).
A notao [Z, +] denota o conjunto com a operao binria.
Em [Z, +], uma equao do tipo

vlida. Em cada lado da igualdade, os inteiros permanecem na mesma ordem, mas o agrupamento
desses inteiros, que indica a ordem em que so efetuadas as somas, se altera. A alterao dessa ordem,
porm no influi no resultado final, que continua o mesmo.
Um outro tipo de equao que vlida em [Z, +]

Nesse caso, a mudana da ordem em que os inteiros so somados no altera o resultado final.
Equaes do tipo

tambm so vlidas. Somar zero a qualquer inteiro no altera o valor desse inteiro.
Por fim, equaes do tipo

tambm so vlidas, pois somar o negativo de um inteiro a esse inteiro resulta em zero.

Essas equaes representam quatro propriedades bastante frequentes com operaes binrias em
conjuntos.

92

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade H

Definies
Propriedades de Operaes Binrias
Seja S um conjunto e seja uma operao binria em S.
a) A operao associativa se

A associatividade nos permite escrever x y z sem parnteses, pois o agrupamento no relevante.

b) A operao comutativa se

c) [S, ] tem um elemento identidade se

d) Se [S, ] tem um elemento identidade i, ento cada elemento em S tem um inverso em relao a se

Grupo e Grupo comutativo


[S, ] um grupo se S um conjunto no vazio e uma operao binria em S tal que:
1. associativa;
2. existe um elemento identidade em S;
3. cada elemento em S tem um inverso em relao a .

Um grupo em que a operao comutativa chamado de grupo comutativo. Do apresentado


anteriormente, verificamos que [Z, +] um grupo comutativo com elemento identidade 0.
Exemplo H.1: Seja R+ o conjunto dos nmeros reais positivos e a operao de multiplicao entre dois nmeros
reais, que uma operao binria em R+. Ento, [R+, ] um grupo comutativo. A multiplicao associativa e
comutativa. O nmero real positivo 1 funciona como uma identidade, pois

para todo nmero real positivo x. Todo nmero real positivo x tem um inverso em relao multiplicao, que o
nmero 1/x, pois

Exemplo H.2: Considere M2(Z) o conjunto de todas as matrizes 2 2 com elementos inteiros e seja + a soma de
matrizes. Ento + uma operao binria em M2(Z). Portanto, [M2(Z), +] um grupo comutativo, pois os inteiros
formam um grupo comutativo, de modo que cada elemento da matriz se comporta apropriadamente.
Observe que a soma de matrizes comutativa, pois

93

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao


A matriz

uma identidade; e a matriz

a inversa em relao operao de soma de matrizes da matriz

Exemplo H.3: Considere [M2(Z), ], onde a operao de produto matricial. Essa operao fechada em M2(Z).
Sabemos tambm, da Unidade G, que a multiplicao de matrizes associativa. Alm disso, a matriz

um elemento identidade para a operao , pois

Porm a operao do produto matricial no comutativa e no apresenta elemento inverso pertencente ao


conjunto M2(Z). Portanto, [M2(Z), ] no um grupo.
Exemplo H.4: Uma expresso da forma

onde ai R, i = 0,1,2,...,n e n N um polinmio em x com coeficientes reais (ou um polinmio em x sobre


R). Para cada i, ai o coeficiente de xi . Se i o maior inteiro para o qual ai = 0 e se i maior do que 0, ento o
polinmio tem grau i; se no existe esse i, o polinmio tem grau zero. O conjunto de todos os polinmios em x
sobre R denotado por R[x].

Vamos definir a operao binria + em R[x] como sendo a operao usual de soma de polinmios. Se f(x) e g(x)
so polinmio em R[x], ento as somas f(x) + g(x) e g(x) + f(x) so iguais, pois os coeficientes so nmeros reais e
podemos usar as propriedades dos nmeros reais para a soma.
Temos tambm que, se f(x), g(x) e h(x) so polinmios em R[x], (f(x) + g(x)) + h(x) igual a f(x) + (g(x) + h(x)). O
polinmio constante 0 a identidade, pois 0 + f(x) = f(x), para todo f(x) R[x]. E, alm disso, o polinmio f(x)
a inversa em relao operao de soma de polinmios, pois f(x) + f(x) = f(x) + (f(x)) = 0.
Portanto, [R[x], +] um grupo comutativo.

Exemplo H.5: Em relao ao grupo [R[x], +] do Exemplo H.4, qual o elemento inverso do polinmio 3x3 2x2 + 5x 7?
o polinmio 3x3 +2x2 5x + 7.

94

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade H

Uma forma visual de analisar se um conjunto e uma operao binria definida nesse conjunto um
grupo atravs de uma tabela. Considere [Z, +]. A Tabela H.1 mostra as relaes entre os elementos do
conjunto Z em relao operao +.
+

-3

-2

-1

-2

-5

-4

-3

-3

-1
0

2
3

-6

-4
-3

-2
-1
0

-5

-3
-2

-1
0

-4

-3

-2

-1

-1

-2
0
1

-2

-1
1
2

-1
0

2
3

3
4

2
3

4
5

Tabela H.1 - Tabela para o grupho [Z, +]

Para verificar a comutatividade, basta verificar se existe simetria em relao diagonal principal da tabela.
Para determinar se existe o elemento identidade, basta verificar se, no interior da tabela, existe uma coluna
que seja igual coluna externa da tabela. Se existir, o elemento na coluna externa a identidade. Ou, de forma
alternativa, verificar se existe uma linha interna da tabela que seja igual linha externa da tabela. Se existir, o
elemento na linha externa a identidade.
Para localizar se existe o elemento inverso, procure na linha correspondente at encontrar a coluna onde aparece a
identidade; depois, verifique ainda se a mudana de ordem ainda resulta na identidade.
A propriedade associativa (ou a falta dela), no entanto, no fcil de ser verificada atravs da tabela.
Exemplo H.6: Considere um conjunto A e seja SA o conjunto de todas as funes permutao f:A A.
A composio de funes preserva as permutaes e associativa, a funo identidade iA uma permutao e,
qualquer que seja f SA, a funo inversa f1 existe e uma permutao. Alm disso,

Portanto, podemos concluir que [SA , ] um grupo. Esse grupo chamado de grupo de permutaes de A.
Exemplo H.7: Se o conjunto A = {1, 2, 3, ..., n} para algum inteiro positivo n, ento SA chamado de grupo simtrico
de grau n e denotado por Sn .
Por exemplo, S3 o conjunto de todas as permutaes de {1, 2, 3}. Existem seis permutaes, que usando a
notao de ciclos da Seo E.6.1, so:

Recordemos que a notao de ciclo (1, 2), por exemplo, significa que 1 vai em 2, 2 vai em 1 e os elementos que no
aparecem permanecem fixos. A composio (1, 2) (1, 3) executada da direita para a esquerda, de modo que

95

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao


resultando em (1,3,2). Logo, p2 p3 =(1,2)(1,3)=(1,3,2)= p6. Seguindo esse procedimento, vamos construir a
tabela para o grupo [S3 ,], a qual est mostrada na Tabela H.2.

p1

p2

p3

p4

p5

p6

p2

p1

p6

p5

p4

p3

p1

p1

p3

p3

p2
p4
p5

p6

p4

p5
p6

p2

p3

p5

p1

p6

p5

p3

p4

p4

p2

p4

p6

p1

p2
p3

p5

p2
p3

p6
p1

p6
p4

p2
p1

p5

Observando a Tabela H.2, notamos que no h simetria em relao diagonal principal. Portanto, [S3, ] no um
grupo comutativo.

H.2 RESULTADOS BSICOS SOBRE GRUPOS


Teorema sobre a Unicidade da Identidade em um Grupo
Em qualquer grupo [F, ], o elemento identidade i nico.

Teorema sobre a Unicidade de Inversos em um Grupo


Para cada elemento y em um grupo [F, ], y1 nico. Teorema sobre o Inverso de um Produto: Se x e y
pertencem ao grupo [F, ], ento (xy)1 = y1 x1.

Definio

Regras de Cancelamento: Um conjunto S munido de uma operao binria satisfaz a regra de


cancelamento direita se, quaisquer que sejam x, y, z S, x z = y z implica em que x = y. Ele satisfaz
a regra de cancelamento esquerda se, quaisquer que sejam x, y, z S, z x = z y implica em que x = y.

Teorema sobre Cancelamento em um Grupo

Qualquer que seja o grupo [F, ], ele satisfaz as regras de cancelamento direita e esquerda.

Se [F, ] um grupo, onde F finito e possui n elementos, ento n a ordem do grupo e denotada por
|F|. Se F um conjunto infinito, ento o grupo tem ordem infinita.
Exemplo H.8: Seja uma operao binria associativa no conjunto {1, x, y, z, w}. Complete a tabela a seguir de
modo a definir um grupo com identidade 1.

1
x

y
z

1
1

x
y

96

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade H
A soluo

y
z

H.3 SUBGRUPOS
Definio
Subgrupo
Sejam [F, ] um grupo e A F. Ento, [A, ] um subgrupo de [F, ] se [A, ] for um grupo.
Teorema sobre Subgrupos
Sejam [F, ] um grupo com identidade i e A F. Ento, [A, ] um subgrupo de [F, ] se satisfaz as
seguintes condies:
A fechado em relao a ;
2. i A; 3. todo x A tem um inverso em A.
Observao: as propriedades da operao binria ser bem definida e ser associativa, de fato, no precisam ser
verificadas pois, como A F, A herda essas propriedades de F (F um grupo).
Exemplo H.9: Sejam Z o conjunto dos nmeros inteiros, A o conjunto dos nmeros inteiros pares e + a operao de
adio. Assim, A fechado em relao adio, contm 0 (o elemento identidade) e o inverso de qualquer inteiro
par (seu negativo) um inteiro tambm par. Logo [A, +] um subgrupo do grupo [Z, +].
Exemplo H.10: Considere o Exemplo H.9, onde A agora o conjunto dos nmeros inteiros mpares. Nesse caso,
[A, +] no um grupo por vrias razes. [A, +] no fechado em relao adio, visto que a soma de dois inteiros
mpares um inteiro par. Outro motivo que o subgrupo deve ter uma identidade para a adio; 0 o nico inteiro
que serve e 0 no mpar.
Exemplo H.11: [Z, +] um subgrupo do grupo [R, +].

Teorema de Lagrange
A ordem de um subgrupo de um grupo finito divide a ordem do grupo.

H.4 GRUPOS ISOMORFOS


Definio
Isomorfismo de Grupos
Sejam [S, ] e [T, ] grupos. Uma aplicao f:S T um isomorfismo de [S, ] em [T, ] se
1. a funo f bijetora;
2. quaisquer que sejam x, y S, f(xy) = f(x) f(y).

A propriedade (2) significa que f um homomorfismo.

97

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao


Exemplo H.12: Sejam os grupos [R+, ] e [R, +], e + as operaes de multiplicao e adio, respectivamente, no
conjunto dos nmeros reais, b um nmero real positivo, b = 1, e f a funo de R+ em R definida por
Prove que f um isomorfismo.
a) Prova: a funo f bijetora. Temos que mostrar que a funo f injetora e sobrejetora. Vamos mostrar que
f sobrejetora: se r R, br R+ e f(br)=logb br =r. Alm disso, f injetora: se f(x1) = f(x2), ento logb x1 =
logb x2. Seja p =logb x1 = logb x2. Ento, b p = x1 e b p=x2 , logo x1=x2.
b) Prova: f um homomorfismo. Se x1, x2 R+, f(x1 x2)= logb (x1 x2) =logb x1 +logb x2 = f(x1)+ f(x2). Observe
que logb 1 = 0, de modo que f leva 1 (a identidade de [R+, ]) em 0 (a identidade de [R, +]). Observe
tambm que

De modo que f leva a inversa de x em [R, +] na inversa de f(x) em [R+, ].


Finalmente, ambos os grupos so comutativos.
Assim, os dois grupos do Exemplo H.12 so isomorfos, portanto eles so essencialmente iguais e cada um deles
pode ser usado para simular clculos no outro. Por exemplo, seja b=2. Ento, [R, +] pode ser usado para simular o
clculo 64 512 em [R+, ]. Primeiro, levemos R+ em R atravs da funo f:

Agora, em [R, +], efetue o clculo

E, finalmente, usamos f1 para retornar a R+:


Observao: antigamente, quando no existiam as calculadoras eletrnicas, nmeros muito grandes eram
multiplicados usando-se tabelas de logaritmos com base 10, tal que se convertia um problema de multiplicao em um
de adio.
Exemplo H.13: Considere o grupo [Z, +] e a funo f(x)=0.
A funo f um homomorfismo do grupo [Z,+] no grupo [Z,+], pois f(x+y)=0=0+0=f(x)+f(y). No entanto, f no
uma funo bijetora, portanto no um isomorfismo.
Exemplo H.14: Considere o grupo [Z, +] e a funo h(x) =x +1.
A funo h uma funo bijetora, pois h(x)=h(y) implica em que x +1=y +1, ou seja, x =y, logo h injetora; h
tambm sobrejetora porque, qualquer que seja z Z, z1 Z e h(z 1) =z. Porm, h no um homomorfismo do
grupo [Z, +] no grupo [Z, +], pois h(x +y)= x +y +1 =(x +1)+(y +1)= h(x)+ h(y). Portanto, h no um isomorfismo.

98

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade H

LISTA DE EXERCCIOS
1. As operaes binrias a seguir, denotadas por , esto definidas sobre um determinado conjunto. Quais
so associativas? Quais so comutativas?
a.
b.
c.
d.

Em Z , x y =

x se x par
x+1 se x mpar

Em N, x y = (x + y)2
Em R+, x y = x4
Em R+, x y = 1 / (x + y)

2. A tabela abaixo define uma operao binria no conjunto {a, b, c, d}. Essa operao associativa?
comutativa?

3. Mostre que o subconjunto

forma um subgrupo do grupo simtrico S4.


4. Quais das funes a seguir so isomorfismos?
a.
b.
c.

De [Z, +] em [Z, +], f(x) = 2


De [R, +] em [R, +], f(x) = |x|
De [R*, ] em [R*, ], f(x) = |x| (R* o conjunto dos nmeros reais no nulos)

5. Seja S = {1, 1}. Mostre que [S, ] um grupo, onde a multiplicao usual de inteiros.

99

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao

100

LGEBRA DE
BOOLE E LGICA
COMPUTACIONAL

Unidade I

Fundamentos Matemticos
da Computao

Sistema
Fomento
Universidade
ao Uso das
Aberta
Tecnologias
do Brasilda
- UAB
Informao
| IF Sul-rio-grandense
e Comunicao

Fundamentos Matemticos da Computao

UNIDADE

LGEBRA DE BOOLE
E LGICA COMPUTACIONAL

I1. ESTRUTURA DA LGEBRA DE BOOLE


MODELOS E GENERALIZAES
Um exemplo notvel de estrutura algbrica a lgebra booleana ou lgebra de Boole (George Boole),
formulada inicialmente para modelar a lgica proposicional e utilizada posteriormente por Shannon
(1938) para modelar circuitos eletrnicos (ou digitais).

O ponto de partida para o projeto sistemtico de sistemas de processamento digital a chamada lgebra
de Boole, trabalho de um matemtico ingls que, em um livro de 1854, prope dar expresso s leis
fundamentais do raciocnio na linguagem simblica do clculo. Trata-se, portanto, de uma formalizao
matemtica da lgica em sua forma mais simples, conhecida como Lgica Proposicional.
Essa lgica permite tratar da interpretao (isto , atribuio de valor verdadeiro ou falso) de proposies
isoladas, ou da combinao de proposies por meio de operaes lgicas simples.

A proposta original de Boole estava mais prxima do que hoje se chama lgebra elementar, isto ,
trabalhava com operaes usuais, como soma e multiplicao, interpretando as expresses resultantes
em termos de lgica. Por exemplo, ao identificar a multiplicao de duas variveis x e y como uma
expresso lgica de objetos que contm ao mesmo tempo as propriedades representadas por x e por y,
ele chega necessidade da expresso x x = x, e da idia de que s dois valores seriam vlidos neste
clculo, 0 e 1.

J o significado moderno de lgebra (ou estrutura algbrica) bem mais abstrato, e de apresentao
mais complexa. No que se segue, veremos os principais resultados deste clculo para embasar a teoria
da simplificao de operaes lgicas.
Assim, a lgebra de Boole , simplesmente, um modelo ou generalizao para tratarmos com proposies
lgicas que podem ser falsas ou verdadeiras, investigando-as atravs dos operadores booleanos
(operadores lgicos).

DEFINIO E PROPRIEDADES
Definio
lgebra de Boole: Uma lgebra de Boole um conjunto A no qual esto definidas duas operaes
binrias, + e , e uma operao unria, , e que contm dois elementos distintos, 0 e 1, tais que as seguintes
propriedades so vlidas, quaisquer que sejam x, y, z A:

102

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade I

A partir de agora, vamos denotar uma lgebra de Boole por [A, +, , , 0, 1].

Considere o conjunto A = {0, 1} e defina operaes binrias + e em A por x + y = max(x, y) e x y = min(x,


y). Essas operaes binrias podem ser ilustradas pelas tabelas I.1 e I.2.
1

Tabela I.2 Operao binria .

Tabela I.1 Operao binria +.

A operao unria descrita pela Tabela I.3.

0
1

1
0

Tabela I.3 Operao unria .

Assim, 0=1 e 1=0. Ento, [A,+,,,0,1] uma lgebra de Boole. Podemos provar as 10 propriedades da
definio, verificando todos os casos possveis. Por exemplo, para a propriedade 2a (a associatividade
de +), temos que

(0+0)+0=0+(0+0)=0
(0+0)+1=0+(0+1)=1
(0+1)+0=0+(1+0)=1
(0+1)+1=0+(1+1)=1
(1+0)+0=1+(0+0)=1
(1+0)+1=1+(0+1)=1
(1+1)+0=1+(1+0)=1

Para a propriedade 4b, temos que

(1+1)+1=1+(1+1)=1
01=0

11=1

Existem muitas outras propriedades que so vlidas em qualquer lgebra de Boole. Essas propriedades
adicionais podem ser provadas usando as propriedades dadas na definio.

103

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao

A idempotncia da soma x + x = x vlida, pois

Uma vez demonstrada uma propriedade na lgebra de Boole, essa pode ser usada para demonstrar
outras. Na lgebra de Boole, sempre que quisermos realizar uma demonstrao do tipo
alguma expresso = alguma outra expresso

podemos nos basear nas sugestes a seguir.

a) Em geral, a melhor abordagem comear com a expresso mais complexa e tentar provar que ela se reduz
expresso mais simples.
b) Considere somar 0 em alguma forma (como x x) ou multiplicar por 1 em alguma forma (como x + x).
c) Sempre se recorde da propriedade 3a, a distributividade da multiplicao em relao soma.
d) Recorde-se da idempotncia da soma e da multiplicao, x + x = x e x x = x.
e) Se x um elemento de uma lgebra de Boole, o elemento x chamado de complemento de x. O
complemento de x satisfaz que

Teorema sobre a Unicidade do Complemento


Dado um elemento x em uma lgebra de Boole, se existe um elemento x1, tal que
ento, x1 = x.
Prova:

104

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade I

LGEBRA DE BOOLE ISOMORFA


Duas estruturas so isomorfas se existe uma bijeo (chamada de isomorfismo) que leva elementos de
uma estrutura em elementos da outra de modo que as propriedades relevantes so preservadas. Se
duas estruturas so isomorfas, cada uma delas uma imagem espelhada da outra, com os elementos
simplesmente renomeados. As duas estruturas so, essencialmente, iguais.

Suponha uma estrutura como a lgebra de Boole com operaes binrias e unrias definidas em um
conjunto. Ento, as propriedades relevantes so como essas operaes agem. Um isomorfismo tem que
preservar a ao dessas operaes. Cada estrutura isomorfa tem que ser idntica no sentido de que se
efetuarmos a operao e, depois, aplicarmos a funo obteremos o mesmo resultado que se aplicarmos,
primeiro, a funo e, depois, efetuarmos a operao. A Figura I.1 ilustra essa ideia.

Na Figura I.1(a), efetuamos, primeiro, a operao binria nos elementos a e b, resultando em c e, depois,
c levado em d pela funo. Na Figura I.1(b), primeiro aplicamos a funo em a e b, obtendo e e f, e,
depois, efetuamos a operao binria em e e f, obtendo d, o mesmo elemento que anteriormente. Assim,
no esqueamos que

efetuar a operao e aplicar a funo = aplicar a funo e efetuar a operao

Definio
Isomorfismo entre lgebras de Boole: Sejam [A, +, , , 0, 1] e [a, &, , , , ] lgebras de Boole. Uma
funo f:A a um isomorfismo de [A, +, , , 0, 1] em [a, &, , , , ] se:
a) f uma bijeo
b) f(x + y) = f(x) & f(y)
c) f(x y) = f(x) f(y)
d) f(x) = (f(x))

105

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao

Teorema sobre lgebras de Boole Finitas


Seja A uma lgebra de Boole arbitrria com n elementos. Ento, n = 2m para algum m e A isomorfa a
({1, 2, ..., m}).
O teorema acima nos fornece as informaes a seguir.

a) O nmero de elementos em uma lgebra de Boole uma potncia de 2.


b) As lgebras de Boole formadas pelo conjunto das partes de um conjunto so os nicos tipos de lgebras de
Boole finitas que existem.

CIRCUITOS LGICOS
ELEMENTOS BSICOS DE LGICA
Em 1938, o matemtico americano Claude Shannon percebeu a semelhana entre a lgica proposicional
e a lgica de circuitos eltricos e compreendeu que lgebras de Boole poderiam ser utilizadas na
interpretao desses circuitos.

Imaginemos que as voltagens em um circuito eltrico sejam de dois tipos: alta e baixa, que representaremos,
respectivamente, por 1 e 0. Consideremos tambm a existncia de interruptores no circuito de modo que
um sinal igual a 1 fecha o interruptor e um sinal igual a 0 abre o interruptor (observe a Figura I.2).

Agora, vamos fazer a combinao de dois desses interruptores, controlados por x1 e x2, em paralelo. A
Figura I.3 apresenta os diversos casos possveis.

Na figura I.3, observamos que valores de x1 = 0 e x2 = 0 fazem com que os dois interruptores estejam
abertos, interrompendo o circuito, de modo que o nvel de voltagem na sada 0. Se um dos valores de x
for 1, no entanto, um dos interruptores, ou os dois, estar fechado, resultando em uma sada 1.

106

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade I

A Tabela I.4 resume o comportamento do circuito.

x1

x2 Sada

1
0

0
1

1
1

Tabela I.4 Comportamento do circuito com dois disjuntores em paralelo.

Na Tabela I.4, se ns substituirmos 1 por V e 0 por F, obtemos a tabela-verdade para o conectivo lgico
da disjuno. De uma forma mais geral, ns podemos considerar o circuito como sendo um dispositivo
eletrnico que implementa a operao booleana +. Outros dispositivos implementam as operaes
booleanas e . Por exemplo, para a implementao do operador seriam necessrios dois interruptores
associados em srie, onde ambos devem estar fechados (x1 = 1 e x2 = 1) para se obter uma sada igual a1.
Os dispositivos mencionados sofreram uma evoluo tecnolgica, passando de interruptores mecnicos
para vlvulas eletrnicas, depois transistores, chegando a circuitos integrados.

A porta lgica OU, Figura I.4(a), se comporta como a operao booleana +. A porta lgica E, Figura I.4(b),
representa a operao booleana . A Figura I.4(c) mostra um inversor (negao), que corresponde
operao booleana unria . Devido associatividade das operaes + e , as portas lgicas OU e E podem
ter mais de duas entradas.

EXPRESSES BOOLEANAS
Definio
Expresso Booleana: Uma expresso booleana em n variveis x1, x2, ..., xn qualquer cadeia finita de
smbolos formados aplicando-se as seguintes regras:
1. x1, x2, ..., xn so expresses booleanas.
2. Se R e S so expresses booleanas, ento (R + S), (R S) e (R) tambm o so.

Por conveno, o operador lgico possui precedncia sobre o operador + e o operador tem
precedncia sobre os operadores + e , de modo que x1 + x2 x3 equivale a x1 + (x2 x3).

107

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao

FUNES BOOLEANAS
Definio:
Funo Booleana: Uma funo booleana uma funo f tal que f:{0, 1}n {0, 1} para algum inteiro
n 1. A notao {0, 1}n representa o conjunto de todas as n-uplas formadas por 0 e 1. Uma funo
booleana, portanto, associa um valor 0 ou 1 a cada uma dessas n-uplas.

Exemplo I.1: A tabela-verdade para a operao booleana + descreve uma funo booleana f com n=2. O domnio
de f {(1,1),(1,0),(0,1),(0,0)} e f(1,1)=1, f(1,0)=1, f(0, 1) = 1 e f(0, 0) = 0. De forma semelhante, a operao booleana
tambm descreve uma funo booleana com n = 2 e a operao booleana descreve uma funo booleana com
n = 1.

Qualquer expresso booleana define uma nica funo booleana. Veja o exemplo a seguir.

Exemplo I.2: A expresso booleana x1 x2 + x3 define a funo booleana dada na tabela-verdade da Tabela I.5.

x1

x2

x3

x '2

x1 x'2

x1 x'2 + x3

1
1
0
0
0
0

1
0
1
1
0
0

CIRCUITOS E EXPRESSES

0
1
1
0
1
0

0
1
1
0
1
0

Combinando as portas lgicas E, OU e inversores, podemos construir um circuito lgico que representa
uma expresso booleana dada e produz a mesma funo booleana que a expresso.

Exemplo I.3: O circuito lgico para a expresso booleana do Exemplo I.2 est apresentado na Figura I.5.

Exemplo I.4: Desenhe os circuitos lgicos para as expresses booleanas:


a) x1+x2

b) x1 (x2 + x3)

108

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade I

Reciprocamente, se tivermos um circuito lgico, podemos construir uma expresso booleana que
possua a mesma funo booleana.

Exemplo I.5: A expresso booleana para o circuito lgico da Figura I.6

Exemplo I.6: Escreva uma funo booleana para o circuito lgico da Figura I.7.

A funo booleana para o circuito lgico da Figura I.7 (x +x )x.

Exemplo I.7: Escreva a funo booleana em forma de tabela-verdade para o circuito lgico do Exemplo I.6.

x1

x2

x3

x '1

x '1 + x 2

x3

(x'1 + x2) . x'3

1
1
0
0
0
0

1
0
1
1
0
0

0
1
1
0
1
0

0
0
1
1
1
1

1
0
1
1
1
1

1
0
0
1
0
1

1
0
0
1
0
1

Circuitos lgicos construdos com portas lgicas E, OU e inversores so conhecidos como circuitos
combinatrios. Podemos resumir as caractersticas desses circuitos como:
1. As linhas de entrada e sada esto ligadas apenas por portas lgicas.
2. As linhas podem se separar para servir de entrada a mais de uma porta lgica.
3. No existem circuitos de realimentao, isto , a sada de uma porta lgica nunca pode servir de entrada para essa
mesma porta.
4. A sada de um circuito uma funo instantnea das entradas, ou seja, qualquer alterao que ocorra em, pelo
menos, uma das entradas, implicar em imediata alterao da sada do circuito.

109

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao

FORMAS NORMAIS
At o momento, o nosso conhecimento de lgica combinacional nos permite:

escrever uma nica funo booleana para um circuito ou expresso;


dada uma expresso booleana, sabemos encontrar um circuito lgico que tenha a mesma funo booleana;
dada uma expresso booleana, sabemos construir um circuito lgico que a implemente.

Agora, estaremos interessados em obter uma expresso booleana (e, portanto, um circuito lgico) a partir
de uma funo booleana.

Suponha que queiramos determinar uma expresso booleana para a funo booleana f dada na Tabela I.6.

x1

x2

x3

f(x1, x2, x3)

1
1

0
0

1
0

1
1

1
0

1
0

Tabela I.6 Tabela-verdade para a funo f.

A tabela-verdade possui quatro linhas onde f igual a 1 (linhas 1, 3, 4 e 7). A forma bsica de nossa
expresso vai ser uma soma de quatro termos, ( )+( )+( )+( ), de modo que o primeiro termo somente 1
para os valores da linha 1 e para nenhum outro valor. O segundo termo somente 1 para os valores da linha
3 e para nenhum outro valor; e assim por diante. Dessa forma, a expresso toda igual a 1 para os valores
indicados das variveis e para nenhum outro valor (isso exatamente o que queremos). Quaisquer outros
valores nas variveis de entrada tornaro cada termo nulo e isso implicar em sada tambm nula.
Cada termo na soma ser do tipo , onde x1 ou x1, x2 ou x2 e x3 ou x3. Se o valor de xi, i=1,2,3,
na linha em que o valor da funo 1 for 1, usamos o prprio xi; caso o valor de xi nessa linha seja 0, ns
usamos x1. Esses valores iro fazer com que o termo seja 1 para essa linha e 0 para todas as outras.
Assim, temos

Portanto, a expresso final


O procedimento descrito, sempre nos conduzir a uma expresso para a funo que uma soma de produtos,
conhecida como forma normal disjuntiva ou forma cannica em soma de produtos para a funo booleana.

Como qualquer expresso booleana possui um circuito lgico correspondente, qualquer funo booleana
possui um circuito lgico que a implementa. A Figura I.8 mostra o circuito lgico associado forma

110

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade I

normal disjuntiva da funo booleana f(x1, x2, x3).

Exemplo I.8: Considere a tabela-verdade da Tabela I.7.

x1

x2

x3

g(x1, x2, x3)

1
1

0
0

1
0

0
1

0
1

0
0

Tabela I.7 Tabela-verdade para a funo booleana g do Exemplo I.8.

a) Determine a forma normal disjuntiva para a funo booleana g(x1, x2, x3).
Observemos que as linhas que possuem o valor 1 para a funo g e as suas respectivas entradas na forma
so:

Ento, podemos escrever a expresso booleana para a funo g(x1, x2, x3) como

111

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao


b) Construa o circuito lgico que a implemente. A Figura I.9 mostra o circuito lgico que implementa a funo
booleana g.

MINIMIZAO
Uma determinada funo booleana pode ser representada por mais de uma expresso booleana e,
portanto, por mais de um circuito lgico composto por portas lgicas E, OU e inversores.

Definio

Expresses Booleanas Equivalentes: Duas expresses booleanas so equivalentes se correspondem s


mesmas funes lgicas.

Quando estamos pensando em implementar um circuito lgico associado a uma funo booleana,
queremos encontrar o circuito mais simples possvel (com a menor quantidade de portas lgicas). Para
reduzir uma expresso booleana a outra equivalente mais simples, ns podemos usar as propriedades
da lgebra de Boole, visto que elas expressam equivalncia de expresses booleanas. Por exemplo, se X
uma expresso booleana contendo um termo do tipo x1 + x2 x3 e Y a expresso obtida de X substituindo
x1 + x2 x3 pela expresso equivalente (x1 + x2)(x1 + x3), ento X e Y so equivalentes.
Exemplo I.9: Anteriormente, ns determinamos a forma normal disjuntiva para a funo booleana f dada pela
Tabela I.6. Reduza a expresso de f a uma forma mais simples.
A forma normal disjuntiva encontrada foi

112

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade I
Usando as propriedades da lgebra de Boole, podemos reduzir f(x1, x2, x3) da seguinte forma:

As propriedades da lgebra de Boole utilizadas foram, de acordo com a Seo I.1.2:






da funo original para a linha 1: idempotncia


da linha 1 para a linha 2: comutatividade (2b)
da linha 2 para a linha 3: distributividade (3b)
da linha 3 para a linha 4: complemento (5a)
da linha 4 para a linha 5: elemento neutro (4b)

Assim, a funo f(x1, x2, x3) pode ser implementada mais simplesmente pelo circuito lgico mostrado na
Figura I.10.

Para percebermos, de uma forma mais clara, a simplificao realizada, compare as Figuras I.8 (circuito
original) e Figura I.10 (circuito simplificado).
Exemplo I.10: Simplifique a funo g(x1, x2, x3) do Exemplo I.8.
No Exemplo I.8, encontramos a forma normal disjuntiva da funo g(x1, x2, x3) como

a qual pode ser reduzida como mostrado a seguir.

113

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao

As propriedades booleanas utilizadas na simplificao foram, sequencialmente:










da funo original para a linha 1: idempotncia


da linha 1 para a linha 2: comutatividade (1b)
da linha 2 para a linha 3: distributividade (3b)
da linha 3 para a linha 4: complemento (5a)
da linha 4 para a linha 5: elemento neutro (4b)
da linha 5 para a linha 6: comutatividade (1b)
da linha 6 para a linha 7: distributividade (3b)
da linha 7 para a linha 8: complemento (5a)
da linha 8 para a linha 9: elemento neutro (4b)

A implementao da funo g(x1, x2, x3) simplificada est mostrada na Figura I.11.

Para uma visualizao e compreenso mais claras, compare as Figuras I.9 e I.11.

Caro Aluno, conforme vimos nos Exemplos I.9 e I.10, possvel minimizar uma funo booleana com
a utilizao das propriedades da lgebra de Boole. Porm, observe que, para isso, necessrio uma
certa dose de criatividade por parte do projetista de circuitos lgicos. Isso faz com que essa forma de
minimizao no seja frequentemente utilizada. Na sequncia do seus estudos no Curso, voc aprender
uma forma bem mais eficiente de se realizar minimizaes em funes booleanas, conhecida como
mapas de Karnaugh.

ARRANJOS LGICOS PROGRAMVEIS

Um projetista de circuitos integrados, muitas vezes, prefere ao invs de projetar um chip especfico para
implementar uma determinada funo booleana, utilizar um ALP (arranjo lgico programvel ou, do
ingls, PLA programmable logic array). Um ALP um chip que j possui em sua estrutura um arranjo de
portas lgicas E e OU, junto com um reticulado retangular de fiao e algumas funes inversoras. Uma
vez definida a funo booleana em forma normal disjuntiva, interliga-se os componentes necessrios do
ALP.

114

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade I

A Figura I.12 ilustra um ALP para trs entradas x1, x2 e x3.

No ALP da Figura I.12, observe a existncia de quatro linhas de sada, portanto, possvel a implementao
de at quatro funes booleanas nesse ALP. Ao se programar o ALP, as linhas horizontais entrando em
uma porta E selecionam algumas das variveis de entrada e, assim, a porta E forma o produto entre
essas variveis. Por outro lado, as linhas verticais que entram em uma porta OU selecionam, quando
programadas conectadas, as sadas das portas E realizando, assim, a soma dessas sadas e resultando
na funo booleana desejada.

115

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao

A Figura I.13 mostra como fica a programao do ALP da Figura I.12 para as funes booleanas f(x1, x2, x3)
e g(x1, x2, x3) discutidas anteriormente. A funo booleana f corresponde sada f1 e a funo g, a sada f2.

116

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade I

LISTA DE EXERCCIOS
1. Considere o conjunto X = {0, 1, x, x} e sejam + e operaes binrias em X. A operao unria definida
pela tabela

[x, +, , , 0, 1] uma lgebra de Boole. Usando as propriedades vlidas para qualquer lgebra de Boole,
complete as tabelas a seguir que definem as operaes binrias + e .
+
0
1

0
1

2. Prove as propriedades a seguir para lgebras de Boole. Justifique cada passo.


a)
b)
c)
d)
e)
f)
g)
h)
i)

(x + y) = x y
(x y) = x + y
x + (x y) = x
x (x + y) = x
x [y + (x z)] = (x y) + (x z)
x+[y(x+z)]=(x+y)(x+z)
(y x) + x + (y + x) y = x + (y x)
(x + y x) = x
xy+x=y+xy

3. Uma operao binria em uma lgebra de Boole (OU Exclusivo, XOR em ingls)
definida por ab=ab'+ba'
Prove que:
a)
b)
c)
d)

ab=ba
aa=0
0 a = a
1 a = a

4. Construa circuitos lgicos para as expresses booleanas a seguir usando portas lgicas E, OU e inversores.
a)
b)
c)
d)

f = (x + y) z
g = (x + y) + y z
h = x y + (x y)
k = (x + y) z + y

117

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao

5. Escreva uma expresso booleana e a tabela-verdade correspondente para os circuitos lgicos a seguir.
a.

b.

c.

d.

e.

118

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade I

6. Para as tabelas-verdade a seguir, determine a forma normal disjuntiva para as funes booleanas e
construa os circuitos lgicos correspondentes.
a.

x1

x2

x3

1
1
1
0
0
0
0

b.

0
0
1
1
0
0

0
0
0
0

1
1
0
0

1
0

x3

x2
1

x1
1

c.

g(x1, x2, x3)

1
g(x1, x2, x3)
0
1

f(a, b, c, d)

1
1

0
0

0
1

1
1

0
0

1
0

0
1

1
1

1
0

0
0

1
0

119

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao

d.

f(a, b, c, d)

1
1
1
1
1
1
0
0
0
0
0
0
0

e.

1
1
0
0
0
0
1
1
1
1
0
0
0
0

1
1
1
1
1
1
0
0
0
0
0
0
0
0

1
0
1
1
0
0
1
1
0
0
1
1
0
0

0
1
1
0
1
0
1
0
1
0
1
0
1
0

0
0
0
1
1
1
1
0
1
0
0
1
1
0

f(a, b, c, d)

1
1
0
0
0
0
1
1
1
1
0
0
0
0

1
0
1
1
0
0
1
1
0
0
1
1
0
0

0
1
1
0
1
0
1
0
1
0
1
0
1
0

1
1
0
1
0
1
0
1
0
0
1
1
0
1

120

Sistema Universidade Aberta do Brasil - UAB | IF Sul-rio-grandense

Unidade I

7. Para as funes booleanas a seguir,


a.
b.
c.
7.1

determine a forma normal disjuntiva;


construa o circuito lgico correspondente;
usando as propriedades da lgebra de Boole, reduza a expresso para uma expresso equivalente cujo
circuito lgico use apenas dois elementos lgicos.
x1

x2

x3

g(x1, x2, x3)

1
1
0
0
0
7.2

1
0
1
1
0
0

0
1
1
0
1
0

1
0
0
0
0
0

x1

x2

x3

g(x1, x2, x3)

1
1
0
0
0
0

1
0
1
1
0
0

0
1
1
0
1
0

0
0
1
1
0
0

8. Prove que as expresses booleanas

so equivalentes:
a. montando a tabela-verdade para cada uma delas;
b. usando as propriedades da lgebra de Boole.

9. A Figura I.14 mostra um ALP no programado para trs variveis de entrada a, b e c. Programe esse ALP
para implementar as funes booleanas f e g dadas por

121

Fomento ao Uso das Tecnologias da Informao e Comunicao

Fundamentos Matemticos da Computao

10. Um avio a jato emprega um sistema de monitorao dos valores de rpm, presso e temperatura dos
seus motores usando sensores que operam conforme descrito a seguir:
sada do sensor R = 0 apenas quando a velocidade for < 4.800 rpm
sada do sensor P = 0 apenas quando a presso for < 1,33 N/m2

sada do sensor T = 0 apenas quando a temperatura for < 93,3 C

A Figura I.15 mostra o circuito lgico que controla uma lmpada de advertncia dentro da cabine para
certas combinaes de condies dos motores. Admita que um nvel ALTO na sada W ative a luz de
advertncia. Determine quais condies dos motores indicam um sinal de advertncia ao piloto.

11. O nibus espacial controlado por trs computadores de bordo. Os resultados desses trs computadores
so comparados e necessrio que a maioria dos computadores esteja de acordo para que determinadas
aes sejam executadas. Encontre uma funo booleana, uma expresso booleana e um circuito lgico que
tem como sada a maioria dos trs valores de entrada.

122

Вам также может понравиться