Demonstração da coerência das metodologias com os objectivos

Esta UC integra as aulas teóricas com os exercícios propostos para discussão nas aulas TP, os quais são resolvidos via o uso das ferramentas fornecidas numa máquina virtual. As propriedades sistemáticas observadas em núcleos serão estudadas usando as ferramentas provistas.