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.
- Docente: Carlos Eduardo Leão Elmadjian
- Docente: Carlos Hitoshi Morimoto
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.
- Docente: Renata Wassermann