|
UNIVERSIDADE DO ESTADO DO RIO DE JANEIRO
|
| UNIDADE: FACULDADE DE CIÊNCIAS EXATAS E ENGENHARIAS | ||
| DEPARTAMENTO: DEPARTAMENTO DE COMPUTAÇÃO | ||
| DISCIPLINA: Lógica Matemática | ||
| CARGA HORÁRIA: 60 | CRÉDITOS: 4 | CÓDIGO: FCEE01-14808 |
| MODALIDADE DE ENSINO: Presencial | TIPO DE APROVAÇÃO: Nota e Frequência | |
| STATUS | CURSO(S) / HABILITAÇÃO(ÕES) / ÊNFASE(S) |
| Obrigatória | FCEE - Ciência da Computação (versão 2) |
| TIPO DE AULA | CRÉDITO | CH SEMANAL | CH TOTAL |
| Teórica | 4 | 4 | 60 |
| TOTAL | 4 | 4 | 60 |
OBJETIVO(S):
APLICAR O RACIOCÍNIO LÓGICO NA RESOLUÇÃO DE PROBLEMAS. COMPREENDER OS FUNDAMENTOS DA LÓGICA CLÁSSICA. DESENVOLVER A CAPACIDADE DE ABSTRAÇÃO. COMPREENDER OS FUNDAMENTOS DA LÓGICA FUZZY.
EMENTA:
INTRODUÇÃO À LÓGICA MATEMÁTICA. EQUIVALÊNCIAS E IMPLICAÇÕES LÓGICAS. ARGUMENTOS. CÁLCULO DE PREDICADOS. LÓGICA FUZZY.
| DISCIPLINA(S) CORRESPONDENTE(S): UEZO01-15956 Logica Matematica |
BIBLIOGRAFIA: - COPI, IRVING M. INTRODUÇÃO À LÓGICA. 2. ED. SÃO PAULO: MESTRE JOU, 1979. 488 P. ISBN 858706805-9.
- LIPSCHUTZ, SEYMOUR; LIPSON, MARC. TEORIA E PROBLEMAS DE MATEMÁTICA DISCRETA. 2 ED. PORTO ALEGRE: BOOKMAN, 2004. 511 P. (COLEÇÃO SCHAUM). ISBN 978-85-363-0361-1.
- POLYA, GEORGE. A ARTE DE RESOLVER PROBLEMAS. RIO DE JANEIRO: INTERCIÊNCIA, 1995. 179 P.
- GERSTING, JUDITH L. FUNDAMENTOS MATEMÁTICOS PARA A CIÊNCIA DA COMPUTAÇÃO: UM TRATAMENTO MODERNO DE MATEMÁTICA DISCRETA. 5 ED. RIO DE JANEIRO: LTC ED, 2004. XIV, 597PP. ISBN 8521614225.
- MENEZES, PAULO BLAUTH. MATEMÁTICA DISCRETA: PARA COMPUTAÇÃO E INFORMÁTICA. 2. ED. PORTO ALEGRE: BOOKMAN, 2008. 258P. P. ISBN 9788577802692.
- FIGUEIREDO, LUIZ MANOEL; SILVA, MARIO OLIVERO DA; CUNHA, MARISA ORTEGOZA DA. MATEMÁTICA DISCRETA. 2 ED. RIO DE JANEIRO: FUNDAÇÃO CECIERJ, 2004. V.2. 144 P. ISBN 8588731061.