|
UNIVERSIDADE DO ESTADO DO RIO DE JANEIRO
|
| UNIDADE: INSTITUTO DE MATEMÁTICA E ESTATÍSTICA | ||
| DEPARTAMENTO: DEPTO. DE ESTRUTURA MATEMATICA | ||
| DISCIPLINA: Elementos de Lógica | ||
| CARGA HORÁRIA: 60 | CRÉDITOS: 4 | CÓDIGO: IME02-10824 |
| MODALIDADE DE ENSINO: Presencial | TIPO DE APROVAÇÃO: Nota e Frequência | |
| STATUS | CURSO(S) / HABILITAÇÃO(ÕES) / ÊNFASE(S) |
| Obrigatória | IME - Ciência da Computação (versão 1) IME - Informática e Tecn. Informação (versão 3) |
| Eletiva Restrita | IME - Matemática (versão 3) IME - Matemática (versão 4) IME - Matemática (versão 5) IME - Matemática (versão 6) IME - Matemática (versão 7) IME - Matemática (versão 7) |
| TIPO DE AULA | CRÉDITO | CH SEMANAL | CH TOTAL |
| Teórica | 4 | 4 | 60 |
| TOTAL | 4 | 4 | 60 |
EMENTA:
Cálculo Proposicional: conectivos lógicos, tabelas verdade, tautologias, regras de inferência, lógica sentencial, formas normais. álgebra de conjuntos e álgebras de Boole. Argumentos: demonstração direta e por redução ao absurdo. Cálculo de predicados: linguagem de primeira ordem, teoria e modelos. Decibilidade.
OBJETIVO(S):
Proporcionar ao aluno conhecimentos sobre Cálculo Proposicional e noções sobre Cálculo de Predicados de primeira ordem.
| DISCIPLINA(S) CORRESPONDENTE(S): IME02-03877 Introdução à Lógica |
BIBLIOGRAFIA:
-Judith L. Gersting, ´Fundamentos Matemáticos para Ciências da Computação´ Ed. LTC, 1995.
-E. Alencar Filho, ´Iniciação à Lógica Matemática´, Ed. Nobel.
-E. Mendelson. ´Introduction to Mathematical Logic´, Chapman et Hall, 1997.