| |
MaterialPedagogico 38 - 26 Jun 2018 - Main.JoseNunoOliveira
|
|
META TOPICPARENT | name="WebHome" |
Material Pedagógico
| |
< < | Entrega e avaliação do trabalho prático
Data limite para entrega do TP: 31 Mai 2015, até às 23h59m.
Instruções para a entrega do TP: serão divulgadas aqui nos próximos dias.
Defesa do TP: a semana que as direcções de curso reservaram para as defesas é a de 1 a 5 de Junho (ver Sumários). Será afixado um horário com as horas das defesas de cada grupo. | | Fichas das aulas práticas
|
|
MaterialPedagogico 33 - 28 May 2015 - Main.JoseNunoOliveira
|
|
META TOPICPARENT | name="WebHome" |
Material Pedagógico
| |
< < | Enunciado o trabalho prático | > > | Entrega e avaliação do trabalho prático | | | |
< < | O material para realização do TP desta disciplina consta de um enunciado (cp1415t.pdf) e de um zip (cp1415t.zip) contendo a respectiva fonte (ficheiro cp1415t.lhs) + outros ficheiros e bibliotecas auxiliares. | > > | Data limite para entrega do TP: 31 Mai 2015, até às 23h59m. | | | |
< < | Os alunos devem começar por ler cp1415t.pdf para avaliarem o trabalho que há para fazer. Devem ainda deixar para o fim as questões da última parte, cuja matéria só na semana que vem começará a ser leccionada. | > > | Instruções para a entrega do TP: serão divulgadas aqui nos próximos dias. | | | |
< < | As instruções para a entrega e defesa serão divulgadas oportunamente. A semana que as direcções de curso reservaram para as defesas é a de 1 a 5 de Junho (ver Sumários), o que significa que haverá um total de 5 semanas para os grupos fazerem o trabalho. | > > | Defesa do TP: a semana que as direcções de curso reservaram para as defesas é a de 1 a 5 de Junho (ver Sumários). Será afixado um horário com as horas das defesas de cada grupo. | |
Fichas das aulas práticas | | Notas pedagógicas | |
> > | | | Transparentes
| |
> > | | | Outro material
| |
> > | | | Bibliotecas de Software (em Haskell) | |
- Nat.hs - biblioteca de naturais (combinador ciclo-for, etc).
- Cp.hs - contendo os combinadores de base do cálculo de programas, e.g. split, ><, -|- etc.
| |
> > | Enunciado o trabalho prático
O material para realização do TP desta disciplina consta de um enunciado (cp1415t.pdf) e de um zip (cp1415t.zip) contendo a respectiva fonte (ficheiro cp1415t.lhs) + outros ficheiros e bibliotecas auxiliares.
Os alunos devem começar por ler cp1415t.pdf para avaliarem o trabalho que há para fazer. Devem ainda deixar para o fim as questões da última parte, cuja matéria só na semana que vem começará a ser leccionada. | | Enunciados de provas de avaliação | |
a marcar | Exame da época especial | PDF |
| |
< < | Sugestões
Douglas Crockford a propósito de mónades em Javascript: https://www.youtube.com/watch?t=63&v=b0EF0VTs9Dc | |
META FILEATTACHMENT | attachment="cp1415f01.pdf" attr="h" comment="" date="1424516123" name="cp1415f01.pdf" path="cp1415f01.pdf" size="77610" stream="cp1415f01.pdf" user="Main.JoseNunoOliveira" version="1" |
META FILEATTACHMENT | attachment="Cp.hs" attr="h" comment="" date="1424814440" name="Cp.hs" path="Cp.hs" size="4720" stream="Cp.hs" user="Main.JoseNunoOliveira" version="1" |
| |
META FILEATTACHMENT | attachment="cp1415f09.pdf" attr="h" comment="" date="1430038482" name="cp1415f09.pdf" path="cp1415f09.pdf" size="99255" stream="cp1415f09.pdf" user="Main.JoseNunoOliveira" version="1" |
META FILEATTACHMENT | attachment="cp1415f10.pdf" attr="h" comment="" date="1430817807" name="cp1415f10.pdf" path="cp1415f10.pdf" size="103977" stream="cp1415f10.pdf" user="Main.JoseNunoOliveira" version="2" |
META FILEATTACHMENT | attachment="cp1415f11.pdf" attr="h" comment="" date="1431871619" name="cp1415f11.pdf" path="cp1415f11.pdf" size="202826" stream="cp1415f11.pdf" user="Main.JoseNunoOliveira" version="1" |
| |
> > |
META FILEATTACHMENT | attachment="note1.pdf" attr="h" comment="" date="1432487337" name="note1.pdf" path="note1.pdf" size="171009" stream="note1.pdf" user="Main.JoseNunoOliveira" version="1" |
|
|
MaterialPedagogico 29 - 20 May 2015 - Main.JoseNunoOliveira
|
|
META TOPICPARENT | name="WebHome" |
Material Pedagógico
| |
> > | Enunciado o trabalho prático
O material para realização do TP desta disciplina ficará disponível aqui amanhã, 25-Abr, de manhã.
Constará de um enunciado (cp1415t.pdf) e de um zip (cp1415t.zip) contendo a respectiva fonte (cp1415t.lhs) + ficheiros e bibliotecas auxiliares.
Os alunos devem começar por ler cp1415t.pdf para avaliarem o trabalho que há para fazer. Devem ainda deixar para o fim as últimas questões, cuja matéria só na próxima semana começará a ser leccionada.
Instruções para a entrega e defesa serão divulgadas oportunamente. A semana que as direcções de curso reservaram para as defesas é a de 1 a 5 de Junho (ver Sumários), o que significa que haverá um total de 5 semanas para os grupos fazerem o trabalho. | | Fichas das aulas práticas | |
- demos.hs
- contendo material auxiliar para a visualização em HTML da estrutura de dados virtual (intermédia) dos hilomorfismos qSort, hanoi, mSort etc das bibliotecas BTree.hs e LTree.hs. Experimentar qSort_vtree [6,3,9,1,7,18] e hanoi_vtree (True, 7), por exemplo. Encontrar-se-á a visualização no ficheiro _.html da directoria corrente.
- Exp.hs - biblioteca auxiliar a demos.hs.
| |
< < |
- BTree.hs
- biblioteca contendo os cata/ana/hilomorfismos do tipo de dados árvores binárias - data BTree a = Empty | Node(a, (BTree a, BTree a)), e aplicações suas (e.g. torres de Hanói, `quick-sort', etc).
| > > |
- BTree.hs - biblioteca contendo os cata/ana/hilomorfismos do tipo de dados árvores binárias - data BTree a = Empty | Node(a, (BTree a, BTree a)), 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 - LTree a = Leaf a | Fork (LTree a, LTree a) e aplicações suas (e.g. duplo factorial, `merge-sort', Fibonacci etc).
- List.hs - biblioteca geral para listas em Haskell, contendo combinadores (e.g. catamorfismos) e exemplos de utilização.
- Nat.hs - biblioteca de naturais (combinador ciclo-for, etc).
- Cp.hs - contendo os combinadores de base do cálculo de programas, e.g. split, ><, -|- etc.
| |
< < | Enunciado o trabalho prático
A fornecer em devida altura | | Enunciados de provas de avaliação
|
|
MaterialPedagogico 22 - 24 Apr 2015 - Main.JoseNunoOliveira
|
|
META TOPICPARENT | name="WebHome" |
Material Pedagógico
| |
META FILEATTACHMENT | attachment="cp1415f07.pdf" attr="h" comment="" date="1428834054" name="cp1415f07.pdf" path="cp1415f07.pdf" size="96434" stream="cp1415f07.pdf" user="Main.JoseNunoOliveira" version="1" |
META FILEATTACHMENT | attachment="LTree.hs" attr="h" comment="" date="1428940533" name="LTree.hs" path="LTree.hs" size="4680" stream="LTree.hs" user="Main.JoseNunoOliveira" version="1" |
META FILEATTACHMENT | attachment="BTree.hs" attr="h" comment="" date="1428940548" name="BTree.hs" path="BTree.hs" size="6461" stream="BTree.hs" user="Main.JoseNunoOliveira" version="1" |
| |
> > |
META FILEATTACHMENT | attachment="cp1415f08.pdf" attr="h" comment="" date="1429434639" name="cp1415f08.pdf" path="cp1415f08.pdf" size="98257" stream="cp1415f08.pdf" user="Main.JoseNunoOliveira" version="1" |
|
|
|
|