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 | feriado |
Recesso escolar: Dia do Servidor Público |
30 | qui | teoria |
Orientação a objetos (1/2) |
dia | sem. | tipo | descrição |
---|---|---|---|
04 | ter | teoria |
Orientação a objetos (2/2) |
06 | qui | teoria |
Tratamento de exceções (1/2) |
11 | ter | teoria |
Tratamento de exceções (2/2) |
13 | qui | teoria |
Parâmetros (1/2) |
18 | ter | teoria |
Parâmetros (2/2) |
20 | qui | feriado |
Feriado nacional: Dia da Consciência Negra |
25 | ter | teoria |
Programação lógica: Prolog (1/2) |
27 | qui | teoria |
Programação lógica: Prolog (2/2) |
dia | sem. | tipo | descrição |
---|---|---|---|
02 | ter | teoria |
Programação concorrente (1/2) |
04 | qui | teoria |
Programação concorrente (2/2) |
09 | ter | teoria |
Modelos de custo |
11 | qui | teoria |
Semântica formal (1/2) |
16 | ter | teoria |
Semântica formal (2/2) |
18 | qui | exercício |
Resolução de exercícios |
23 | ter | prova |
Prova 2 |
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 | exercício |
Resolução de exercícios |
08 | qui | prova |
Prova suplementar |
13 | ter | prova |
Prova especial |