Análise de algoritmos, custo computacional e técnicas para projeto de algoritmos, ...
Estruturas de dados lineares e não lineares: listas ligadas, árvores, matrizes esparsas, hash, ...
Gramáticas, linguagens e autômatos. Linguagens livres de contexto, linguagens recursivamente enumeráveis e sensíveis ao contexto...
Introdução à lógica, técnicas de demonstração, indução matemática, teoria de conjuntos, relações e funções, contagem...
Programação Linear, Método Simplex, Teoria da Dualidade, Soluções para o Problema de Transporte, ...
Introdução a grafos, isomorfismo, busca em grafos, menor caminho, fluxo máximo, emparelhamento, planaridade, problemas de coloração...