Embedded Files
Informações Gerais
Informações Gerais
Requisito recomendado: não há.
Requisito exigido: não há.
Horas semanais: 3-0-3.
Organização dos Arquivos de Aula
Organização dos Arquivos de Aula
Aulas Gravadas
Descrição da Matéria
Descrição da Matéria
Introdução à lógica. Cálculo Proposicional: teoria de modelos e teoria de provas. Consequências válidas. Consistência e completeza. Cálculo de predicados: quantificadores, tabelas de verdade, resultados sobre validade. Teoria de prova no cálculo de predicados. Métodos automáticos de prova no cálculo de predicados. Prova formal de programas. Grafos de refutação e de extração de respostas. Resultados sobre deducibilidade. Cálculo de predicados com igualdade e com funções. Linguagem de programação em lógica (PROLOG).
Bibliografia
Bibliografia
[01] - Franco de Oliveira, A. J. Lógica e Aritmética. Brasília: Editora UnB, 2004.
[02] - Russell, S.; Norvig, P. Artificial Intelligence A Modern Approach. Second Edition, New Jersey: Pearson Education, 2003.
[03] - Hegenberg, L. Lógica Cálculo Sentencial. 2. ed., São Paulo: E.P.U. - Editora Pedagógica e Universitária, 1977.
[04] - Stolyar, A. A. Introduction to Elementary Mathematical Logic. New York: Dover Publications, Inc., 1970.
[05] - Nagel, E.; Newman, J. R. A Prova de Gödel. 2.a ed., São Paulo, SP: Editora Perspectiva S. A., 2001.
Bibliografia Auxiliar
Bibliografia Auxiliar
[01] - Church, A. Introduction to Mathematical Logic. V. 1, Princeton: Princeton University Press, 1956.
[02] - Gödel, K. On Formally Undecidable Propositions of Principia Mathematica and Related Systems. New York: Dover Publications, Inc., 1992.
[03] - Kneale, W., Kneale, M. O desenvolvimento da lógica. 3 ed. Coimbra: Fundação Calouste Gulbenkian, 1991.
[04] - Margaris, Angelo. First order mathematical logic. NY: Dover Publications, Inc., 1990.
[05] - Mortari, Cezar A. Introdução à lógica. SP: Edunesp, 2001.
[06] - Newton-Smith, W. H. Lógica: Um curso introdutório. Lisboa: Gradiva, 2005.
Page updated
Google Sites
Report abuse