Cálculo de Programas
[ DI/UM ]

[ Cursos | Informações Gerais | Resultados da Aprendizagem | Funcionamento da Disciplina
| 2005/06 | 2006/07 | 2007/08 | 2008/09 (LCC  ;  LEI) | 2009/10 | 2010/11 (LCC ;  LEI) | 2011/12 | 2012/13 | 2013/14 | 2014/15 | 2015/16 | 2016/17 | 2017/18 | 2018/19 ]

  Cursos

H504N5 - Mestrado integrado em Engenharia Informática, 2.º ano

8504P3 - Lic. Ciências da Computação, 2.º ano

  Informações Gerais

• Escola: Engenharia
• Regime: 2.º semestre
• Escolaridade semanal: 2-0-2 (2 horas teóricas + 2 horas teórico-práticas)

  Resultados da Aprendizagem

«Quien sabe por Algebra, sabe scientificamente.»
Pedro Nunes (1502-1578) in libro de algebra, 1567, fol 270r.

• Construção de programas: escrever programas funcionais de forma composicional, com recurso a combinadores algébricos.

• Transformação de programas: recurso à algebra da programação para se obterem programas mais eficientes sem comprometer a sua correcção.

• Análise e compreensão de programas: recurso à factorização em pares "fold" + "unfold" (hilomorfismos) como forma de se perceber a arquitectura dos algoritmos e sua catalogação.

• Síntese de programas: cálculo de ciclos-for a partir de definições indutivas.

• Programação funcional avançada: construir e raciocinar sobre programas funcionais com efeitos sob a forma de mónades.

  Funcionamento da Disciplina

A informação detalhada sobre esta disciplina (incluindo avisos e sumários) encontra-se organizada por anos lectivos, conforme se segue:

CP (18/19)

CP (17/18)

CP (16/17)

CP (15/16)

CP (14/15)

CP (13/14)

CP (12/13)

CP (11/12)

CP (2010/11) [LCC , LEI]

CP (09/10)

CP (08/09) [LCC,LEI]

CP (07/08)

CP (06/07)

Outras disciplinas leccionadas pelo DIUM