Contorno da seção

    • 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).

    • 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.