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)

• rosalvo.oliveira@univasf.edu.br

• 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

14:00 às 16:00 Sala 13 Sala 13

• 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 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

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 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

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 á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

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