day | week | type | description |
---|---|---|---|
27 | thu | theory |
Apresentação da disciplina |
day | week | type | description |
---|---|---|---|
01 | tue | theory |
Sintaxe e semântica (1/2) |
03 | thu | theory |
Sintaxe e semântica (2/2) |
08 | tue | theory |
Sistemas de linguagens (1/2) |
10 | thu | theory |
Sistemas de linguagens (2/2) |
15 | tue | theory |
Programação funcional: SML básico (1/2) |
17 | thu | holiday |
Recesso escolar: Paixão de Cristo |
22 | tue | theory |
Programação funcional: SML básico (2/2) |
24 | thu | theory |
Tipos |
29 | tue | theory |
Polimorfismo |
day | week | type | description |
---|---|---|---|
01 | thu | holiday |
Feriado nacional: Dia do Trabalhador |
06 | tue | theory |
Escopo |
08 | thu | theory |
Programação funcional: SML avançado (1/2) |
13 | tue | theory |
Programação funcional: SML avançado (2/2) |
15 | thu | theory |
Cálculo-λ (1/2) |
20 | tue | theory |
Cálculo-λ (2/2) |
22 | thu | exercise |
Resolução de exercícios |
27 | tue | exam |
Prova 1 |
29 | thu | theory |
Localização de variáveis |
day | week | type | description |
---|---|---|---|
03 | tue | theory |
Orientação a objetos |
05 | thu | theory |
Tratamento de exceções (1/2) |
10 | tue | theory |
Tratamento de exceções (2/2) |
12 | thu | theory |
Parâmetros |
17 | tue | theory |
Programação lógica: Prolog |
19 | thu | holiday |
Feriado nacional: Corpus Christi |
24 | tue | theory |
Programação concorrente (1/2) |
26 | thu | theory |
Programação concorrente (2/2) |
day | week | type | description |
---|---|---|---|
01 | tue | theory |
Modelos de custo |
03 | thu | theory |
Semântica formal (1/2) |
08 | tue | theory |
Semântica formal (2/2) |
10 | thu | exercise |
Resolução de exercícios |
15 | tue | exam |
Prova 2 |
17 | thu | exercise |
Resolução de exercícios |
22 | tue | exam |
Prova suplementar |
24 | thu | exercise |
Resolução de exercícios |
29 | tue | exam |
Prova especial |