Sumários
1ª Aula
13 Fevereiro 2017, 16:30 • João Marques Silva
A primeira aula apresentou a organização e funcionamento da UC Computação Declarativa. Foi também analisado um problema concreto, o subgrafo completo de maior dimensão, e a sua representação em lógica proposicional.