Escolar Documentos
Profissional Documentos
Cultura Documentos
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:
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:
Aprovao:
7,0
ou
4,0
G1 + G 2
2
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
Data
Tpico
Contedo
03/03 3f.
05/03 5f.
10/03 3f.
12/03 5f.
17/03 3f.
Aula de complementao.
19/03 5f.
Trabalho T1
24/03 3f.
26/03 5f.
31/03 3f.
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
15
28/04 3f.
Relaes em um Conjunto
16
30/04 5f.
Relaes em um Conjunto
17
05/05 3f.
Trabalho T3
18
07/05 5f.
Relaes em um Conjunto
19
12/05 3f.
Reticulados
20
14/05 5f.
Reticulados
21
19/05 3f.
lgebra Booleana
22
21/05 5f.
Grafos
23
26/05 3f.
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.
32
30/06 3f.
Prova PS
33
02/07 5f.
07/07 3f.
Exame G2
www.pucrs.br/famat/daniela
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
daniela@pucrs.br