Cálculo de Programas

Mestrado Integrado em Engenharia Informática e Licenciatura em Ciências da Computação

Tópicos

Avisos

20 Mai - Publicada no Material a ficha nr.13 (última) tinynew.gif, 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 tinynew.gif 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 Alunostinynew.gif .

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.

Bibliografia

Bibliografia essencial

  • 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 tinynew.gif ( 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

-- JoseNunoOliveira - 13 Feb 2017

r4 - 04 May 2018 - 11:36:24 - JoseNunoOliveira
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM