Diploma de Estudos Avançados em Engenharia Informática e de Computadores

Compreender o potencial do raciocínio automático no contexto da lógica computacional. Aprender como modelar e resolver um problema complexo usando lógica computacional.