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: Tópicos em Lógica Matemática
CARGA HORÁRIA: 60	CRÉDITOS: 4	CÓDIGO: IME02-07025
MODALIDADE DE ENSINO: Presencial		TIPO DE APROVAÇÃO: Nota e Frequência

 

STATUS	CURSO(S) / HABILITAÇÃO(ÕES) / ÊNFASE(S)
Eletiva Restrita	IME - Informática e Tecn. Informação (versão 2) IME - Matemática (versão 3)
Eletiva Definida	IME - Informática e Tecn. Informação (versão 2) IME - Matemática (versão 3) IME - Matemática (versão 4) IME - Matemática (versão 6)

TIPO DE AULA	CRÉDITO	CH SEMANAL	CH TOTAL
Teórica	4	4	60
TOTAL	4	4	60

---

OBJETIVO(S):

Não informado.

---

EMENTA:

- Lógica de 1ª ordem;
- Utilização de lógica de 1ª ordem como linguagem de especificação em tipos abstratos de dados e como abordagem axiomática para semântica de linguagens de programação.

PRÉ-REQUISITO 1: IME02-04641 Álgebra I   ou IME02-03877 Introdução à Lógica

 

---

BIBLIOGRAFIA:

- Veloso, P. A. S.: Estruturação e Verificação de Programas com Tipos Abstratos de Dados. Blücher, SP, 1987.

- Pagam, F.: Formal Specification of Programming Languages. Prentice-Hall, New Jersey, 1987.

---