UNIVERSIDADE FEDERAL DE SERGIPE

CENTRO DE CINCIAS EXATAS E TECNOLOGIA

DEPARTAMENTO DE COMPUTAO
PLAN O D E E N S I N O
DISCIPLINA Lgica para Computao
Cdigo: 103403
N. de Crditos: 04 PEL: 2.02.0
Carga Horria: 60 Perodo: 2009/2
Turma: A0
PROFESSOR - Maria Augusta Silveira Netto Nunes
1. EMENTA
Lgica Clssica, sintaxe, semntica, o mtodo axiomtico, o mtodo dedutivo.
Lgica sentencial e de Primeira ordem. Sistemas Dedutivvos: Deducao Natural; Tableaux; Resoluo ,
Correo Completude dos sistemas formais.
Exemplos de lgicas no clssicas e aplicacoes para computao.

2. OBJETIVOS
- Introduzir os conceitos de Lgica para computao.
- Contextualizar a rea de lgica em CC.
3. CONTEDO (Por aula de 2 horas)
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
22.
23.
24.
25.
26.
27.
28.
29.
30.
31.
32.

Apresentao do professor e sua rea de pesquisa. Contextualizao da Lgica para Computao

no trabalho de pesquisa do professor.
Proposies e conectivos. Exercicios.
Operaes Lgicas sobre proposies. Exercicios. Construo de Tabelas-Verdade.Exerccios.
Tautologias, contradies e Contigncias. Implicao Lgica. Exerccios.
Equivalncia Lgica. Exerccios. lgebra das Proposies. Exerccios.
Mtodo Dedutivo. Exerccios.
Argumentos, Regras de inferncia. Exerccios.
Validade Mediante Tabelas-Verdade. Exerccios.
Validade Mediante Regras de inferncia. Exerccios.
Exerccios.
Validade Mediante Regras de Inferncia e Equivalncias. Exerccios.
Demosntrao Condicional e Demonstrao Indireta. Exercicios
Esclarecimento de Dvidas.
PROVA 1.
Lgica de Predicados: sintaxe e semntica.
Lgica de Predicados: sistema de deduo - Mtodo de Resoluo.
Lgica de Predicados: sistemas de deduo - Mtodo de Resoluo (Resoluo de exerccios)
Lgica de Predicados: sistemas de deduo - Mtodo de Tableau .
Lgica de Predicados: sistemas de deduo - Mtodo de Tableau/Resoluo
Lgica de Predicados: sistemas de deduo - Mtodo de Tableau/
Programao em Lgica: Clusulas de Horn - Exemplo Prolog: "Alice no Pas das Maravilhas".
PROVA 2
Programao em Lgica: Introduo ao Prolog
Programao em Lgica:
Programao em Lgica: Prolog
Lgicas no clssicas: Lgica Modal (pdf)
Programao em Lgica: Prolog: Controle e Estrutura de dados (pdf)
Lgicas no clssicas: Lgica multivalores (pdf)
Lgicas no clssicas: Lgica temporal (pdf)
Lgicas no clssicas: Lgica no monotnica (pdf)
PROVA 3
Entrega de notas

4. AVALIAO (tipos e instrumentos)

A avaliao ser feita por meio de 2 ou 3 provas (o nmero de provas depende do andamento da
turma)
PROVA 1 + PROVA 2 + PROVA 3 = NOTA FINAL
A presena em aula considerada no momento de fechamento das notas.

5. BIBLIOGRAFIA
ALENCAR FILHO, Edgard de, Iniciao Lgica Matemtica. 8.ed. So Paulo: Ed. Nobel, 1976.
Srates, Jonofon. Raciocnio Lgico. 8 ed Braslia: Editora Jonofon LTDA, 1998.
Bibliografia complementar
1. Huth, M. R. A; Ryan, M. D. Logic in Computer Science: Modelling and Reasoning about systems.
Cambridge University Press, 2000.
2. Souza, J.N. Lgica para Cincia da Computao. Campus, 2002.
1. Gabbay, D. M. Elementary Logics: a Procedural Perspective. Prentice-Hall, 1998
2. Genesereth, M. R.; Nilsson, N. J. Logical Foundations of Artificial Intelligence. Palo Alto, Morgan
Kaufmann Publishers, 1987.
3. Gersting, Judith L. Fundamentos Matemticos para a Cincia da Computao, 3 Edio, LTC
Editora, 1995.
4. Huth, M. R. A; Ryan, M. D. Logic in Computer Science: Modelling and Reasoning about systems.
Cambridge University Press, 2000.
5. Mendelson, B. Introduction to Mathematical Logic. Princeton, NJ, Van Nostrand, 1964.
6. Mortari, C. A. Introduo Lgica. Ed. UNESP, 2001.
7. Nolt, J.; Rohatyn, D. Lgica. Coleo Schaum, Mcgraw-Hill, Inc., 1991.
8. Costa, M. M. C. Introduo Lgica Modal Aplicada Computao. Porto Alegre, II-UFRGS,
Escola de Computao, 1992.

6. OBSERVAES
As listas de exerccios devem ser resolvidas na cs do aluno. Caso existam duvidas as mesmas podem
ser esclarecidadas no incio de cada aula.

Campus, 04 de agosto de 2009.

________________________
Maria Augusta S. N . Nunes
Professor