| Paradigmas de Programação |
2 Semanas |
3 horas/semana |
Programação Funcional; Cálculo Lambda; Haskell; Monads. |
Estrutura de Dados |
- |
| Exercícios de Paradigmas de Programação |
- |
- |
Exercícios do curso. |
Estrutura de Dados |
- |
| Compiladores |
2 Semanas |
3 horas/semana |
Lexers; Parsers; AST; Generators. |
Teoria dos Grafos |
Aho, A.V., Sethi, R. e Ullman, J.D. Compiladores – Princípios, Técnicas e Ferramentas. |
| Gerência da Qualidade de Software |
2 Semanas |
3 horas/semana |
Testes; Estimativas; Processos. |
- |
- |
| Fundamentos da Inteligência Artificial |
2 Semanas |
3 horas/semana |
Regressão Linear; Gradientes; Redes Neurais; Perceptons. |
Estrutura de Dados, Estatística e Probabilidade |
Russel, S. e Norvig, P. Inteligência Artificial. |
| Metodologia da Pesquisa em Computação |
8 Semanas |
5 horas/semana |
Pesquisa; Artigos; Métodos; Publicação. |
- |
- |