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 ]

  Cursos

8204N5 - Lic. Engenharia Informática, 2.º ano

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

  Informações Gerais

• Escola: Engenharia
• Regime: 2.º semestre
• Escolaridade semanal: 2-1-2-0 (2 horas teóricas + 1 hora teórico-prática + 2 horas 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 as 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 (11/12)

CP (2010/11) [LCC , LEI]

CP (09/10)

CP (08/09) [LCC,LEI]

CP (07/08)

CP (06/07)

CP (05/06)

Outras disciplinas leccionadas pelo DIUM