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