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 | holiday |
Recesso escolar: Dia do Servidor Público |
30 | thu | theory |
Orientação a objetos (1/2) |
day | week | type | description |
---|---|---|---|
04 | tue | theory |
Orientação a objetos (2/2) |
06 | thu | theory |
Tratamento de exceções (1/2) |
11 | tue | theory |
Tratamento de exceções (2/2) |
13 | thu | theory |
Parâmetros (1/2) |
18 | tue | theory |
Parâmetros (2/2) |
20 | thu | holiday |
Feriado nacional: Dia da Consciência Negra |
25 | tue | theory |
Programação lógica: Prolog (1/2) |
27 | thu | theory |
Programação lógica: Prolog (2/2) |
day | week | type | description |
---|---|---|---|
02 | tue | theory |
Programação concorrente (1/2) |
04 | thu | theory |
Programação concorrente (2/2) |
09 | tue | theory |
Modelos de custo |
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 |