Modelo de Relatório Laboratório de Física

Plano de Ensino - Modelo aprovado pelo Ato 16.1/2013_Consu_Colegiado_Grupo Ibmec

CURSO: ENGENHARIA DE CONTROLE E AUTOMAÇÃO
Lógica e Matemática Discreta
Disciplina/Carga: LÓGICA E MATEMÁTICA DISCRETA – 80 HORAS/AULA
Professor:

SUZANA LIMA DE CAMPOS CASTRO

Semestre/Turno: 1º SEM – 2014-1 - Noturno

Turmas:

Objetivos da disciplina:

Bibliografia Básica:

•

•

•

A

Propiciar ao aluno o desenvolvimento do seu potencial de abstração, o aprimoramento de sua GERSTING, Judith L. Fundamentos matemáticos para a capacidade de formalização de ideias intuitivas. ciência da computação: um tratamento moderno de a matemática discreta. 5 . edição. Rio de Janeiro: LTC,
Apresentar as técnicas fundamentais para o processo lógico-dedutivo rigoroso.
2008. 589 p.
Estudar os principais conceitos de matemática discreta necessários na modelagem, análise e
SCHEINERMAN, Edward R. Matemática discreta: uma resolução de problemas relacionados à computação. a introdução. 2 . edição. São Paulo: Pioneira Thomson
Learning, 2011. 532 p.
SOUZA, João Nunes de. Lógica para ciência da computação: fundamentos de linguagem, semântica e sistemas de dedução. Rio de Janeiro: Campus, 2002.
308 p.

Metodologia de ensino e aprendizagem:
•

Aulas expositivas com exemplos

•

Exercícios em sala e extra classe

Bibliografia Complementar:
LIPSCHUTZ, Seymour; LIPSON, Marc Lars. Teoria e problemas de Matemática discreta. 2 ed. Porto Alegre:
Bookman, 2004. 511 p. (Coleção Schaum)
ALENCAR FILHO, Edgard de. Iniciação matemática. São Paulo: Nobel, 2002. 203 p.

à lógica

MENEZES, Paulo Blauth. Matemática discreta para a computação e informática. 3 edição. Porto Alegre:
Bookman, 2010. 258 p.
SILVA, Flávio Soares Corrêa da; FINGER, Marcelo;
MELO, Ana Cristina Vieira de.
Lógica para computação. São Paulo: Thomson Learning, 2006. 234 p.
ROSEN, Kenneth H. Matemática Discreta e suas

Plano de Ensino - Modelo aprovado pelo Ato