DC-UFRPE/Bacharelado em Ciência da Computação/Lógica para Computação
Programa da Disciplina
[editar | editar código-fonte]| Nome: | Lógica Para Computação |
| Código: | 14721 |
| Departamento: | DEINFO |
| Área: | FUNDAMENTOS DA COMPUTAÇÃO |
| Carga-horária total: | 60 horas |
| Créditos: | 4 |
| Pré-requisitos: |
Ementa
[editar | editar código-fonte]Lógica aristotélica, argumentos, validade de argumentos. Álgebra de Boole. Lógica simbólica de Frege. Lógica proposicional: sintaxe, semântica, valoração verdade, tabela verdade, satisfatibilidade, consequência lógica, compaccidade. Métodos de prova: tableaux, método da resolução, dedução natural, cálculo de sequentes. Lógica de primeira ordem: estruturas, termos e fórmulas, fórmula prenex, Skolem, teorema de Herbrand, resolução, algoritmo de unificação.
Conteúdo Programático
[editar | editar código-fonte]- Lógica aristotélica
- Sintaxe da lógica proposicional
- Semântica da lógica proposicional
- Sistemas de prova
- Lógica de primeira ordem
Bibliografia
[editar | editar código-fonte]Básica
[editar | editar código-fonte]- . DE SOUZA, J. N. Lógica para ciência da computação. Rio de Janeiro: Campus, 2002.
- J DA SILVA, F. S. C.; FINGER, M.; DE MELO, A. C. V. Lógica para computação. Thomson, 2006.
- HUTH, M. R. A.; RYAN, M. D. Lógica em ciência da computação: modelagem e argumentação sobre sistemas. Rio de Janeiro: LTC, 2008.
- ALENCAR FILHO, E. Iniciação à lógica matemática. São Paulo: Nobel, 2002.
Complementar
[editar | editar código-fonte]- DALEN, D. van. Logic and structure. 4th ed. New York: Springer, 2004.
- CHANG, C.; LEE, R. Symbolic Logic and Mechanical Theorem Proving. Academic Press, 1973.
- GALLIER, J. H. Logic for computer science. John Wiley and Sons, 1987.
- LEWIS, H. R.; PAPADIMITRIOU, C. H. Elementos de Teoria da Computação. Bookman, 2004
- BARWISE, J.; ETCHEMENDY, J. Language, Proof and Logic. CSLI Publications, 2000.
- MARTINS, M. Lógica, uma aborgadem introdutória. Ciência Moderna, Rio de Janeiro, 2012.