03 Ago - As notas dos exames da época especial estão publicadas em Alunos.
23 Jul - O exame da época especial (24-Jul) será na sala CP2 0.20, das 9h às 11h.
10 Jul - Consulta dos exames: amanhã das 11h às 13h, na sala de reuniões do 2º andar do DIUM.
10 Jul - As notas finais e dos TPs estão publicadas em Alunos.
25 Jun - O horário das defesas dos TPs está disponível nesta página. Cada defesa demora 15 minutos. Cada grupo deverá comparecer na sala indicada 5 mins antes da hora.
21 Jun - Horário para os alunos verem os testes: segunda-feira, dia 25-Jun, das 16h às 18h.
20 Jun - Afixadas as classificações do teste de 6-Jun em Alunos.
18 Jun - As defesas orais dos TP desta disciplina terão lugar de 3 a 5 de Julho. Oportunamente será divulgado o escalonamento dos grupos (gerado aleatoriamente).
17 Jun - Entrega dos TP: ver instruções em Alunos. Data limite: 23 de Junho.
31 Mai - Avisam-se os alunos que a data de submissão do TP desta disciplina foi adiada para sábado, 23 de Junho. Oportunamente serão dadas aqui as instruções para a entrega.
20 Mai - Publicada no Material a ficha nr.13 (última), a preparar para as aulas TP da semana de 21-Mai.
06 Mai - Publicada no Material a ficha nr.12, a preparar para as aulas TP da semana de 07-Mai.
06 Mai - Chama-se à atenção que a aula de reposição do turno MiEI/TP2 será não será no E1 mas sim na sala 1.03 do E2 - ver Sumários.
29 Abr - Publicada no Material a ficha nr.11, a preparar para as aulas TP da semana de 30-Abr.
22 Abr - Publicada no Material a ficha nr.10, a preparar para as aulas TP da semana de 23-Abr.
20 Abr - Trabalho prático: enunciado e material publicados em Material.
14 Abr - Publicada no Material a ficha nr.9, a preparar para as aulas TP da semana de 16-Abr.
09 Abr - Chama-se a atenção para a mudança de sala do turno MiEI/TP2, cf. Horário.
07 Abr - Publicada no Material a ficha nr.8, a preparar para as aulas TP da semana de 09-Abr.
03 Abr - A comunicação dos grupos de trabalho de CP deverá ser feita em http://www.di.uminho.pt/grupo_cp/ até dia 17 de Abril.
02 Abr - Publicada no Material a ficha nr.7, a preparar para as aulas TP da semana de 03-Abr.
17 Mar - Publicada no Material a ficha nr.6, a preparar para as aulas TP da semana de 19-Mar.
11 Mar - Publicada no Material a ficha nr.5, a preparar para as aulas TP da semana de 12-Mar.
03 Mar - Publicada no Material a ficha nr.4, a preparar para as aulas TP da semana de 05-Mar.
03 Mar - Notas TP de 16/17 - ver Alunos.
27 Fev - Aviso: não haverá aula LCC/TP2 esta sexta-feira, 2-Março. O docente combinará com os alunos deste turno uma aula de substituição.
24 Fev - Publicada no Material a ficha nr.3, a preparar para as aulas TP da semana de 26-Fev.
20 Fev - Chama-se a atenção para a mudança dos anfiteatros das aulas teóricas dos 2 cursos, cf. Horário.
17 Fev - Publicada no Material a ficha nr.2, a preparar para as aulas TP da semana de 19-Fev.
01 Fev - Início das aulas: semana de 12-Fev. Começarão primeiro as aulas TP com uma ficha de revisão de PF (Programação Funcional).
01 Fev - Criada esta página de avisos.
J.N. Oliveira. Program Design by Calculation. Departamento de Informática, Universidade do Minho. Os capítulos deste livro (em preparação) essenciais para esta disciplina no corrente ano lectivo são o segundo ( 619K), o terceiro ( 621K) e o quarto ( 606K).
(NB: O anexo e a bibliografia deste texto estão diponíveis aqui.)
Bibliografia complementar
A. Cunha. Cálculo de Programas: notas teórico-práticas. Departamento de Informática, Universidade do Minho, 2005. (290k).
R. Bird and O. de Moor. Algebra of Programming. Series in Computer Science. Prentice-Hall International, 1997. C. A. R. Hoare, series editor. BGUM 510.5-B