UNIVERSIDADE DO ESTADO DO RIO DE JANEIRO

FORMULÁRIO DE IDENTIFICAÇÃO DA DISCIPLINA
 

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
 
STATUSCURSO(S) / HABILITAÇÃO(ÕES) / ÊNFASE(S)
ObrigatóriaIME - Ciência da Computação (versão 1)
IME - Informática e Tecn. Informação (versão 3)
Eletiva RestritaIME - 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órica4460
TOTAL 4 4 60

OBJETIVO(S):

Proporcionar ao aluno conhecimentos sobre Cálculo Proposicional e noções sobre Cálculo de Predicados de primeira ordem.
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.

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 & Hall, 1997.