|
UNIVERSIDADE DO ESTADO DO RIO DE JANEIRO
|
| UNIDADE: INSTITUTO POLITÉCNICO | ||
| DEPARTAMENTO: DEPARTAMENTO DE MODELAGEM COMPUTACIONAL | ||
| DISCIPLINA: Matemática Discreta II | ||
| CARGA HORÁRIA: 90 | CRÉDITOS: 5 | CÓDIGO: IPRJ01-10762 |
| MODALIDADE DE ENSINO: Presencial | TIPO DE APROVAÇÃO: Nota e Frequência | |
| STATUS | CURSO(S) / HABILITAÇÃO(ÕES) / ÊNFASE(S) |
| Obrigatória | IPRJ - Engenharia de Computação (versão 1) |
| TIPO DE AULA | CRÉDITO | CH SEMANAL | CH TOTAL |
| Teórica | 4 | 4 | 60 |
| Prática/ Trabalho de Campo | 1 | 2 | 30 |
| TOTAL | 5 | 6 | 90 |
OBJETIVO(S):
Aprofundar o aluno nas técnicas de demonstração por indução, introduzir alguns espaços matemáticos computacionais importantes e fornecer elementos da teoria de grafos e suas aplicações.
EMENTA:
Prova por Indução matemática. Sistemas algébricos. Reticulados. Teoria dos domínios: ordens parciais completas, continuidade, ponto fixo, espaço das funções. Introdução a Grafos.
BIBLIOGRAFIA: 1. B.A. Davey and H.A. Priestley , Introduction to Lattices and Order by, Cambridge University Press. 1994.
2. Winskel, G. (1993) The Formal Semantics of Programming Languages. MIT Press.
3. Jayme L. Szwarcfiter, Algoritmos em Grafos, Editora Campus, 1987.
4. T. H. Cormen, C. E. Leiserson e R. L. Rivest, Introduction to Algorithms , MIT Press e McGraw-Hill, 1990.