Programação Funcional

Código:

CC1005

Sigla:

CC1005

Nível:

100

Áreas Científicas
Classificação	Área Científica
OFICIAL	Ciência de Computadores

Ocorrência: 2014/2015 - 2S

Ativa?	Sim
Unidade Responsável:	Departamento de Ciência de Computadores
Curso/CE Responsável:	Licenciatura em Ciência de Computadores

Ciclos de Estudo/Cursos

Sigla	Nº de Estudantes	Plano de Estudos	Anos Curriculares	Créditos UCN	Créditos ECTS	Horas de Contacto	Horas Totais
L:CC	61	Plano de estudos a partir de 2014	1	-	6	56	162
MI:ERS	136	Plano Oficial desde ano letivo 2014	1	-	6	56	162

Língua de trabalho

Português

Objetivos

Introdução à programação funcional usando a linguagem Haskell.

Resultados de aprendizagem e competências

No final da disciplina, o(a) aluno(a) deverá ser capaz de: 1. Definir funções usando equações com padrões 2. Codificar algoritmos recursivos elementares sobre listas e árvores em Haskell 3. Definir novos tipos algébricos para representar dados 4. Compor problemas de programação usando funções de ordem superior e lazy evaluation 5. Provar propriedades elementares de programas usando teoria equacional e indução

Modo de trabalho

Presencial

Programa

Expressões, valores e tipos básicos. Definições de funções simples; tipos funcionais. Execução passo-a-passo usando substituição. Tipos compostos: listas e tuplos. Algumas funções sobre listas do prelúdio-padrão. Notação de listas em compreensão. Definições recursivas. Polimorfimo paramétrico. Funções de ordem superior. Programas interactivos usando o mónada de I/O. Definição novos tipos concretos. Estudo de um caso: árvores binárias de pesquisa. Tipos abstractos: pilhas, filas, conjuntos. Especificação usando equações e implementação usando módulos. Classes de tipos e sobrecarga de operadores. Raciocínio sobre programas usando teoria equacional e indução.

Bibliografia Obrigatória

000097840. ISBN: 9780521692694
Thompson Simon; Haskell. ISBN: 978-0-201-40357-2 pbk

Bibliografia Complementar

000001475. ISBN: 0-13-484197-2

Métodos de ensino e atividades de aprendizagem

Aulas de exposição usando quadro e projeção de slides. Aulas laboratoriais com computador.

Tipo de avaliação

Avaliação distribuída com exame final

Componentes de Avaliação

Designação	Peso (%)
Exame	50,00
Teste	50,00
Total:	100,00

Fórmula de cálculo da classificação final

Os alunos poderão obter classificação final como média de dois testes escritos. O exame de recurso poderá substituir a nota do pior dos testes.

Provas e trabalhos especiais

Dois testes . O primeiro teste será no dia 20 de Abril às 12:00 horas nas salas FC2009 e FC4126.

Avaliação especial (TE, DA, ...)

N/A