Conceitos de Linguagens de Programação

Sintaxe e Semântica
Análise Léxica (Implementação)
Análise Sintática (Implementação)
Nomes, Vinculações, Escopos e Tipos de Dados
Programação Lógica (Prolog)
Programação Funcional (Haskell)

Padrões de Projeto de Software em Java

Orientação à Objetos
Análise e Projeto Orientados por Objetos
Padrões de Projeto GRASP
Padrões de Projeto GoF
Padrões GoF (Singleton e Iterator)
Padrões GoF (Factory Method e Abstract Factory)
Padrões GoF (Command e Template Method)
Padrões GoF (Observer e Builder)
Padrões GoF (Adapter e Composite)
Padrões GoF (Prototype e Façade)
Padrões GoF (Bridge e Decorator)
Padrões GoF (State e Strategy)
Padrões GoF (Proxy e Flyweight)
Padrões GoF (Mediator e Memento)