Objectivos
Mestrado Bolonha em Engenharia Informática e de Computadores - Alameda
Mestrado Bolonha em Matemática e Aplicações e Computação
Dominar resultados e técnicas chave para estabelecer a decidibilidade de teorias de primeira ordem.
Dominar resultados e técnicas chave para estabelecer a decidibilidade de teorias de primeira ordem.