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.