Inteligência Artificial

Estratégias de busca com e sem informação, busca para jogos, meta-heurísticas para otimização, modelos gráficos probabilísticos e aprendizado de máquina.

Sistemas Operacionais

Conceitos de sistemas operacionais; Gerência de processos; Gerência de memória; Sistemas de arquivo; Gerência de dispositivos de entrada/saída; Problemática dos deadlocks.

Análise e Projeto de Sistemas I

Fundamentos de Sistemas: Conceitos e Componentes. Sistemas de Informação por Computador. Modelagem de Sistemas. Técnicas de Modelagem: Estruturada e Orientada a Objetos. Linguagem de Modelagem Unificada UML. Mapeamento OO para Entidade Relacionamento.

Autômatos e Linguagens Formais

Linguagens: Regulares, Livres de Contexto, Sensíveis ao Contexto, Irrestritas; Operações com linguagens; Propriedades das Linguagens; Lema do Bombeamento para linguagens regulares e para linguagens livres de contexto; Geradores de Linguagens: Expressões Regulares, Gramáticas Livres de Contexto; Reconhecedores: Autômatos Finitos Determinísticos, Autômatos Finitos Não Determinísticos, Autômatos de Pilha.