image002

Universidade Federal de Uberlândia
Faculdade de Computação

 

 

 


Luiz Gustavo Almeida Martins


Lógica para Computação:

·        Material sobre Lógica Proposicional

·        Plano de Curso

·        Exercícios complementares:

-       Lógica Proposicional:

1.    Conjunto completo de conectivos

2.    Formas normais

-       Lógica de Predicados:

1.    Sintaxe

·        Trabalho Final

·        NOTAS

·        Bibliografia:

o   Livro Texto:

1.      João Nunes de Souza, Lógica para Ciência da Computação: uma visão concisa, 2ª ed., editora Elsevier-Campus, 2008.

-       Resumo Livro – Principais Definições

-       Errata e algumas respostas de exercícios

o   Bibliografia Auxiliar:

1.    Guilherme Bittencourt, Inteligência Artificial: Ferramentas e Teorias, 3ª ed., editora da UFSC, 2006.

2.    Melvin Fitting, First-order Logic and Automated Theorem Proving, Springer Verlag, 1990.

3.    C. Chang, R. Lee, Symbolic Logic and Mechanical Theorem Proving, Academic Press, 1973.


 

 

 

 

 

 

 

 

 

 

 

 

 

 

Última atualização: 19/09/2015.