lÓgica para computaÇÃoseminário 22/01/2015 & 27/01/2015 2º chamada acumulativa 29/01/2015...

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)

• [email protected]

• www.univasf.edu.br/~rosalvo.oliveira

Univasf – Engenharia de Computação - LÓGICA PARA COMPUTAÇÃO - Prof.: Rosalvo Neto

Apresentação Conteúdo

Programático Referência

bibliográfica Avaliações

3

mailto:[email protected]

http://www.univasf.edu.br/~rosalvo.oliveira

Minhas linhas de pesquisa

• Inteligência Artificial

• Redes Neurais

• Algoritmos Busca

• Credit Scoring

• Behavior Scoring

• Construções de Data Warehouse




Univasf – Engenharia de Computação - LÓGICA PARA COMPUTAÇÃO - Prof.: Rosalvo Neto 4

Horário da disciplina





Horários Seg Ter Qua Qui Sex

14:00 às 16:00

Sala 14

Sala 14

• 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





• 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





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.





NF = (MiniProva * 0,3 + AV1 * 0,7) + (Projeto * 0,2 + AV2 * 0,5 + Seminário * 0,3)

2

Datas Importantes





Avaliação Data

Mini prova 09/10/2014

1°- Prova 23/10/2014

2°- Prova 04/12/2014

Projeto 18/12/2014

Seminário 22/01/2015 & 27/01/2015

2º Chamada Acumulativa 29/01/2015

Prova Final 03/02/2015

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.




10 Univasf – 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 (2,5)

•Formatação e Organização do Trabalho (2,5)

•Qualidade Técnica da Apresentação (2,5)

•Clareza e domínio do tema por parte de todos os componentes do grupo (2,5)





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





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


O que é a Lógica?

•Estudo do raciocínio;

•Estudo do pensamento correto e verdadeiro;

•Regras para demonstração científica da verdade;

•Regras sobre o modo de expor o conhecimento;

•Regras para verificação da verdade ou falsidade de um pensamento.


Definições História Relações

17

O que é a Lógica?

Lógica é a análise de métodos de raciocínio.

Exemplos



17

Quais os objetivos da Lógica Computacional? •Proporcionar uma sólida fundamentação na formação sintaxe, semântica, e no sistema de dedução; •Capacidade de ler e escrever em literatura lógica simbólica e pode sentir o seu poder, tanto dedutivo e expressivo; •Conhecimento do assunto de lógica que se possa pensar e inferir, corretamente.



18



19

Algumas relações entre a Lógica e a Computação?



20

Lógica

Inteligência Artificial

Hardware Algoritmos

Counter Strike.jpg

Counter Strike.jpg

o_que_e_o_processador.jpg

algoritmos.jpg

lÓgica para computaÇÃoseminário 22/01/2015 & 27/01/2015 2º chamada acumulativa 29/01/2015...

Documents