Sumários
AULA 16
15 Novembro 2016, 10:30 • Fernando Ferreira
Descrição do algoritmo de satisfação de Horn. Mais um exemplo.
Aula 16 - TP12
14 Novembro 2016, 12:00 • Maria da Purificação Antunes Coelho
Realização do segundo mini-teste.
Aula 15 - TP13
14 Novembro 2016, 08:00 • Maria da Purificação Antunes Coelho
Realização do segundo mini-teste.
AULA 15
11 Novembro 2016, 09:30 • Fernando Ferreira
Finalização da descrição das regras do sistema de Fitch para o bicondicional (equivalência material).