Cálculo de Programas

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

Tópicos

Avisos

20 Fev - Chama-se a atenção para a mudança dos anfiteatros das aulas teóricas dos 2 cursos, cf tinynew.gif Horário.

17 Fev - Publicada no Material a tinynew.gif 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.

Material Pedagógico

Disponível à medida que a disciplina for progredindo.

Fichas das aulas práticas

Transparentes

Enunciado do trabalho prático

A disponibilizar na devida altura.

Bibliotecas de Software (em Haskell)

  • tinynew.gif Cp.hs - contendo os combinadores de base do cálculo de programas, e.g. split, ><, -|- etc.

Outro material

Enunciados das provas de avaliação

Data / Hora / Local Descrição Ficheiro

"Links"

-- JoseNunoOliveira - 04 Feb 2018

r6 - 19 Feb 2018 - 16:44:52 - JoseNunoOliveira
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM