LÓGICA PARA COMPUTAÇÃO Engenharia de Computação Professor: Rosalvo Ferreira de Oliveira Neto
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) rosalvo.oliveira@univasf.edu.br www.univasf.edu.br/~rosalvo.oliveira Univasf Engenharia de Computação - LÓGICA PARA COMPUTAÇÃO - Prof.: Rosalvo Neto 3
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
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
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
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
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, 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. Univasf Engenharia de Computação - LÓGICA PARA COMPUTAÇÃO - Prof.: Rosalvo Neto 8
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/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 Univasf Engenharia de Computação - LÓGICA PARA COMPUTAÇÃO - Prof.: Rosalvo Neto 9
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
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
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
Dúvidas
Introdução à lógica Lógica para computação Professor: Rosalvo Ferreira de Oliveira Neto
1. Definições 2. História 3. Relações Estrutura Univasf Engenharia de Computação - LÓGICA PARA COMPUTAÇÃO - Prof.: Rosalvo Neto
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
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
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
Definições História Relações Univasf Engenharia de Computação - LÓGICA PARA COMPUTAÇÃO - Prof.: Rosalvo Neto 19
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