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 16:00 às 17:00 11 11 17:00 às 18:00 11 11 Teoria Lista de Exercícios 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,3 + AV2 * 0,7) + Seminário 3 Datas Importantes Avaliação Data Mini prova 14/09/2011 1 - Prova 28/09/2011 2 - 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
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 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
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
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 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
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