PONTIFCIA UNIVERSIDADE CATLICA DO RIO GRANDE DO SUL

Faculdade de Matemtica - Departamento de Matemtica

Profa. Daniela Rodrigues Ribas

Estruturas Algbricas
Curso: Engenharia de Software

Nvel: I

Semestre: 2015 / 1

Turma

Horrio

Prdio / Sala

137

3 JK 5 JK

32 / 206

Ementa
Reviso de Teoria dos Conjuntos, incluindo relaes, funes, ordens parciais, reticulados e lgebras booleanas.
Estudo terico-prtico dos princpios bsicos de anlise combinatria: contagem, arranjos, permutaes e
combinaes. Estudo terico-prtico de teoria dos grafos, com propriedade para definies, propriedades,
homomorfismos e isomosfismos.
Avaliao

P1 + P2 + MT
,
3

Grau G1:

G1 =

Trabalhos:

Realizados em aula ou no, individualmente ou em duplas, com ou sem consulta trazida pelo
aluno, conforme definido pelo professor. Trabalho no feito equivale a nota zero e no poder ser
recuperado.

Provas:

Realizadas em aula, individualmente.

Prova PS:

Esta prova substitui a prova que no foi realizada (P1 ou P2). O contedo da PS cumulativo,
ou seja, todo o contedo programtico da disciplina.

Exame G2:

Para complementao da nota de G1, se necessrio, quando 4.0

Aprovao:

Frequncia mnima de 75% e G1

7,0

ou

frequncia mnima de 75% e ( G1

4,0

G1 + G 2
2

MT: Mdia aritmtica simples das notas dos n 1 melhores trabalhos.

G1 < 7.0.

5,0 )

Bibliografia

BSICA
GERSTING, J. L.: Fundamentos matemticos para a cincia da computao. 5 ed.Rio de Janeiro:
LTC, 2004. 597p.
MENEZES, P. B.: Matemtica discreta para computao e informtica. 2 ed. Porto Alegre: Bookmann,
2008. 258p.
MENEZES,P.B.;Toscani,L.V.;Lopes,J.G. Aprendendo Matemtica Discreta com exerccios. Porto
Alegre: Bookmannn, 2009. 356p.
COMPLEMENTAR
ALENCAR FILHO, E.: Teoria elementar dos conjuntos. So Paulo : Nobel, 1976.324p.
DAGHLIAN, J.: Lgica e lgebra de Boole. 4ed. So Paulo: Atlas, 1990.167p.
DAVEY, B. A. & PRIESTLEY, H. A.: Introduction to lattices and order. Cambridge: Cambridge University
Press, 1994.298p.
DEVLIN, K.: Sets, functions and logic: an introduction to abstract mathematics. Chapman & Hall
Mathematics, 1992.147p.
STOLL, R.: Set theory and logic. San Francisco and London : W. H. Freeman co., 1963.361p.
Lembretes
Para o bom andamento de nosso trabalho, respeita o horrio de incio e final dos perodos, evitando sair ou entrar na sala
durante as aulas.
No ser permitido atender telefonemas em aula. Os celulares devero estar desligados ou em modo silencioso.
Nos dias de prova ser necessria a apresentao de um documento de identidade com foto e assinatura.
A prova dever ser entregue e ser considerada terminada caso o aluno se retire da sala durante a realizao da mesma.
Durante as provas e trabalhos no haver esclarecimento de dvidas, a interpretao das questes faz parte da avaliao.
Durante as provas e trabalhos, os dispositivos mveis (celulares, tablets, computadores e assemelhados) devero ser
desligados e guardados. Estes dispositivos no podero ser manipulados durante as avaliaes.

www.pucrs.br/famat/daniela

daniela@pucrs.br

Cronograma de Estruturas Algbricas Turma 137 (Sujeito a alteraes no decorrer do semestre!!!!)

Aula

Data

Tpico

Contedo

03/03 3f.

