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 14:00 às 16:00 Sala 14 Sala 14 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,2 + AV2 * 0,5 + Seminário * 0,3) 2 Datas Importantes Avaliação Data Mini prova 09/10/ Prova 23/10/ 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 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 (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) 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 Modal; 2. Lógica Paraconsistente; 3. Lógica de Multivalores; 4. Lógica Temporal; 5. Agentes Inteligentes (baseados em lógica de primeira ordem); 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? 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. Univasf Engenharia de Computação - LÓGICA PARA COMPUTAÇÃO - Prof.: Rosalvo Neto 17

18 O que é a Lógica? Definições História Relações Lógica é a análise de métodos de raciocínio. Exemplos Univasf Engenharia de Computação - LÓGICA PARA COMPUTAÇÃO - Prof.: Rosalvo Neto 17

19 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

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

21 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

22