MINISTÉRIO DA EDUCAÇÃO
UNIVERSIDADE FEDERAL DE SANTA CATARINA
CENTRO TECNOLÓGICO
DEPARTAMENTO DE INFORMÁTICA E ESTATÍSTICA
PROGRAMA DE ENSINO
1. Identificação
| Disciplina: | INE5658 - Lógica Simbólica II |
| Nível: | Graduação |
| Carga Horária: | 36 horas-aula (Teórica: 36) |
| Vigência: | De 2012-2 até a presente data |
2. Ementa
Tópicos em Lógica Quantificacional. Cálculo de seqüentes para a Lógica Equacional Clássica. Semântica para a Lógica Equacional Clássica. Cálculo de seqüentes para uma Lógica Descritiva. Semântica para a Lógica Descritiva.
3. Cursos Relacionados
- CIÊNCIAS DA COMPUTAÇÃO (208) - Currículos: 1996-1 (Optativa); 2007-1 (Optativa)
- SISTEMAS DE INFORMAÇÃO (noturno) (238) - Currículos: 2000-1 (Optativa); 2011-1 (Optativa)
4. Objetivos
4.1 Objetivo Geral:
Familiarizar os alunos com a lógica quantificacional, essencial para aplicações como web semântica e verificação de correção de programas.
4.2 Objetivos Específicos:
- Apresentar métodos de prova envolvendo quantificadores
- Capacitar a expressar idéias pelo uso da linguagem da lógica de primeira ordem
- Capacitar a organizar idéias e seus interrelacionamentos
5. Conteúdo Programático
- Motivações iniciais [2 horas-aula]
- Cálculo de Sequentes para a Lógica Quantificacional [10 horas-aula]
- Exemplos de prova para a Lógica Quantificacional [2 horas-aula]
- Semântica para a Lógica Quantificacional [4 horas-aula]
- Avaliação de argumentos em Lógica Quantificacional por métodos semânticos e pelo cálculo de sequentes [6 horas-aula]
- Representação do Conhecimento em Lógica Quantificacional [2 horas-aula]
- Automatização do Raciocínio [2 horas-aula]
- O Método dos Tablôs para a Lógica Quantificacional [2 horas-aula]
- Exemplos de avaliação de argumentos em Lógica Quantificacional por tablôs [6 horas-aula]
6. Bibliografia Básica
- ?Introduction to Logic?, de Harry J. Gensler, Routledge, 2ª Edição, 2010.
- ?The Power of Logic?, de C. Stephen Layman, 3ª Edição, McGraw-Hill, 2005.
- ?Introdução à Lógica?, de Cezar A. Mortari, UNESP, 2001.
- ?Lógica?, de John Nolt e Dennis Rohatyn, McGraw-Hill, 1991.
- ?Introdução à Lógica?, de Irving M. Copi, Editora Mestre Jou, 2ª edição, 1978.
- ?Lógica Geral?, de Arthur Buchsbaum, Notas de Aulas, de 2001 em diante.
7. Bibliografia Complementar
- ?A Concise Introduction to Mathematical Logic?, de Wolfgang Rautenberg, 3ª Edição, 2010 .
- ?Logic for Applications?, de Anil Nerode e Richard A. Shore, Springer, 2ª edição, 1997.
- ?A Course in Mathematical Logic?, de J. L. Bell & M. Machover, North-Holland, 1977.
- ?A Mathematical Introduction to Logic?, de Herbert B. Enderton, Academic Press, 1972.
- ?First-Order Logic?, de Raymond M. Smullyan, Dover, 1995.