LÓGICA PARA COMPUTAÇÃO

Transcrição

1

2 LÓGICA PARA COMPUTAÇÃO Engenharia de Computação Professor: Rosalvo Ferreira de Oliveira Neto

3 Apresentação Conteúdo Programático Referência bibliográfica Avaliações Dados pessoais Rosalvo Ferreira de Oliveira Neto MSc. em ciência da computação (UFPE) Univasf Engenharia de Computação - LÓGICA PARA COMPUTAÇÃO - Prof.: Rosalvo Neto 3

4 Apresentação Conteúdo Programático Referência bibliográfica Avaliações 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

5 Apresentação Conteúdo Programático Referência bibliográfica Avaliações Horário da disciplina Horários Seg Ter Qua Qui Sex 16:00 às 17: :00 às 18: Teoria Lista de Exercícios Univasf Engenharia de Computação - LÓGICA PARA COMPUTAÇÃO - Prof.: Rosalvo Neto 5

6 Apresentação Conteúdo Programático Referência bibliográfica Avaliações 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 Univasf Engenharia de Computação - LÓGICA PARA COMPUTAÇÃO - Prof.: Rosalvo Neto 6

7 Apresentação Conteúdo Programático Referência bibliográfica Avaliações 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 Univasf Engenharia de Computação - LÓGICA PARA COMPUTAÇÃO - Prof.: Rosalvo Neto 7

8 Apresentação Conteúdo Programático Referência bibliográfica Avaliações Bibliografia básica SOUZA, J.N. Lógica para Ciência da Computação. Elsevier, BARWISE J.; ETCHEMENDY, J. Language, Proof and Logic. CSLI, Bibliografia complementar SILVA, F.S.C.; FINGER, M.; MELO, A.C.V. Lógica para Computação. Cengage Learning, DALEN, D. Logic and Structure. 3 ed. Springer-Verlag, Univasf Engenharia de Computação - LÓGICA PARA COMPUTAÇÃO - Prof.: Rosalvo Neto 8

9 Apresentação Conteúdo Programático Referência bibliográfica Avaliações NF = (MiniProva * 0,3 + AV1 * 0,7) + (Projeto * 0,3 + AV2 * 0,7) + Seminário 3 Datas Importantes Avaliação Data Mini prova 14/09/ Prova 28/09/ 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 Univasf Engenharia de Computação - LÓGICA PARA COMPUTAÇÃO - Prof.: Rosalvo Neto 9

10 Apresentação Conteúdo Programático Referência bibliográfica Avaliações 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. Univasf Engenharia de Computação - INTRODUÇÃO À ENGENHARIA DA COMPUTAÇÃO - Prof.: Rosalvo Neto 10

11 Apresentação Conteúdo Programático Referência bibliográfica Avaliações 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 Univasf Engenharia de Computação - INTRODUÇÃO À ENGENHARIA DA COMPUTAÇÃO - Prof.: Rosalvo Neto 11

12 Apresentação Conteúdo Programático Referência bibliográfica Avaliações 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. Univasf Engenharia de Computação - INTRODUÇÃO À ENGENHARIA DA COMPUTAÇÃO - Prof.: Rosalvo Neto 12

13 Dúvidas

14

15 Introdução à lógica Lógica para computação Professor: Rosalvo Ferreira de Oliveira Neto

16 1. Definições 2. História 3. Relações Estrutura Univasf Engenharia de Computação - LÓGICA PARA COMPUTAÇÃO - Prof.: Rosalvo Neto

17 Definições História Relações O que é a Lógica Computacional? A Lógica Computacional é uma ferramenta imprescindível para o profissional da área Lógica Computacional da Ciência da Computação, pois permite elaborar especificações formais e formalizar linhas de raciocínio, desenho e descrição de sistemas inteligentes. Univasf Engenharia de Computação - LÓGICA PARA COMPUTAÇÃO - Prof.: Rosalvo Neto 17

18 Definições História Relações 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. Univasf Engenharia de Computação - LÓGICA PARA COMPUTAÇÃO - Prof.: Rosalvo Neto 18

19 Definições História Relações Univasf Engenharia de Computação - LÓGICA PARA COMPUTAÇÃO - Prof.: Rosalvo Neto 19

20 Definições História Relações Algumas relações entre a Lógica e a Computação? Inteligência Artificial Lógica Algoritmos Hardware Univasf Engenharia de Computação - LÓGICA PARA COMPUTAÇÃO - Prof.: Rosalvo Neto 20

21