Prof. Dr . Avelino Zorzo Faculdade de Informática

Última atualização: 05 de agosto de 2008.

Programa:

OBJETIVOS: O cumprimento da disciplina busca dar ao aluno, ao final do semestre, condições de:

1. Mostrar a evolução da lógica a partir dos sistemas axiomáticos da geometria e da lógica aristotélica, passando pelos trabalhos de Leibniz, Hilbert e Gödel, até culminar com o nascimento da ciência da computação através de Alan Turing;

2. Manipular os principais conceitos da lógica proposicional, em particular as noções de sintaxe, semântica, relação de conseqüência lógica, prova e teorema;

3. Utilizar os principais conceitos da lógica de primeira ordem, em particular as noções de sintaxe, semântica, relação de conseqüência lógica, prova e teorema;

4. Introduzir as especializações da lógica de primeira ordem para abordar aplicações fundamentais na ciência da computação, como a lógica temporal (sistemas reativos e concorrentes), lógica de Hoare (verificação de programas imperativos), e lógica de Horn para automação de provas e programação em lógica;

EMENTA: Relação entre Lógica, Matemática e Computação. Sintaxe e Semântica da Lógica Proposicional. Sintaxe e Semântica da Lógica de Predicados. Sistemas de Prova com Dedução Natural. Formalização e Verificação de Argumentos. Teorias de Primeira Ordem. Aplicações de Lógica na Computação.

Plano de Aulas

Veja o cronograma de aulas.

Material de apoio

Veja na página do prof. Alfio material de apoio.

Avaliação

Bibliografia

Bibliografia Básica

1. Huth, M. R. A; Ryan, M. D. Logic in Computer Science: Modelling and Reasoning about systems. Cambridge University Press, 2000.
2. Souza, J.N. Lógica para Ciência da Computação. Campus, 2002.

Bibliografia Complementar

1. Gabbay, D. M. Elementary Logics: a Procedural Perspective. Prentice-Hall, 1998
2. Genesereth, M. R.; Nilsson, N. J. Logical Foundations of Artificial Intelligence. Palo Alto, Morgan Kaufmann Publishers, 1987.
3. Gersting, Judith L. Fundamentos Matemáticos para a Ciência da Computação, 3ª Edição, LTC Editora, 1995.
4. Huth, M. R. A; Ryan, M. D. Logic in Computer Science: Modelling and Reasoning about systems. Cambridge University Press, 2000.
5. Mendelson, B. Introduction to Mathematical Logic. Princeton, NJ, Van Nostrand, 1964.
6. Mortari, C. A. Introdução à Lógica. Ed. UNESP, 2001.
7. Nolt, J.; Rohatyn, D. Lógica. Coleção Schaum, Mcgraw-Hill, Inc., 1991.
8. Costa, M. M. C. Introdução à Lógica Modal Aplicada à Computação. Porto Alegre, II-UFRGS, Escola de Computação, 1992.

Contatos

	zorzo@inf.pucrs.br
	Avelino F. Zorzo Faculdade de Informática - PUCRS Av. Ipiranga, 6681 - Prédio 16, Sala 106.15 90619-900 - Porto Alegre - RS - Brazil
	(0xx51) 3320 3611
	(0xx51) 3320 3621