Sie sind auf Seite 1von 3
Poder Executivo Ministério da Educação Universidade Federal do Amazonas Conselho de Ensino, Pesquisa e Extensão

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

Federal do Amazonas Conselho de Ensino, Pesquisa e Extensão PLANO DE ENSINO   1. IDENTIFICAÇÃO DA
Federal do Amazonas Conselho de Ensino, Pesquisa e Extensão PLANO DE ENSINO   1. IDENTIFICAÇÃO DA

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 práticas

Horário e local de atendimento

de alunos:

 
   

-

 

Horário das aulas teóricas 3ª. Feira - 16h00 / 18h00 5ª. Feira - 16h00 / 18h00

   

2ª. Feira - 13h00 / 15h00; sala 1215 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**

07/ago

 

02

 

T

Apresentação da disciplina; fundamentos de lógica formal

 

09/ago

 

02

 

T

Fundamentos da Lógica Formal (2)

   

14/ago

 

02

 

T

Operadores; tautologias, contradições e 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

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

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

Federal do Amazonas Conselho de Ensino, Pesquisa e Extensão 13/set 02 T Lógica de Predicados 18/set
Federal do Amazonas Conselho de Ensino, Pesquisa e Extensão 13/set 02 T Lógica de Predicados 18/set

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, …, E n ) 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:

NE = E 1 + E 2 + + En

n

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

NP = P 1 + P 2 + P 3

3

das 3 avaliações: N P = P 1 + P 2 + P 3 3 Resolução
Poder Executivo Ministério da Educação Universidade Federal do Amazonas Conselho de Ensino, Pesquisa e Extensão

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

Federal do Amazonas Conselho de Ensino, Pesquisa e Extensão A média parcial (nota de atividades escolares)
Federal do Amazonas Conselho de Ensino, Pesquisa e Extensão A média parcial (nota de atividades escolares)

A

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

 

MP = 2 NE + 8 NP

 
 

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):

 

MF = 2 MP + PF

 
 

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,

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:

 
DO(A) COORDENADOR(A) DO COLEGIADO DO CURSO:   Resolução n°023/2017, aprovada no dia 03 de maio de