Teoria dos Conjuntos

Apresentao da disciplina. Conjunto, elemento e relao de

pertinncia. Formas de Representao de Conjuntos: extenso,
compreenso, grficos e diagrama de Venn.

05/03 5f.

Teoria dos Conjuntos

Alguns conjuntos importantes. Intervalos. Alfabetos, Palavras e

Linguagens. Noes de Lgica das Proposies.

10/03 3f.

Teoria dos Conjuntos

12/03 5f.

lgebra dos conjuntos

17/03 3f.

Aula de complementao.

19/03 5f.

Trabalho T1

24/03 3f.

Relaes entre dois Conjuntos

26/03 5f.

Relaes entre dois Conjuntos

31/03 3f.

Relaes entre dois Conjuntos

02/04 5f.

Semana Santa

10

07/04 3f.

Funes

11

09/04 5f.

Trabalho T2

12

14/04 3f.

Aula de complementao

13

16/04 5f.

Prova P1

21/04 3f.

Tiradentes

14

23/04 5f.

Relaes em um Conjunto

Relaes em um Conjunto: definio e propriedades.

15

28/04 3f.

Relaes em um Conjunto

Relao de equivalncia. Classes de equivalncia.

16

30/04 5f.

Relaes em um Conjunto

17

05/05 3f.

Trabalho T3

18

07/05 5f.

Relaes em um Conjunto

Diagrama de Hasse. Elementos notveis: cotas superiores, cotas

inferiores, mximo, mnimo, supremo e nfimo.

19

12/05 3f.

Reticulados

Definio de reticulado atravs de elementos notveis. Tabelas de

supremo e nfimo. Propriedades dos reticulados.

20

14/05 5f.

Reticulados

Reticulados limitados. Reticulados complementados. Reticulados

distributivos.

21

19/05 3f.

lgebra Booleana

22

21/05 5f.

Grafos

Definio. Homomorfismos e isomorfismos de grafos.

23

26/05 3f.

Grafos

Definio. Homomorfismos e isomorfismos de grafos.

24

28/05 5f.

Grafos

25

02/06 3f.

Anlise combinatria

04/06 5f.

Corpus Christi

26

09/06 3f.

Anlise combinatria

27

11/06 5f.

Aula de complementao.

28

16/06 3f.

Trabalho T4

29

18/06 5f.

Aula de complementao.

30

23/06 3f.

Prova P2

31

25/06 5f.

Atendimento aos alunos.

32

30/06 3f.

Prova PS

33

02/07 5f.

Atendimento aos alunos.

07/07 3f.

Exame G2

www.pucrs.br/famat/daniela

Relaes entre conjuntos: incluso, incluso estrita e igualdade.

Operaes entre conjuntos: unio, interseo, diferena e
complementao. Propriedades das operaes.
Aula de complementao.
Trabalho T1
Produto cartesiano. Relaes: definio e exemplos. Grficos.
Domnio, imagem e contradomnio. Relao inversa.
Operaes: unio, interseo, diferena e complementao.
Tipos de Relaes: funcional, injetora,
monomorfismo, epimorfismo, isomorfismo.

total,

sobrejetora,

Feriado Escolar
Funes parciais e funes totais. Funes sobrejetoras.
Funes injetoras. Funes bijetoras. Funes inversveis.
Trabalho T2
Aula de complementao
Prova P1
Feriado Nacional

Relao de ordem. Ordem Total e Ordem parcial. Diagrama de

Hasse.
Trabalho T3

Definio via reticulados. Propriedades.

Definio. Homomorfismos e isomorfismos de grafos.

Princpio fundamental da contagem. Permutao. Arranjo.
Feriado Municipal
Permutao. Arranjo. Combinao.
Aula de complementao.
Trabalho T4
Aula de complementao.
Prova P2
Atendimento aos alunos.
Prova PS
Atendimento aos alunos.
Exame G2

daniela@pucrs.br