|
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 |
EMENTA:
INTRODUçãO à LóGICA MATEMáTICA. EQUIVALêNCIAS E IMPLICAçõES LóGICAS. ARGUMENTOS. CáLCULO DE PREDICADOS. LóGICA FUZZY.
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.
| 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.