Unidade Curricular | Curso/CE | Período de Aulas | Ano | Tipo de Aulas | Horas (Fator) |
Lógica Computacional | L:B / L:CC / L:F / L:G / L:IACD / L:M / L:MA / L:Q | 1S | 2 | PL | 4,00 (1) |
Semânticas de Linguagens de Programação | L:CC | 1S | 3 | T | 2,00 (1) |
Semânticas de Linguagens de Programação | L:CC | 1S | 3 | PL | 2,00 (1) |
Verificação de Programas | M:CC | 2S | 1 | TP | 3,00 (1) |
(*) - Fator com que estas horas entram no total de horas do docente. |
|||||
Horas semanais no 1º semestre: 8,00 2º semestre: 3,00 Média Anual: 5,50 |
|||||
Unidade Curricular | Curso/CE | Período de Aulas | Ano | Tipo de Aulas | Horas (Fator) |
Teoria da Computação | L.EIC | 2S | 1 | T | 2,00 (1) |
Teoria da Computação | L.EIC | 2S | 1 | TP | 2,00 (1) |
(*) - Fator com que estas horas entram no total de horas do docente. |
|||||
Horas semanais no 1º semestre: 0,00 2º semestre: 4,00 Média Anual: 2,00 |