Cálculo de Programas

Licenciatura em Engenharia Informática

Tópicos

Avisos

27 Set As notas da época especial foram publicadas na secção de funcionamento. O aluno que não preencheu o nome deve contactar pessoalmente o responsável da disciplina com a máxima urgência.

17 Jul O exame da época especial será no dia 21 de Setembro às 14h00 na sala 2206.

25 Jul As notas dos exames de recurso foram publicadas na secção de funcionamento. Os exames podem ser consultados na 3ª feira, dia 28 de Julho às 11h00 na sala DI 0.02. As orais para os alunos com notas de 8 e 9 serão no mesmo dia e sala às 14h00.

9 Jul A consulta dos testes será na sala DI 0.02.

Arquivo

Education » CP0809 » WebHome » Programa » Funcionamento » Calendario » MaterialApoio

Bibliografia

J.N. Oliveira. Program Design by Calculation. Departamento de Informática, Universidade do Minho, 2005. Livro em preparação: os capítulos 2, 3 e 4 já estão disponíveis.
A. Cunha. Cálculo de Programas: notas teórico-práticas. Departamento de Informática, Universidade do Minho, 2005. Documento em preparação: versão actual.

Fichas

Testes

2007/08: normal, recurso e especial.
2008/09: normal e recurso.

Outros

Formulário (v1.0).
Biblioteca Haskell para programar em point-free (v0.3).

r31 - 23 Feb 2010 - 08:51:58 - JoseNunoOliveira

Syndicate this site RSS ATOM