Poder Executivo

Ministério da Educação
Universidade Federal do Amazonas
Conselho de Ensino, Pesquisa e Extensão

PLANO DE ENSINO
1. IDENTIFICAÇÃO DA DISCIPLINA
CURSO: Engenharia da Computação PERÍODO LETIVO: 2018/02 TURMA: 501
DISCIPLINA: Matemática Discreta SIGLA: IEC010
CARGA HORÁRIA TOTAL: 60 CRÉDITOS: 04
TEÓRICA: 60 PRÁTICA: 0 PRÉ-REQUISITO:
 IEE001 – Probabilidade e Estatística
 IEM012 – Álgebra Linear
PROFESSOR (ES) : Rafael Giusti
E-MAIL(S): rgiusti@icomp.ufam.edu.br
Horário das aulas teóricas Horário das aulas práticas Horário e local de atendimento
de alunos:
3ª. Feira - 16h00 / 18h00 - 2ª. Feira - 13h00 / 15h00; sala 1215
5ª. Feira - 16h00 / 18h00 do Instituto de Computação
4ª. Feira - 13h00 / 15h00; sala 1215
do Instituto de Computação
2. EMENTA(conforme o PPC do curso)
Lógica Proposicional; Conjuntos, Quantificação e Estratégias de Prova; Relações, Funções e Indução Matemática;
Tópicos Algébricos e Combinatória; Estruturas parcialmente ordenadas; Grafos.
3.OBJETIVOS
3.1 GERAL(conforme o PPC do curso)
Reconhecer estruturas matemáticas em sistemas discretos. Manipular estruturas discretas através de técnicas
específicas para cada tipo de estrutura. Provar propriedades de estruturas discretas. Utilizar a matemática discreta como
uma linguagem de resolução de problemas.
3.2 ESPECÍFICOS (se houver)

4.CONTEÚDO PROGRAMÁTICO/CRONOGRAMA
Aulas
Datas Carga horária Tipo (T,P)* Conteúdo Professor**
02 T Apresentação da disciplina; fundamentos de lógica
07/ago
formal
09/ago 02 T Fundamentos da Lógica Formal (2)
02 T Operadores; tautologias, contradições e
14/ago
contingências.
16/ago 02 T Equivalência Lógica
21/ago 02 T Lógica Proposicional
23/ago 02 T Lógica Proposicional
28/ago 02 T Lógica Proposicional
30/ago 02 T Lógica de Predicados
04/set 02 T Lógica de Predicados
06/set -- -- Sem previsão de aula (entre os feriados de 5 e 7/set)
11/set 02 T Lógica de Predicados

Resolução n°023/2017, aprovada no dia 03 de maio de 2017 – Conselho de Ensino, Pesquisa e Extensão 1
 Poder Executivo
Ministério da Educação
Universidade Federal do Amazonas
Conselho de Ensino, Pesquisa e Extensão
13/set 02 T Lógica de Predicados
18/set 02 T Técnicas de demonstração de teorema
20/set 02 T Técnicas de demonstração de teorema
25/set 02 T Exercícios e revisão
27/set 02 T Avaliação parcial 1 (P1)
02/out 02 T Conjuntos e Enumeração de Conjuntos
04/out 02 T Conjuntos e Enumeração de Conjuntos
09/out 02 T Conjuntos e Enumeração de Conjuntos
11/out -- -- Sem aula (Semana Nacional de Ciência e Tecnologia)
16/out -- -- Sem aula (Semana Nacional de Ciência e Tecnologia)
18/out 02 T Relações e Funções
23/out 02 T Relações e Funções
25/out 02 T Relações e Funções
30/out 02 T Indução Matemática
01/nov 02 T Indução Matemática
06/nov 02 T Exercícios e revisão
08/nov 02 T Avaliação parcial 2 (P2)
13/nov 02 T Contagem: Princípios, Permutação e Combinação
15/nov -- -- Feriado (Proclamação da República)
20/nov -- -- Feriado (Dia da Consciência Negra)
22/nov 02 T Introdução à Teoria dos Grafos
27/nov 02 T Teoria dos Grafos
29/nov 02 T Teoria dos Grafos
04/dez 02 T Exercícios / Revisão
06/dez 02 T Avaliação parcial 3
11/dez 02 T Prova Final
* Aula teórica ou prática
** Em caso de disciplinas compartilhadas

