CTC-21 Lógica Matemática e Estruturas Discretas

Informações Gerais

Requisito recomendado: não há.
Requisito exigido: não há.
Horas semanais: 3-0-3.

Organização dos Arquivos de Aula

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

[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

[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