|
UNIVERSIDADE DO ESTADO DO RIO DE JANEIRO
|
| UNIDADE: INSTITUTO POLITÉCNICO | ||
| DEPARTAMENTO: DEPARTAMENTO DE MODELAGEM COMPUTACIONAL | ||
| DISCIPLINA: Matemática Discreta I | ||
| CARGA HORÁRIA: 90 | CRÉDITOS: 5 | CÓDIGO: IPRJ01-10761 |
| 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 |
EMENTA:
Elementos de lógica: sentido lógico-matemático convencional dos conectivos; argumentos; lógica sentencial; regras de formação de fórmulas; sistemas dedutivos; decidibilidade da lógica sentencial. Lógica de predicados de primeira ordem. Conjuntos, tipos e listas. Relações. Funções. Indução e recursão. Corecursão. Conjuntos Finitos e Infinitos.
OBJETIVO(S):
Introduzir o aluno aos fundamentos de matemática discreta dentro da abordagem de que software é matemática discreta.
BIBLIOGRAFIA: Kees Doets and Jan van Eijck, The Haskell Road toLogic, Math and Programming, King´s College Publications 2004
Hall et O´Donnell, Discrete Mathematics Using a Computer, , Springer, 2000
GERSTING, Judith L. Fundamentos matemáticos para a ciência da computação. 4a Edição. Rio de Janeiro: LTC, 2001.
SUPPES, Patrick Colonel. Introduction to logic. Minuda: Dover, 1999.
THOMPSON, S. Haskell: The Craft of Functional Programming. Harlow: Addison Wesley. 1999.