U.Minho Métodos de Programação I
[ DI/UM ]

[ Cursos | Informações Gerais | Resultados da Aprendizagem | Funcionamento da Disciplina
Apoio
1998/99 | 1999/00 | 2000/01 | 2001/02 | 2002/03 | 2003/04 | 2004/05 | 2005/06 | 2006/07
tinynew.gif Edição de 2007/08 ]

  Cursos

5303O7 - Licenciatura em Engenharia de Sistemas e Informática, 2. ano
7003N5 - Licenciatura em Matemática e Ciências da Computação, 2. ano (até 2004/05)

  Informações Gerais

  Resultados da Aprendizagem

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

Esta disciplina vem na sequência de Paradigmas de Programação I e Paradigmas de Programação II. É seu objectivo o ensino de um método construtivo de programação que se baseia no desenvolvimento de programas de uso genérico que são componíveis entre si. Dá-se particular ênfase ao estudo de combinadores de programas e suas propriedades básicas, sendo desta forma introduzidas as bases da Álgebra da Programação.

A cada combinador corresponde um pacote de programação bem definido. No seu conjunto, estes pacotes varrem o largo espectro de programação que começa nas estruturas de informação primitivas e termina nas indutivas.

Como veículo de codificação usa-se o HASKELL, uma das mais interessantes linguagens de programação (funcional) dos nossos dias. Os casos de estudo incluem, entre outros, os principais algoritmos de ordenação. No plano prático, mostra-se como usar combinar o HASKELL com outros paradigmas/ambientes de programação.

Com aprovação nestas disciplinas os alunos ficam com uma bagagem que lhes permite escrever com facilidade programas arbitrariamente complexos, de uso geral, com elevados índices de reutilização. As técnicas que se ensinam para raciocinar sobre programas conduzem a soluções finais eficientes que se podem transportar para outros paradigmas de programação de uso mais generalizado (como, por exemplo, o imperativo, tal como é depois abordado em Métodos de Programação II).

  Funcionamento da Disciplina

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

MP-I (06/07) MP-I (05/06) MP-I (04/05) MP-I (03/04) MP-I (02/03) MP-I (01/02) MP-I (00/01) MP-I (99/00) MP-I (98/99) MP-I (97/98)

  Apoio Microsoft Portugal

A componente laboratorial desta disciplina tem vindo a ser, desde 2002/03, apoiada pela Portugal, ao abrigo de um protocolo institucional.


Outras disciplinas leccionadas pelo DIUM


J. Nuno Oliveira 2008-01-15