UNIVERSIDADE FEDERAL DE RORAIMA

PR - REITORIA DE GRADUAO
CENTRO DE CINCIAS E TECNOLOGIA
DEPARTAMENTO DE MATEMTICA
PROGRAMA DE DISCIPLINA
DISCIPLINA: Matemtica Discreta
CDIGO: MA 302
PR-REQUISITO: MA 301
TOTAL
TERICA PRTICA
90 90 0
1- OBJETIVOS
Fornecer subsdios bsicos para reconhecer estruturas matemticas em sistemas discretos,
manipular estruturas discretas atravs de tcnicas espec!icas para cada tipo de estrutura, provar
propriedades de estruturas discretas e utili"ar a matemtica discreta como uma lin#ua#em de
resolu$%o de problemas&
2 METODOLOGIA
Aulas e'positivas&
(so do )omputador *+nternet e Aplicativos,&
(so da )alculadora&
Atendimento ao aluno e'tra classe&
! EMENTA
Fundamentos- )ole$.es- )onta#em e /ela$.es- 0rincipais 1ipos de 0rovas- Fun$.es- 1eoria dos
23meros- 4l#ebra- 5ra!os- )on6untos 0arcialmente 7rdenados&
2- PROGRAMA
FUNDAMENTOS
De!ini$%o Matemtica
1eorema
0rova
)ontra89'emplo
4l#ebra de :oole
COLE"ES
;istas
Fatorial
)on6untos +: +ntrodu$%o, <ubcon6untos&
=uanti!icadores
)on6untos ++: 7pera$.es
CONTAGEM E RELA"ES
/ela$.es
/ela$.es de 9>uival?ncia&
0arti$.es
)oe!icientes :inomiais
)onta#em de Multicon6untos
+nclus%o89'clus%o
PRINCIPAIS TIPOS DE PROVAS
0rovas por )ontradi$%o
)ontra8e'emplo Mnimo
0rovas por +ndu$%o
FUN"ES
Fun$.es
7 0rincpio da )asa do 0ombo
)omposi$%o
0ermuta$.es
<imetria
1ipos de 2ota$%o
TEORIA DOS N#MEROS
Divis%o
Divisibilidade
23meros 0rimos
M'imo Divisor )omum
Aritmtica Modular
7 0e>ueno 1eorema de Fermat
7 1eorema do /esto )hin?s
Fatora$%o
LGEBRA
5rupos
+somor!ismos dos 5rupos
<ub#rupos
)ripto#ra!ia de )have 03blica +: +ntrodu$%o
)ripto#ra!ia de )have 03blica ++: 7 Mtodo de /abin
)ripto#ra!ia de )have 03blica +++: /<A
GRAFOS
Fundamentos da 1eoria dos 5ra!os
<ub#ra!os
)one'%o
4rvores
5ra!os 9ulerianos
)olora$%o
5ra!os 0lanares
CONJUNTOS PARCIALMENTE ORDENADOS
Fundamentos dos )on6untos 0arcialmente 7rdenados
Ma' e Min
7rdens ;ineares
9'tens.es ;ineares
Dimens%o
/eticulados
$ - REFERNCIAS BIBLIOGRFICAS
B%&'():
<)@9+29/MA2, 9dAard /& Matemtica Discreta 8 (ma +ntrodu$%o& <%o 0aulo: 1homson 0ioneira,
2003&
M929B9<, 0aulo :lauth& Matemtica Discreta para )omputa$%o e +n!ormtica 8 <rie (F/5<, nC 1D
, 0orto Ale#re: <a#ra8;u""atto, 200E&
59/<1+25, Fudith ;& Fundamentos Matemticos para a )i?ncia da )omputa$%o, Ga 9di$%o& /io de
Faneiro: ;1), 200E&
;7H4<B ;& - 09;+I42 F- e H9<B19/57M:+ I, Matemtica Discreta, 9d: <ociedade :rasileira de
Matemtica&
C*+,-.+./0)1:
5/A@AM, /&;&- I2(1, D& 9- e 0A1A<@2+I, 7&& Matemtica )oncreta J Fundamentos para a )i?ncia
da )omputa$%o& /io de Faneiro: ;1), 199G&
9HA/+<17, Faime& +ntrodu$%o K 4l#ebra com Aplica$.es K )i?ncia da )omputa$%o& MaceiL:
9d(FA;, 1999&
;+0<)@(1B <&, 1eoria dos )on6untos, cole$%o <chaAn, Mc 5raA @ill&