lÓgica para computaÇÃorosalvo.oliveira/disciplinas/2012_2/logica/aulas/... · • algoritmos...
TRANSCRIPT
![Page 1: LÓGICA PARA COMPUTAÇÃOrosalvo.oliveira/Disciplinas/2012_2/Logica/aulas/... · • Algoritmos Busca • Credit Scoring • Behavior Scoring • Construções de Data Warehouse Apresentação](https://reader033.vdocuments.mx/reader033/viewer/2022041414/5e1a473a500a9d3a05399df7/html5/thumbnails/1.jpg)
![Page 2: LÓGICA PARA COMPUTAÇÃOrosalvo.oliveira/Disciplinas/2012_2/Logica/aulas/... · • Algoritmos Busca • Credit Scoring • Behavior Scoring • Construções de Data Warehouse Apresentação](https://reader033.vdocuments.mx/reader033/viewer/2022041414/5e1a473a500a9d3a05399df7/html5/thumbnails/2.jpg)
LÓGICA PARA COMPUTAÇÃO
Engenharia de Computação
Professor: Rosalvo Ferreira de Oliveira Neto
![Page 3: LÓGICA PARA COMPUTAÇÃOrosalvo.oliveira/Disciplinas/2012_2/Logica/aulas/... · • Algoritmos Busca • Credit Scoring • Behavior Scoring • Construções de Data Warehouse Apresentação](https://reader033.vdocuments.mx/reader033/viewer/2022041414/5e1a473a500a9d3a05399df7/html5/thumbnails/3.jpg)
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
![Page 4: LÓGICA PARA COMPUTAÇÃOrosalvo.oliveira/Disciplinas/2012_2/Logica/aulas/... · • Algoritmos Busca • Credit Scoring • Behavior Scoring • Construções de Data Warehouse Apresentação](https://reader033.vdocuments.mx/reader033/viewer/2022041414/5e1a473a500a9d3a05399df7/html5/thumbnails/4.jpg)
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
![Page 5: LÓGICA PARA COMPUTAÇÃOrosalvo.oliveira/Disciplinas/2012_2/Logica/aulas/... · • Algoritmos Busca • Credit Scoring • Behavior Scoring • Construções de Data Warehouse Apresentação](https://reader033.vdocuments.mx/reader033/viewer/2022041414/5e1a473a500a9d3a05399df7/html5/thumbnails/5.jpg)
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
14:00 às 16:00 Sala 13 Sala 13
![Page 6: LÓGICA PARA COMPUTAÇÃOrosalvo.oliveira/Disciplinas/2012_2/Logica/aulas/... · • Algoritmos Busca • Credit Scoring • Behavior Scoring • Construções de Data Warehouse Apresentação](https://reader033.vdocuments.mx/reader033/viewer/2022041414/5e1a473a500a9d3a05399df7/html5/thumbnails/6.jpg)
• 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
![Page 7: LÓGICA PARA COMPUTAÇÃOrosalvo.oliveira/Disciplinas/2012_2/Logica/aulas/... · • Algoritmos Busca • Credit Scoring • Behavior Scoring • Construções de Data Warehouse Apresentação](https://reader033.vdocuments.mx/reader033/viewer/2022041414/5e1a473a500a9d3a05399df7/html5/thumbnails/7.jpg)
• 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
![Page 8: LÓGICA PARA COMPUTAÇÃOrosalvo.oliveira/Disciplinas/2012_2/Logica/aulas/... · • Algoritmos Busca • Credit Scoring • Behavior Scoring • Construções de Data Warehouse Apresentação](https://reader033.vdocuments.mx/reader033/viewer/2022041414/5e1a473a500a9d3a05399df7/html5/thumbnails/8.jpg)
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
![Page 9: LÓGICA PARA COMPUTAÇÃOrosalvo.oliveira/Disciplinas/2012_2/Logica/aulas/... · • Algoritmos Busca • Credit Scoring • Behavior Scoring • Construções de Data Warehouse Apresentação](https://reader033.vdocuments.mx/reader033/viewer/2022041414/5e1a473a500a9d3a05399df7/html5/thumbnails/9.jpg)
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 21/01/2013
1°- Prova 04/02/2013
2°- Prova 20/03/2013
Seminário 03/04/2013 e 08/04/2013
Projeto 10/04/2013 e 15/04/2013
2º Chamada Acumulativa 17/04/2013
Prova Final 22/04/2013
![Page 10: LÓGICA PARA COMPUTAÇÃOrosalvo.oliveira/Disciplinas/2012_2/Logica/aulas/... · • Algoritmos Busca • Credit Scoring • Behavior Scoring • Construções de Data Warehouse Apresentação](https://reader033.vdocuments.mx/reader033/viewer/2022041414/5e1a473a500a9d3a05399df7/html5/thumbnails/10.jpg)
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
![Page 11: LÓGICA PARA COMPUTAÇÃOrosalvo.oliveira/Disciplinas/2012_2/Logica/aulas/... · • Algoritmos Busca • Credit Scoring • Behavior Scoring • Construções de Data Warehouse Apresentação](https://reader033.vdocuments.mx/reader033/viewer/2022041414/5e1a473a500a9d3a05399df7/html5/thumbnails/11.jpg)
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
![Page 12: LÓGICA PARA COMPUTAÇÃOrosalvo.oliveira/Disciplinas/2012_2/Logica/aulas/... · • Algoritmos Busca • Credit Scoring • Behavior Scoring • Construções de Data Warehouse Apresentação](https://reader033.vdocuments.mx/reader033/viewer/2022041414/5e1a473a500a9d3a05399df7/html5/thumbnails/12.jpg)
Temas dos seminários:
1. Lógica Modal;
2. Lógica Paraconsistente;
3. Lógica de Multivalores;
4. Lógica Temporal;
5. Agentes Inteligentes (baseados em lógica de primeira ordem);
ApresentaçãoConteúdo
ProgramáticoReferência
bibliográficaAvaliações
12Univasf – Engenharia de Computação - INTRODUÇÃO À ENGENHARIA DA COMPUTAÇÃO - Prof.: Rosalvo Neto
![Page 13: LÓGICA PARA COMPUTAÇÃOrosalvo.oliveira/Disciplinas/2012_2/Logica/aulas/... · • Algoritmos Busca • Credit Scoring • Behavior Scoring • Construções de Data Warehouse Apresentação](https://reader033.vdocuments.mx/reader033/viewer/2022041414/5e1a473a500a9d3a05399df7/html5/thumbnails/13.jpg)
Dúvidas
![Page 14: LÓGICA PARA COMPUTAÇÃOrosalvo.oliveira/Disciplinas/2012_2/Logica/aulas/... · • Algoritmos Busca • Credit Scoring • Behavior Scoring • Construções de Data Warehouse Apresentação](https://reader033.vdocuments.mx/reader033/viewer/2022041414/5e1a473a500a9d3a05399df7/html5/thumbnails/14.jpg)
![Page 15: LÓGICA PARA COMPUTAÇÃOrosalvo.oliveira/Disciplinas/2012_2/Logica/aulas/... · • Algoritmos Busca • Credit Scoring • Behavior Scoring • Construções de Data Warehouse Apresentação](https://reader033.vdocuments.mx/reader033/viewer/2022041414/5e1a473a500a9d3a05399df7/html5/thumbnails/15.jpg)
Introdução à lógica
Lógica para computação
Professor: Rosalvo Ferreira de Oliveira Neto
![Page 16: LÓGICA PARA COMPUTAÇÃOrosalvo.oliveira/Disciplinas/2012_2/Logica/aulas/... · • Algoritmos Busca • Credit Scoring • Behavior Scoring • Construções de Data Warehouse Apresentação](https://reader033.vdocuments.mx/reader033/viewer/2022041414/5e1a473a500a9d3a05399df7/html5/thumbnails/16.jpg)
Estrutura
1. Definições
2. História
3. Relações
Univasf – Engenharia de Computação - LÓGICA PARA COMPUTAÇÃO - Prof.: Rosalvo Neto
![Page 17: LÓGICA PARA COMPUTAÇÃOrosalvo.oliveira/Disciplinas/2012_2/Logica/aulas/... · • Algoritmos Busca • Credit Scoring • Behavior Scoring • Construções de Data Warehouse Apresentação](https://reader033.vdocuments.mx/reader033/viewer/2022041414/5e1a473a500a9d3a05399df7/html5/thumbnails/17.jpg)
O que é a Lógica Computacional?
A Lógica Computacional é uma ferramentaimprescindível para o profissional da área deComputaçã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
![Page 18: LÓGICA PARA COMPUTAÇÃOrosalvo.oliveira/Disciplinas/2012_2/Logica/aulas/... · • Algoritmos Busca • Credit Scoring • Behavior Scoring • Construções de Data Warehouse Apresentação](https://reader033.vdocuments.mx/reader033/viewer/2022041414/5e1a473a500a9d3a05399df7/html5/thumbnails/18.jpg)
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
![Page 19: LÓGICA PARA COMPUTAÇÃOrosalvo.oliveira/Disciplinas/2012_2/Logica/aulas/... · • Algoritmos Busca • Credit Scoring • Behavior Scoring • Construções de Data Warehouse Apresentação](https://reader033.vdocuments.mx/reader033/viewer/2022041414/5e1a473a500a9d3a05399df7/html5/thumbnails/19.jpg)
Univasf – Engenharia de Computação - LÓGICA PARA COMPUTAÇÃO - Prof.: Rosalvo Neto
Definições História Relações
19
![Page 20: LÓGICA PARA COMPUTAÇÃOrosalvo.oliveira/Disciplinas/2012_2/Logica/aulas/... · • Algoritmos Busca • Credit Scoring • Behavior Scoring • Construções de Data Warehouse Apresentação](https://reader033.vdocuments.mx/reader033/viewer/2022041414/5e1a473a500a9d3a05399df7/html5/thumbnails/20.jpg)
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
![Page 21: LÓGICA PARA COMPUTAÇÃOrosalvo.oliveira/Disciplinas/2012_2/Logica/aulas/... · • Algoritmos Busca • Credit Scoring • Behavior Scoring • Construções de Data Warehouse Apresentação](https://reader033.vdocuments.mx/reader033/viewer/2022041414/5e1a473a500a9d3a05399df7/html5/thumbnails/21.jpg)