| dia | sem. | tipo | descrição |
|---|---|---|---|
| 26 | ter | teoria |
Apresentação da disciplina |
| 28 | qui | teoria |
Sintaxe e semântica (1/2) |
| dia | sem. | tipo | descrição |
|---|---|---|---|
| 02 | ter | teoria |
Sintaxe e semântica (2/2) |
| 04 | qui | teoria |
Sistemas de linguagens (1/2) |
| 09 | ter | teoria |
Sistemas de linguagens (2/2) |
| 11 | qui | teoria |
Programação funcional: SML básico (1/2) |
| 16 | ter | teoria |
Programação funcional: SML básico (2/2) |
| 18 | qui | teoria |
Tipos (1/2) |
| 23 | ter | teoria |
Tipos (2/2) |
| 25 | qui | teoria |
Polimorfismo |
| 30 | ter | teoria |
Escopo |
| dia | sem. | tipo | descrição |
|---|---|---|---|
| 02 | qui | teoria |
Programação funcional: SML avançado (1/2) |
| 07 | ter | teoria |
Programação funcional: SML avançado (2/2) |
| 09 | qui | teoria |
Cálculo-λ (1/2) |
| 14 | ter | teoria |
Cálculo-λ (2/2) |
| 16 | qui | exercício |
Resolução de exercícios |
| 21 | ter | prova |
Prova 1 |
| 23 | qui | teoria |
Localização de variáveis |
| 28 | ter | teoria |
Orientação a objetos (1/2) |
| 30 | qui | teoria |
Orientação a objetos (2/2) |
| dia | sem. | tipo | descrição |
|---|---|---|---|
| 04 | ter | teoria |
Tratamento de exceções (1/2) |
| 06 | qui | teoria |
Tratamento de exceções (2/2) |
| 11 | ter | teoria |
Parâmetros (1/2) |
| 13 | qui | teoria |
Parâmetros (2/2) |
| 18 | ter | teoria |
Programação lógica: Prolog (1/2) |
| 20 | qui | feriado |
Feriado nacional: Dia da Consciência Negra |
| 25 | ter | teoria |
Programação lógica: Prolog (2/2) |
| 27 | qui | teoria |
Programação concorrente (1/2) |
| dia | sem. | tipo | descrição |
|---|---|---|---|
| 02 | ter | teoria |
Programação concorrente (2/2) |
| 04 | qui | teoria |
Modelos de custo (1/2) |
| 09 | ter | teoria |
Modelos de custo (2/2) |
| 11 | qui | teoria |
Semântica formal |
| 16 | ter | exercício |
Resolução de exercícios |
| 18 | qui | prova |
Prova 2 |
| 23 | ter | feriado |
Recesso escolar: Natal e Ano Novo |
| 25 | qui | feriado |
Recesso escolar: Natal e Ano Novo |
| 30 | ter | feriado |
Recesso escolar: Natal e Ano Novo |
| dia | sem. | tipo | descrição |
|---|---|---|---|
| 01 | qui | feriado |
Feriado nacional: Ano Novo |
| 06 | ter | prova |
Prova suplementar |
| 08 | qui | prova |
Prova especial |