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