LÓGICA PARA COMPUTAÇÃO
Engenharia de Computação
Professor: Rosalvo Ferreira de Oliveira Neto
Dados pessoais
Rosalvo Ferreira de Oliveira Neto
• MSc. em ciência da computação (UFPE)
• www.univasf.edu.br/~rosalvo.oliveira
Univasf – Engenharia de Computação - LÓGICA PARA COMPUTAÇÃO - Prof.: Rosalvo Neto
ApresentaçãoConteúdo
ProgramáticoReferência
bibliográficaAvaliações
3
Minhas linhas de pesquisa
• Inteligência Artificial
• Redes Neurais
• Algoritmos Busca
• Credit Scoring
• Behavior Scoring
• Construções de Data Warehouse
ApresentaçãoConteúdo
ProgramáticoReferência
bibliográficaAvaliações
Univasf – Engenharia de Computação - LÓGICA PARA COMPUTAÇÃO - Prof.: Rosalvo Neto 4
Horário da disciplina
ApresentaçãoConteúdo
ProgramáticoReferência
bibliográficaAvaliações
Univasf – Engenharia de Computação - LÓGICA PARA COMPUTAÇÃO - Prof.: Rosalvo Neto 5
Horários Seg Ter Qua Qui Sex
16:00 às 17:00 11 11
17:00 às 18:00 11 11
Teoria
Lista de Exercícios
• Introdução a Lógica Computacional
• Lógica Proposicional
• Símbolos proposicionais• Sintaxe e semântica da lógica proposicional• Operadores lógicos• Tabela verdade• Fórmulas bem formadas• Tautologia e contradição• Inferência lógica• Métodos de prova• Tableaux semântico
ApresentaçãoConteúdo
ProgramáticoReferência
bibliográficaAvaliações
Univasf – Engenharia de Computação - LÓGICA PARA COMPUTAÇÃO - Prof.: Rosalvo Neto 6
• Lógica de Predicados
• Sintaxe e semântica da lógica de predicados• Interpretação de variáveis, funções e predicados
• Programação em Lógica
• Introdução à Programação em Lógica• Cláusulas de Horn• Programação em lógica com Prolog• Sintaxe e semântica de Prolog• Resolução de problemas em Prolog
• Representação do conhecimento• Lógica não clássica
ApresentaçãoConteúdo
ProgramáticoReferência
bibliográficaAvaliações
Univasf – Engenharia de Computação - LÓGICA PARA COMPUTAÇÃO - Prof.: Rosalvo Neto 7
Bibliografia básica
•SOUZA, J.N. Lógica para Ciência da Computação. Elsevier, 2002.
•BARWISE J.; ETCHEMENDY, J. Language, Proof and Logic. CSLI, 2000.
Bibliografia complementar
SILVA, F.S.C.; FINGER, M.; MELO, A.C.V. Lógica para Computação. Cengage Learning, 2006.
DALEN, D. Logic and Structure. 3 ed. Springer-Verlag, 1994.
ApresentaçãoConteúdo
ProgramáticoReferência
bibliográficaAvaliações
Univasf – Engenharia de Computação - LÓGICA PARA COMPUTAÇÃO - Prof.: Rosalvo Neto 8
NF = (MiniProva * 0,3 + AV1 * 0,7) + (Projeto * 0,3 + AV2 * 0,7) + Seminário
3
Datas Importantes
ApresentaçãoConteúdo
ProgramáticoReferência
bibliográficaAvaliações
Univasf – Engenharia de Computação - LÓGICA PARA COMPUTAÇÃO - Prof.: Rosalvo Neto 9
Avaliação Data
Mini prova 14/09/2011
1°- Prova 28/09/2011
2°- Prova 31/10/2011
Projeto 25/11/2011 *
Seminário 21, 23 e 28 de novembro
2º Chamada Acumulativa 30/11/2011
Prova Final 05/12/2011
Seminários:
•A nota corresponderá a um trabalho em grupo, que será apresentado à turma e ao professor da disciplina;
•Cada seminário será apresentado entre 30 e 40 minutos, e na seqüência tanto o professor quantos os demais alunos poderão fazer seus questionamentos;
•Não será permitido realizar reposição do seminário;
•O aluno que perder a apresentação de algum grupo de colegas será descontado de um (1,0) ponto para cada dia de apresentações que faltar.
ApresentaçãoConteúdo
ProgramáticoReferência
bibliográficaAvaliações
10Univasf – Engenharia de Computação - INTRODUÇÃO À ENGENHARIA DA COMPUTAÇÃO - Prof.: Rosalvo Neto
Critérios de avaliação do seminário
•Clareza da apresentação/conteúdo do trabalho
•Formatação e Organização do Trabalho
•Qualidade Técnica da Apresentação
•Clareza e domínio do tema por parte de todos os componentes do grupo
ApresentaçãoConteúdo
ProgramáticoReferência
bibliográficaAvaliações
11Univasf – Engenharia de Computação - INTRODUÇÃO À ENGENHARIA DA COMPUTAÇÃO - Prof.: Rosalvo Neto
Temas dos seminários:
1. Lógica Fuzzy;
2. Agentes Inteligentes (baseados em lógica de primeira ordem);
3. Lógica Paraconsistente;
4. Lógicas não clássicas;
5. Ontologias.
ApresentaçãoConteúdo
ProgramáticoReferência
bibliográficaAvaliações
12Univasf – Engenharia de Computação - INTRODUÇÃO À ENGENHARIA DA COMPUTAÇÃO - Prof.: Rosalvo Neto
Dúvidas
Introdução à lógica
Lógica para computação
Professor: Rosalvo Ferreira de Oliveira Neto
Estrutura
1. Definições
2. História
3. Relações
Univasf – Engenharia de Computação - LÓGICA PARA COMPUTAÇÃO - Prof.: Rosalvo Neto
O que é a Lógica Computacional?
A Lógica Computacional é uma ferramentaimprescindível para o profissional da áreaLógica Computacional da Ciência daComputação, pois permite elaborarespecificações formais e formalizar linhas deraciocínio, desenho e descrição de sistemasinteligentes.
Univasf – Engenharia de Computação - LÓGICA PARA COMPUTAÇÃO - Prof.: Rosalvo Neto
Definições História Relações
17
Quais os objetivos da Lógica Computacional?
•Proporcionar uma sólida fundamentação na formaçãosintaxe, semântica, e no sistema de dedução;
•Capacidade de ler e escrever em literatura lógicasimbólica e pode sentir o seu poder, tanto dedutivo eexpressivo;
•Conhecimento do assunto de lógica que se possa pensare inferir, corretamente.
Univasf – Engenharia de Computação - LÓGICA PARA COMPUTAÇÃO - Prof.: Rosalvo Neto
Definições História Relações
18
Univasf – Engenharia de Computação - LÓGICA PARA COMPUTAÇÃO - Prof.: Rosalvo Neto
Definições História Relações
19
Algumas relações entre a Lógica e a Computação?
Univasf – Engenharia de Computação - LÓGICA PARA COMPUTAÇÃO - Prof.: Rosalvo Neto
Definições História Relações
20
Lógica
Inteligência Artificial
HardwareAlgoritmos