5. PROCEDIMENTOS DE ENSINO E DE APRENDIZAGEM

A metodologia da disciplina está baseada em aulas expositivas, resolução de problemas em sala de aula,
exercícios de fixação e avaliações.
6. PROCEDIMENTOS DE AVALIAÇÃO
A avaliação será feita com base em 3 avaliações parciais (P1, P2 e P3) e n exercícios (E1, E2, …, En) que serão
distribuídos ao longo do curso de maneira adequada ao desenvolvimento dos discentes.

A nota dos exercícios (NE) será a média artimética simples dos exercícios:

E 1+ E 2+ ...+ En
NE=
n

A nota de provas será a média aritmética simples das 3 avaliações:

P1+ P 2+ P 3
NP=
3

Resolução n°023/2017, aprovada no dia 03 de maio de 2017 – Conselho de Ensino, Pesquisa e Extensão 2
 Poder Executivo
Ministério da Educação
Universidade Federal do Amazonas
Conselho de Ensino, Pesquisa e Extensão

A média parcial (nota de atividades escolares) será a seguinte média ponderada:

2 NE +8 NP
MP=
10

A média final será a média ponderada da nota de atividades escolares e a nota da prova final (Resolução
23/2017 CONSEPE):

2 MP+ PF
MF=
3

Para discentes que obtiverem média dos exercícios escolares superior ou igual a 8,0 (MP >= 8,0), será
facultativa a realização da prova final (PF).

7. REFERÊNCIAS (conforme o PPC do curso)

7.1 BÁSICA (mínimo de 03 indicações, conforme o PPC do curso)
 GERSTING, Judith L. Fundamentos Matemáticos para a Ciência da Computação: um Tratamento Moderno de
Matemática Discreta, 5ª edição. Livros Técnicos e Científicos, 2004. ISBN-13: 9788521614227.
 ROSEN, Kenneth H. Matemática Discreta e suas Aplicações, 6ª edição. Editora McGraw Hill – Artmed, 2008. ISBN-13:
9788577260362.
 SCHEINERMAN, Edward R. Matemática Discreta: uma Introdução. Tradução da 2ª edição americana. Cengage
Learning, 2010. ISBN-13: 9788522107964
7.2 COMPLEMENTAR (mínimo de 05 indicações, conforme o PPC do curso)
STEIN, Cliff L; Drysdale, Robert; Bogart, Kenneth. Discrete Mathematics for Computer Scientists, 1ª edição. Editora
Addison-Wesley, 2010. ISBN-13: 978-0132122719
 HUNTER, David J. Fundamentos da Matemática Discreta. Editora LTC, 2011. ISBN-13: 9788521618102.
 MENEZES, Paulo Blauth. Matemática Discreta para Computação e Informática, 3ª edição. Editora Bookman, 2010.
ISBN: 9788577806812.
 MENEZES, Paulo Blauth. Aprendendo Matemática Discreta com Exercícios. Editora Bookman, 2009. ISBN:
9788577804719.
 LIPSCHUTZ, Seymour; LIPSON, Marc. Matemática Discreta, 3ª edição. Editora Bookman, 2013.
ISBN13:9788565837736.
 FISHER, K.; HOFFMANS, L.; CHOU, J. Fundamentos da Matemática Discreta. São Paulo: Saraiva, 2011.
LOCAL E DATA: Manaus, / / 2018
ASSINATURAS DOS PROFESSORES (AS):

DATA DA APROVAÇÃO DO COLEGIADO DO CURSO:

ASSINATURA DO(A) COORDENADOR(A) DO COLEGIADO DO CURSO:

Resolução n°023/2017, aprovada no dia 03 de maio de 2017 – Conselho de Ensino, Pesquisa e Extensão 3