Matem Tica Discreta Plano De Ensino 2

UNIVERSIDADE PRESBITERIANA MACKENZIE
Decanato Acadêmico
Unidade Universitária: Faculdade de Computação e Informática
Curso: Núcleo Comum (Ciência da
Computação, Sistemas de Informação,
Tecnologia em Análise e Desenvolvimento de
Sistemas) e Licenciatura em Matemática
Disciplina: Matemática Discreta
Professor(es):
Eliza Hidemi Sadaike
Luciano Silva
Gaston Alberto C. Henriquez
Péricles do Prado Turnes Junior
Vilar Ribeiro de Figueiredo

Núcleo Temático: Matemática

Código da Disciplina:
ENEC00239
Etapa: 2

DRT:
1138774
1110468
1123503
1110724

Carga horária: 4 (4T 0L)

Semestre Letivo: 2014/2º
( X ) Teórica
( ) Prática
Ementa: Lógica Matemática e técnicas de demonstração. Fundamentos da Teoria de Conjuntos.
Relações discretas. Funções discretas. Recursão e indução. Cardinalidade e Princípios de Contagem.
Álgebras e Homomorfismos.
Objetivos:
Conceitos

Procedimentos e Habilidades









apresentar as estratégias de raciocínio lógico, relacional, recursivo, quantitativo e analítico para tratamento de problemas computacionais com estrutura discreta formalizar estruturas computacionais discretas, com ênfase em aspectos de consistência praticar com ambiente computacional (Isabelle) para estruturas discretas






Atitudes e Valores

ser capaz de entender  especificações formais de estruturas computacionais discretas ser capaz de produzir descrições formais de  problemas computacionais discretos ser capaz de manipular algebricamente estruturas computacionais discretas ser capaz de utilizar ambientes computacionais para resolução de  problemas discretos

compreender a necessidade e importância de métodos formais na descrição de problemas computacionais discretos compreender a necessidade de uma sólida formação em
Matemática Discreta para os cursos de
Ciência
da
Computação, Sistemas de
Informação e Tecnologia em
Análise e Desenvolvimento de Sistemas verificar a importância de trabalho interdisciplinar entre
Matemática e Computação para resolução de problemas