Ensino
Esta disciplina é uma introdução aos modelos de computação, computabilidade e complexidade. Ela tenta apresentar uma visão da ciência da computação para além dos computadores. Isto é, a ciência da computação como um conjunto de ferramentas matemáticas para entender sistemas complexos.
Disciplina voltada para a complementação da formação em tópicos de fundamentos da computação para alunas do programa de mestrado oriundos de áreas afins à computação.
Teoria dos autômatos é o estudo das máquinas abstratas ou autômatos, bem como problemas computacionais que podem ser resolvidos usando esses objetos.
Esta disciplina apresenta aos alunos o design e a implementação de estruturas de dados e algoritmos fundamentais. A disciplina abrange estruturas de dados básicas, algoritmos de buscae ordenação, análise básica de algoritmos.