Métodos Formais de Programação II

(7008N2) Licenciatura em Matemática e Ciências de Computação - 4.o ano

Documentação Pedagógica

Apontamentos da disciplina (PostScript)
Nota: A matéria desta disciplina está exposta nos capítulos 1,3,4,5 e 6 (inc.).

Ano lectivo 95/96
- Primeira chamada - 25/6/96 -- Tarde (sala 2221)
  - Notas: incluem-se nesta pauta classificações referentes a 3 disciplinas:
    - Métodos Formais de Programação II, Código: 7008N2
    - Especificação e Semântica, Planto antigo, Código: 7007A4
    - Opção I - Especificação e Semântica, Planto antigo, Código: 5307C3
  - Correcção ( PostScript)
- Segunda chamada - 15/7/96 -- Tarde (sala 2210)
  - Notas: (1) Trata-se das notas finais (Julho); (2) A nota "Trabalho" indica que o aluno tem a possibilidade de ser aprovado se realizar o Trabalho Laboratorial; (3) Incluem-se nesta pauta classificações referentes a 3 disciplinas:
    - Métodos Formais de Programação II, Código: 7008N2
    - Especificação e Semântica, Planto antigo, Código: 7007A4
    - Opção I - Especificação e Semântica, Planto antigo, Código: 5307C3

URGENTE!!: Alguns alunos estão inscritos na pauta dos SA em 7008N2 e fizeram o teste de 7007A4 - atenção que não lhes posso lançar a nota!
Proposta de Trabalho Laboratorial a realizar em CAMILA.
Pf. indiquem os grupos de trabalho ao docente por email.
As notas dos exames serão afixadas nesta URL.

Docente Responsável: jno@di.uminho.pt

Tue Jul 30 17:52:46 WET DST 1996