Tópico: Material de aula | Lógica para Computação | Moodle

Página inicial

Contorno da seção

- 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