Universidade Federal do ABC Rua Santa Adélia, 166

Universidade Federal do ABC
Rua Santa Adélia, 166 - Bairro Bangu - Santo
André - SP - Brasil
CEP 09.210-170 - Telefone/Fax: +55 11 49963166
1. CÓDIGO E NOME DA DISCIPLINA
BC1426 - LÓGICA BÁSICA
2.
DISCIPLINA
(RECOMENDAÇÃO)
REQUISITO 3. INDICAÇÃO DE CONJUNTO (BCC)
Obrigatória
4. CURSO
BACHARELADO EM CIÊNCIA DA
COMPUTAÇÃO
6. QUADRIMESTRE IDEAL
6
5. CRÉDITOS
T P I: 4-0-4
7. NÍVEL
Graduação
8. Nº. MÁXIMO DE ALUNOS POR TURMA
TEORIA: 60
LABORATÓRIO: 30
9. OBJETIVOS
–
Apresentar conceitos e teoremas de lógica de primeira ordem clássica, seus e usos.
–
Apresentar diferentes métodos de prova para lógica proposicional, de forma que o aluno
possa trabalhar com cálculo proposicional.
–
Apresentar conceitos e elementos da lógica de primeira ordem
–
Apresentar conceitos e elementos básicos da linguagem Prolog.
–
Apresentar o Paradigma de programação em Lógica
10. COMPETÊNCIAS
A disciplina deverá permitir o aluno ser capaz de:
-Compreender os fundamentos da lógica proposicional clássica e da lógica de predicados;
-Compreender diferentes métodos de validação de teoremas e programas.
-Fazer uso do cálculo proposicional de métodos de prova
-Desenvolver sistemas baseados no paradigma de programação em lógica.
11. PROGRAMA RESUMIDO (EMENTA)
Conceitos básicos e elementos de lógica proposicional, regras de inferência, “fórmulas bem
formadas”, métodos de prova, lógica de predicados de primeira ordem, sintaxe e semântica de
Prolog e Sistemas Especialista.
12. PROGRAMA
1. Lógica e Cálculo Proposicional
1.1. Aspectos históricos de lógica
1.2. Conceitos básicos: proposição, teorema, Tautologia, Contradição
1.3. Manipulação tabela verdade
1.4. Lógica proposicional: semântica e sintaxe
1.5. wwwf's
1.6. Métodos de prova: direta, por contradição e por resolução
1.7. Simplificação de wwf's
2. Cálculo de predicados de primeira ordem
2.1. Linguagem de primeira ordem (variável, quantificador, predicado, fórmula)
2.2. Igualdade
2.3. Definição recursiva e indução finita
2.4. Dedução, conseqüência sintática e teorema
2.5. Noção de sistema axiomático
3. Programação em lógica
3.1. Paradigma de programação em lógica
3.2. Sintaxe e Semântica do Prolog
3.3. Recursos do Prolog
3.4. Backtracking
3.5. Sistemas especialistas
13. MÉTODOS UTILIZADOS
A teoria e os métodos da disciplina são apresentados através de aulas expositivas, intercaladas
com aulas de exercícios e com aulas práticas no laboratório de informática.
14. ATIVIDADES DISCENTES
Aulas teóricas expositivas, exercícios e trabalhos extraclasse (em grupo ou individual), aulas
práticas no laboratório, pesquisa bibliográfica, seminários e debates, atividades de avaliação
propostas.
15. CARGA HORÁRIA
AULAS TEÓRICAS: 24hs
PRÁTICAS: 24hs
TOTAL: 48hs
RECOMENDADO PARA DEDICAÇÃO INDIVIDUAL:
04hs/semana
16. CRITÉRIOS DE AVALIAÇÃO DE APRENDIZAGEM
O conceito será composto da seguinte forma: 70% do aproveitamento correspondendo às
provas escritas e 30% correspondendo às demais atividades (lista de exercícios, exercíciosprogramas e projeto de sistema especialista).
17. NORMAS DE RECUPERAÇÃO (CRITÉRIOS DE APROVAÇÃO E ÉPOCAS DE
REALIZAÇÃO DAS PROVAS OU TRABALHOS)
As notas serão atribuídas segundo os conceitos estabelecidos pela UFABC. A aprovação se
dará mediante obtenção de conceitos A, B, C, ou D. Será aplicado uma prova substitutiva no
final do trimestre como possibilidade de recuperação na disciplina.
18. BIBLIOGRAFIA RECOMENDADA
BIBLIOGRAFIA BÁSICA:
1.
SCHINERMAN, E. Matemática Discreta: uma introdução, 2 ed., São Paulo:
Cenage leraning, 2011. 573 p
2. GERSTIG J.L., Fundamentos matemáticos para Ciência da Computação : Um
Tratamento de Matemática Discreta, LTC, 5a edição, 2004.
3. MORTARI, C. Introdução à Lógica, Editora Unesp, 2001.
BIBLIOGRAFIA COMPLEMENTAR:
1.
BITTENCOURT, G. Inteligência Artificial: Ferramentas e teorias, UFSC, 3a.
Edição, 2006
2.
RUSSEL, S., NORVIG, P., Artificial Intelligence: A modern Approach, 2nd ed
Prentice Hall, 2003.
3.
FITTING M., MENDELSOHN, R. L., First-Order Modal Logic, Klumer, 1998.
4.
CARNIELLI, W. & EPSTEIN, R. L. Computabilidade: funções computáveis, lógica
e os fundamentos da matemática. São Paulo, Unesp / Fapesp, 2006.
5.
COSTA, N. A., Ensaio sobre os Fundamentos da Lógica, São Paulo, Hucitec,
1980.
19. PLANO SUGERIDO PARA AS AULAS
Aula 01: Apresentação da disciplina.
Aula 02: Introdução e Conceitos básicos.
Aula 03: Manipulação de tabelas verdades
Aula 04: Prova usando Tabela Verdade
Aula 05: Lógica proposicional: semântica e sintaxe
Aula 6: “Fórmula bem formadas”
Aula 7: Regras de Inferência
Aula 8: Prova direta
Aula 9 : Prova direta
Aula 10: Resolução de Exrecícios
Aula 11: Prova por contradição
Aula 12: Prova por resolução
Aula 13: Prova por resolução/ Simplificações de wwf's
Aula 14: Primeira Avaliação teórica
Aula 15: Linguagem de primeira ordem
Aula 16: Igualdade, definição recursiva e indução finita
Aula 17: Dedução, conseqüência sintática, teorema e noção de sistema axiomático
Aula 18: Paradigma de programação em lógica
Aula 19: Sintaxe e Semântica do Prolog
Aula 20: Recursos do Prolog
Aula 21: Backtracking
Aula 22: Sistemas especialistas
Aula 23: Segunda Avaliação Teórica
Aula 24: Apresentação do projeto em Prolog
20. PROFESSOR(A) RESPONSÁVEL
Luis Paulo Scott