...collaborate on
Notícias

Os exames de recurso podem ser consultados no próximo dia 10 de Março (6ªfeira) das 15h00 às 16h00 no anfiteatro DI A1 (piso 0, junto à recepção).

-- MariaJoaoFrade - 08 Mar 2006

Os exames estarão disponíveis para consulta, 4ªfeira (8 Fev.) entre as 14h30 e as 15h30, no anfitiatro DI A1.

-- MariaJoaoFrade - 07 Feb 2006

Já sairam as notas dos exames da Época Normal.

-- MariaJoaoFrade - 06 Feb 2006

AVISO DE PROVAS ORAIS (para melhoria de nota)

Os exames orais para melhoria de nota serão realizados no dia 8 de Fevereiro (4ª feira), às 9h30. Os alunos deverão esperar na recepção do DI (piso 0).

-- MariaJoaoFrade - 03 Feb 2006

Está aqui (zip) a resolução da ficha 9 (aula prática).

-- MariaJoaoFrade - 05 Dec 2005

Já está disponível o enunciado do 2º trabalho prático. As apresentações dos trabalhos serão feitas, na semana de 12 Dezembro a 16 de Dezembro, no horário dos turnos práticos.

-- MariaJoaoFrade - 17 Nov 2005

Já está disponível o enunciado do projecto prático para melhoria de nota. Ver secção Melhorias de Nota.

-- MariaJoaoFrade - 25 Oct 2005

Já está disponível o enunciado do 1º trabalho prático. As apresentações dos trabalhos serão feitas, na semana de 31 Outubro a 4 de Novembro, no horário dos turnos práticos. Exceptuam-se os turnos de 3ª feira (feriado), que terão que apresentar o trabalho na quarta-feira em horário a marcar. Para os grupos destes turnos, existirá uma folha de marcação de horário na recepção do DI.

-- MariaJoaoFrade - 18 Oct 2005

4ªfeira (dia 28) às 10h00 aula de apresentação no CP1 A3.

-- MariaJoaoFrade - 23 Sep 2005

As aulas práticas começam no dia 3 de Outubro.

-- MariaJoaoFrade - 20 Sep 2005

Programação Funcional

Licenciatura em Matemática e Ciências de Computação
1º Ano - 1º Semestre (7001N7)
Ano lectivo 2005/2006 (Ano anterior)


Programa

Na actual estrutura da Licenciatura em Matemática e Ciências de Computação, esta é a primeira disciplina de Informática. Por esta razão, o primeiro grande objectivo desta disciplina é a introdução à programação de computadores.

Dos vários paradigmas de programação (imperativo, funcional, lógico e orientado a objectos) apresentados ao longo da licenciatura, nesta disciplina estuda-se o paradigma funcional, tendo por base a linguagem de programação Haskell.

Esta abordagem tem a vantagem de não exigir dos alunos grandes conhecimentos prévios sobre a arquitectura física dos computadores, para poderem entender e escrever programas funcionais, permitindo, por esse motivo, trabalhar mais facilmente com turmas heterogéneas em conhecimentos de informática.

A linguagem Haskell é uma linguagem puramente funcional fortemente tipada e com um sistema de tipos extremamente rico, o que permite não só ensinar os conceitos fundamentais da programação (funcional), onde se incluem tópicos tais como: tipos de dados, estruturas de controlo, e recursividade; como também ensinar conceitos avançados, como por exemplo: funções de ordem superior, polimorfismo, classes, modularidade, e monades.

Programa detalhado

Bibliografia

Critérios de Avaliação

A avaliação desta disciplina tem duas componentes obrigatórias.

  • A componente teórica tem um peso de 60% e consiste na realização de uma prova individual escrita (exame)

  • A componente prática, com um peso de 40%, consiste na realização de dois trabalhos e na avaliação do desempenho nas aulas laboratoriais.

  • A nota mínima em cada uma das componentes é de 9,5 valores.

Os trabalhos práticos são resolvidos em grupos de 3 alunos (todos do mesmo turno prático).

Os alunos com aprovação na componente prática no ano anterior, podem pedir para essa nota ser congelada. O ficheiro seguinte contém a lista de alunos em condições de congelar a nota prática obtida em 2004-2005 (LMCC).

