Ciência da Computação
Fornecer aos alunos conhecimento técnico e experiência prática com os aspectos fundamentais de projeto, +implementação e avaliação de interfaces. Em particular, serão apresentadas técnicas de desenvolvimento de +interfaces centradas no usuário, que possam garantir uma melhor usabilidade e experiência do usuário.
Estudar os diversos métodos computacionais para os seguintes problemas: (a) Prova Automática de Teoremas em lógicas clássicas e não clássicas; (b) Satisfação de fórmulas em lógicas clássicas e não clássicas; (x) Verificação de Modelos (model checking) em lógicas modais e temporais.