Contorno da seção

• Selecionar seção Geral

  Geral

  Contrair tudo Expandir tudo

  Lógica para Computação

  • Selecionar atividade Plano de Ensino 2018

    

    Plano de Ensino 2018 Arquivo

    Planejamento da disciplina Lógica para Computação em 2018. O mesmo plano de ensino já se encontra disponível no Portal do Aluno, no sistema GURI (Gestão Unificada de Recursos Institucionais) da UNIPAMPA.

    O planejamento é uma forma de organização. Adaptações quase sempre são necessárias ao longo do semestre. Fique atento aos anúncios dados em aula e nesta plataforma.

  • Selecionar atividade Avisos, notícias e eventos

    

    Avisos, notícias e eventos Fórum

    Área destinada a aviso e notícias sobre a disciplina e seus conteúdos. Todos podem postar. 

  • Selecionar atividade Dúvidas, perguntas, respostas e discussões

    

    Dúvidas, perguntas, respostas e discussões Fórum

    Área para discussão sobre o conteúdos da disciplina. Todos podem perguntar. Todos podem responder.

  • Selecionar atividade Avisos

    

    Avisos Fórum
• Selecionar seção Material de aula

  Material de aula

  
  

  • Selecionar atividade Lógica proposicional

    

    Lógica proposicional Arquivo
  • Selecionar atividade Árvores de Refutação

    

    Árvores de Refutação Arquivo
  • Selecionar atividade Exercícios sobre lógica de primeira ordem

    

    Exercícios sobre lógica de primeira ordem Arquivo

    .

  • Selecionar atividade Programas em PROLOG feitos na aula do dia 10/11/2018

    

    Programas em PROLOG feitos na aula do dia 10/11/2018 Arquivo
• Selecionar seção Bibliografia

  Bibliografia

  Destaque

  
  

  Bibliografia básica e complementar da disciplina, disponível em pdf.

  • Selecionar atividade Logic in Computer Science

    

    Logic in Computer Science Arquivo

    HUTH, M.; RYAN, M. Logic in Computer Science - modeling and reasoning about systems. Cambridge University Press, 2004.

  • Selecionar atividade Lógica Matemática

    

    Lógica Matemática Arquivo

    FAJARDO, R. A. S. Lógica Matemática. IME-USP, 2015.

  • Selecionar atividade SWI-Prolog Reference Manual

    

    SWI-Prolog Reference Manual Arquivo

    Manual de referência para o SWI-Prolog (talvez não seja da última versão disponível). As últimas versões possuem manuais e tutoriais online na página http://www.swi-prolog.org.

  • Selecionar atividade SWI-Prolog Quick Start

    

    SWI-Prolog Quick Start Arquivo

    Manual de utilização rápida do software SWI-Prolog.

  • Selecionar atividade Apostila de PROLOG

    

    Apostila de PROLOG Arquivo

    Caros alunos, não tive tempo de escrever, mas achei essa apostila de PROLOG, que parece ser bem boazinha. Não se acanhem e procurem também.

• Selecionar seção Atividades teórico-práticas 2018

  Atividades teórico-práticas 2018

  • Selecionar atividade Formalização de sentenças na lógica proposicional.

    

    Formalização de sentenças na lógica proposicional. Tarefa

    A atividade a ser executada é a formalização de enunciados e argumentos, escritos em língua portuguesa, na linguagem da lógica proposicional. A execução e entrega do exercício valem presença na aula do dia 25/08/2018.

    O prazo para entrega é até o início da próxima aula (dia 29/08/2018, às 18h50min).

  • Selecionar atividade Programação em Lógica - PROLOG

    

    Programação em Lógica - PROLOG Tarefa

    Exercícios de programação em lógica com a linguagem PROLOG. Os dados de entrega e avaliação estão no arquivo em anexo.