CP/2223

Material Pedagógico

Fichas das aulas práticas

• Ficha 1
• Ficha 2
• Ficha 3
• Ficha 4
• Ficha 5
• Ficha 6
• Ficha 7
• Ficha 8
• Ficha 9
• Ficha 10
• Ficha 11
• Ficha 12

Slides das aulas teóricas

• Aulas (2ºS) T01 .. T10 (PDF + PDF)

• Aulas (1ºS) T01 .. T12 (PDF + PDF + PDF)

Vídeos das aulas teóricas

• Entrar aqui e selecionar.

(Também se podem selecionar os vídeos por tópico)

Outro material

• Formulário

Enunciados das provas de avaliação

Data	Hora	Local	Curso(s)	Descrição	Enunciado
13-Jan	14h	E1-0.04 + E1-0.08	LEI	Teste individual	PDF
03-Fev	14h	E2-1.01 + E2-1.05 + E2-1.07	LEI	Exame de recurso	PDF
02-Jun	10h	E1-0.04 + E1-0.20	LCC	Teste individual	PDF
23-Jun	14h	E1-1.10 + E1-1.17	LCC	Exame de recurso	PDF

(Novos a adicionar quando disponíveis.)

Bibliotecas de Software (em Haskell)

A adicionar sempre que disponíveis.

• Cp.hs - contendo os combinadores de base do cálculo de programas, e.g. split, ><, + etc.

• Nat.hs - biblioteca de naturais (combinador ciclo-for, etc).

• List.hs - biblioteca geral para listas em Haskell, contendo combinadores (e.g. catamorfismos) e exemplos de utilização.

• BTree.hs - biblioteca para o tipo de dados árvores binárias com informação nos nós e aplicações suas (e.g. torres de Hanói, quick-sort, etc).

• LTree.hs - biblioteca contendo os cata/ana/hilomorfismos do tipo de dados árvores binárias de folhas e aplicações suas (e.g. Fibonacci, duplo factorial, merge-sort, etc).

• FTree.hs - biblioteca contendo os cata/ana/hilomorfismos do tipo de dados árvores binárias completas.

• Exp.hs - biblioteca contendo os cata/ana/hilomorfismos do tipo de dados expressões com variáveis.

• google.hs - caso de estudo “Google MapReduce” (ver esse tópico nos vídeos).

• Ficheiros auxiliares: St.hs (mónade de estado simplificado) e RelCalc.hs (operações relacionais várias).