A decisão de congelar a nota deverá ser comunicada por e-mail a Maria João Frade, até ao dia 31 de Outubro de 2005.

Melhorias de Nota

Os alunos que pretendam melhorar a nota a esta disciplina terão de se inscrever nos SAUM para o efeito e realizar um trabalho cujo enunciado está disponível AQUI (ou aqui: enunciado e ficheiros de exemplo). Este trabalho é individual.

A avaliação destes alunos será feita através de um exame oral, onde será apresentado o trabalho e onde serão colocadas questões sobre a generalidade da matéria. Estes exames orais decorrerão na data prevista para os restantes exames orais da disciplina, i.e., depois das duas chamadas da época normal (data a anunciar nesta página). Até 3 dias antes da oral deverá ser entrege um relatório do trabalho com a listagem do código do programa em anexo, e deverá também ser enviado por mail o .zip do trabalho.

AVISO: Estes exames orais serão realizados no dia 8 de FEvereiro (4ª feira), às 9h30. Os alunos deverão esperar na recepção do DI (piso 0).

Equipa Docente

Horário Lectivo

  Horário Sala Docente
Teórica 2ªfeira 9:00-10:00 CP2.104 mjf
Teórica 4ªfeira 10:00-11:00 CP2.104 mjf
Turnos Horário Sala Docente
TP1 3ªfeira 8:00-9:00 CP3.204 jbb
TP2 3ªfeira 14:00-16:00 CP3.202 jcr
TP3 2ªfeira 12:00-13:00 DI 0.11 mjf
P1 2ªfeira 10:00-12:00 DI 0.11 mjf
P2 3ªfeira 9:00-11:00 DI 0.11 jcr
P3 5ªfeira 11:00-13:00 DI 0.11 omp
P4 6ªfeira 11:00-13:00 DI 0.11 omp

Horário de Atendimento

Docente Horário
mjf 4ªf 14:00-16:00
jcr ...
omp 2ªf, 3ªf e 4ªf 12:00-13:00
jbb 2ªf 9:00-12:00

Material Disponibilizado

Aulas Teóricas

  • Haskell: slides 1-52 (pdf)
  • Haskell: slides 53-64 (pdf)
  • Haskell: slides 65-80 (pdf)
  • Haskell: slides 81-96 (pdf)
  • Haskell: slides 97-132 (pdf)
  • Haskell: slides 133-168 (pdf)
  • Haskell: slides 169-184 (pdf)

Aulas Práticas

Guiões:

  • Aula 1 (semana de 3 a 7 de Outubro)
  • Aula 2 (semana de 10 a 14 de Outubro)
  • Aula 3 (semana de 17 a 21 de Outubro)
  • Aula 4 (semana de 24 a 28 de Outubro)
  • Aula 5 (semana de 7 a 11 de Novembro)
  • Aula 6 (semana de 14 a 18 de Novembro)
  • Aula 7 (semana de 21 a 25 de Novembro)
  • Aula 8 (semana de 28 de Novembro a 2 de Dezembro)
  • Aula 9 (semana de 5 a 9 de Dezembro) - Ficheiros (zip)

Trabalhos Práticos:

  • Enunciado do 1º trabalho prático.
    • Os grupos terão obrigatoriamente 3 elementos.
    • As apresentações dos trabalhos serão feitas, na semana de 31 Outubro a 4 de Novembro, no horário dos turnos práticos. Exceptuam-se os turnos de 3ª feira (feriado), que terão que apresentar o trabalho na 4ª feira em horário a marcar. Para os grupos destes turnos, existirá uma folha de marcação de horário na recepção do DI.

  • Enunciado do 2º trabalho prático.
    • Os grupos terão obrigatoriamente 3 elementos.
    • As apresentações dos trabalhos serão feitas, na semana de 12 Dezembro a 16 de Dezembro, no horário dos turnos práticos.

Notas

Exames

Links Úteis

r48 - 23 Feb 2007 - 17:59:36 - MariaJoaoFrade
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
Syndicate this site RSSATOM