Carregando...

DISCIPLINA Listagem de Ementa/Programa

LÓGICA COMPUTACIONAL 1DISCIPLINA 117366

VER OFERTA

ÓrgãoCIC Departamento de Ciência da Computação
Código117366
DenominaçãoLógica Computacional 1
NívelGraduação
Vigência1971/2
Pré-requisitos CIC 113450 Fundamentos Teór da Computação OU
CIC 116319 ESTRUTURAS DE DADOS
Ementa

1. Noções Básicas

a. Linguagem Natural vs Linguagens Formais;
b. Verdade, Validade, Satisfatibilidade;
c. Lógica Proposicional:
i. Sintaxe e Semântica;
ii. Propriedades e Relações Semânticas;
iii. Conseqüência Lógica;
iv. Simplificação de Fórmulas;
d. Lógica de Primeira Ordem:
i. Sintaxe e Semântica;
ii. Propriedades e Relações Semânticas;
e. Formas Normais.

2. Métodos de Validação

a. Métodos Diretos de Prova;
b. Métodos de Prova por Contradição;
c. Indução.

3. Linguagem para experimentação
a. Aplicações Básicas.

Bibliografia

SOUZA, João Nunes de. Lógica para Ciência da Computação: Fundamentos da Linguagem, Semântica e Sistemas de dedução. Rio de Janeiro: Campus, 2002.
MORTARI, Cezar. Introdução à lógica. São Paulo: Editora UNESP/Imprensa Oficial do Estado, 2001.
CASANOVA, Marco A, GIORNO, Fernando A. C., FURTADO, Antônio L. Programação em Lógica e a Linguagem Prolog. São Paulo: Editora Edgard Blücher LTDA, 1987.
COPI, I. M. Introdução à lógica. Rio de Janeiro: Editora Zahar, 1972.
GENSLER, Harry. Introduction to logic. London/New York: Routledge, 2002.
BOSTOCK, David. Intermediate logic. Oxford: Clarendon Press, 1997.
VELLEMAN, Daniel J. How to prove it: a structured approach. Cambridge: Cambridge University Press, 1ªedição 1994, 4ª reimpressão 1996.
FORBES, Graeme. Modern logic: A text in elementary symbolic logic. New York/Oxford: Oxford University Press, 1994.
MATES, Benson. Elementary logic. New York: Oxford University Press, 2ªed. 1972.
HUTH, Michael, RYAN, Mark. Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge: Cambridge University Press, 2ªedição 2004.