Cálculo de Programas

Licenciaturas em Engenharia Informática e Ciências da Computação
View   r38  >  r37  >  r36  >  r35  >  r34  ...

MaterialPedagogico 38 - 26 Jun 2018 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material Pedagógico

Deleted:
<
<

Entrega e avaliação do trabalho prático

Data limite para entrega do TP: tinynew.gif 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
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material Pedagógico

Changed:
<
<

Enunciado o trabalho prático

>
>

Entrega e avaliação do trabalho prático

 
Changed:
<
<		O material para realização do TP desta disciplina consta de um enunciado tinynew.gif (cp1415t.pdf) e de um zip tinynew.gif (cp1415t.zip) contendo a respectiva fonte (ficheiro cp1415t.lhs) + outros ficheiros e bibliotecas auxiliares.
>
>		Data limite para entrega do TP: tinynew.gif 31 Mai 2015, até às 23h59m.
 
Changed:
<
<		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.
 
Changed:
<
<		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

Line: 32 to 32
 

Notas pedagógicas

Added:
>
>
 

Transparentes

Added:
>
>
 

Outro material

Added:
>
>
 

Bibliotecas de Software (em Haskell)

Line: 51 to 56
 
  • 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.
Added:
>
>

Enunciado o trabalho prático

O material para realização do TP desta disciplina consta de um enunciado tinynew.gif (cp1415t.pdf) e de um zip tinynew.gif (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

Line: 61 to 73
 
a marcar Exame da época especial PDF
Deleted:
<
<

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"
Line: 86 to 95
 
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"
Added:
>
>
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
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material Pedagógico

Added:
>
>

Enunciado o trabalho prático

O material para realização do TP desta disciplina ficará disponível aqui tinynew.gif 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

Line: 38 to 48
 
  • demos.hs tinynew.gif - 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.
Changed:
<
<
  • BTree.hs tinynew.gif - 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.
Deleted:
<
<

Enunciado o trabalho prático

A fornecer em devida altura

 

Enunciados de provas de avaliação


MaterialPedagogico 22 - 24 Apr 2015 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material Pedagógico

Line: 71 to 69
 
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"
Added:
>
>
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"

MaterialPedagogico 17 - 15 Apr 2015 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Material Pedagógico