Cálculo de Programas

Mestrado Integrado em Engenharia Informática e Licenciatura em Ciências da Computação
View   r11  >  r10  >  r9  >  r8  >  r7  ...

Atendimento 11 - 21 Jun 2018 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Horário de Atendimento

Line: 73 to 73
 
Changed:
<
<
Q08 tinynew.gif - Estive a fazer testes unitários da minha solução do problema 3 do TP e aparentemente obtenho resultados correctos; no entanto, ao testar com o Quickcheck, a minha solução falha. Não consigo perceber onde está o erro...
>
>
Q08 - Estive a fazer testes unitários da minha solução do problema 3 do TP e aparentemente obtenho resultados correctos; no entanto, ao testar com o Quickcheck, a minha solução falha. Não consigo perceber onde está o erro...
 R: O problema é que, como vem no enunciado, a solução calculada assume n < k, e o QuickCheck não sabe disso. Sugere-se o seguinte: no enunciado, onde aparece a prop3, substituam-na pela versão seguinte:
Line: 81 to 81
 
Added:
>
>
Q09 tinynew.gif - Ao tentar correr a função animatePTree obtenho sempre este erro " ***Exception: user error (unknown GLUT entry glutInit)". Há alguma sujestão de como o resolver?

R: É conhecido que chamar o gloss dentro do ghci pode ter problemas. Para os resolver, basta invocar ghci com o argumento -fno-ghci-sandbox, ou compilar com o ghc. No segundo caso, definam uma função main = ... que chame a animação que querem fazer. Quando correrem, na shell, ./cp1718t, será essa função que será activada.


 


Atendimento 10 - 14 May 2018 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Horário de Atendimento

Line: 77 to 77
 R: O problema é que, como vem no enunciado, a solução calculada assume n < k, e o QuickCheck não sabe disso. Sugere-se o seguinte: no enunciado, onde aparece a prop3, substituam-na pela versão seguinte:
Changed:
<
<
prop3 (NonNegative n) (NonNegative k) = k <= n ==> (bin n k) = (fac n) % (fac k * (fac ((n-k))))
>
>
prop3 (NonNegative n) (NonNegative k) = k <= n ==> (bin n k) == (fac n) % (fac k * (fac ((n-k))))
 

Atendimento 9 - 14 May 2018 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Horário de Atendimento

Line: 77 to 77
 R: O problema é que, como vem no enunciado, a solução calculada assume n < k, e o QuickCheck não sabe disso. Sugere-se o seguinte: no enunciado, onde aparece a prop3, substituam-na pela versão seguinte:
Changed:
<
<
prop3 (NonNegative n) (NonNegative k) = k <= n => (bin n k) = (fac n) % (fac k * (fac ((n-k))))
>
>
prop3 (NonNegative n) (NonNegative k) = k <= n ==> (bin n k) = (fac n) % (fac k * (fac ((n-k))))
 

Atendimento 8 - 13 May 2018 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Horário de Atendimento

Line: 57 to 57
 
Changed:
<
<
Q06 tinynew.gif - Faço o que diz o enunciado para instalar 'lhs2tex', cabal install lhs2tex, corre tudo bem, mas continuo sem ´lhs2tex', e.g. lhs2tex cp1718t.lhs > cp1718t.tex dá erro. (Isto em MAC OS.)
>
>
Q06 - Faço o que diz o enunciado para instalar 'lhs2tex', cabal install lhs2tex, corre tudo bem, mas continuo sem ´lhs2tex', e.g. lhs2tex cp1718t.lhs > cp1718t.tex dá erro. (Isto em MAC OS.)
 R: Se tudo correu bem na instalação, deverá existir o ficheiro executável Library/Haskell/bin/lhs2tex. O que está a faltar é o "link" para esse ficheiro. Uma maneira simples de o fazer é definir, na shell,
Line: 67 to 67
 
Changed:
<
<
Q07 tinynew.gif - Em Linux, cabal install JuicyPixels dá erro de instalação indicando que zlib-0.6.2 não foi instalada. Que fazer?
>
>
Q07 - Em Linux, cabal install JuicyPixels dá erro de instalação indicando que zlib-0.6.2 não foi instalada. Que fazer?
 R: Basta correr o comando sudo apt-get install libz-dev em Linux e fica a funcionar. (Agradeçam ao vosso colega Pedro Mimoso Silva esta informação.)


Added:
>
>
Q08 tinynew.gif - Estive a fazer testes unitários da minha solução do problema 3 do TP e aparentemente obtenho resultados correctos; no entanto, ao testar com o Quickcheck, a minha solução falha. Não consigo perceber onde está o erro...

R: O problema é que, como vem no enunciado, a solução calculada assume n < k, e o QuickCheck não sabe disso. Sugere-se o seguinte: no enunciado, onde aparece a prop3, substituam-na pela versão seguinte:

prop3 (NonNegative n) (NonNegative k) = k <= n => (bin n k) = (fac n) % (fac k * (fac ((n-k))))


 

Atendimento 7 - 05 May 2018 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Horário de Atendimento

Line: 66 to 66
 onde user é o nome do utilizador. Para não terem que fazer isso sempre, acrescentem essa linha ao ficheiro .bashrc, que já deve existir na directoria principal de user. (Este ficheiro é executado sempre que criam uma shell ou abrem um terminal.)


Added:
>
>
Q07 tinynew.gif - Em Linux, cabal install JuicyPixels dá erro de instalação indicando que zlib-0.6.2 não foi instalada. Que fazer?

R: Basta correr o comando sudo apt-get install libz-dev em Linux e fica a funcionar. (Agradeçam ao vosso colega Pedro Mimoso Silva esta informação.)


 

Atendimento 6 - 04 May 2018 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Horário de Atendimento

Line: 39 to 39
 
Changed:
<
<
Q03 tinynew.gif - Não percebo o que faz a função depthQTree: para toda e qualquer QTree passada à função, esta devolve 0...
>
>
Q03 - Não percebo o que faz a função depthQTree: para toda e qualquer QTree passada à função, esta devolve 0...
 R: Há uma gralha: na definição da função (linha 1294) substituam maximum [a,b,c,d] por 1 + maximum [a,b,c,d] - relacionar com a questão 5 da ficha nrº 10. Já agora, como provariam que a função, tal como está, é a função constante 0?


Changed:
<
<
Q04 tinynew.gif - No problema 3, não percebo o que está a fazer o 'n' em 's (d+1) = s n + 1'._
>
>
Q04 tinynew.gif - No problema 3, não percebo o que está a fazer o 'n' em 's (d+1) = s n + 1'.
 R: Trata-se infelizmente de outra gralha: no ficheiro lhs (linha 663) substituam n por d.
Line: 53 to 53
 Q05 tinynew.gif - No problema 2, a função 'compressQTree :: Int -> QTree a -> QTree a' é mesmo polimórfica em 'a'?_
Changed:
<
<
R: Sim, a implementação deverá polimórfica em 'a.
>
>
R: Sim, a implementação deverá ser polimórfica em 'a'.


Q06 tinynew.gif - Faço o que diz o enunciado para instalar 'lhs2tex', cabal install lhs2tex, corre tudo bem, mas continuo sem ´lhs2tex', e.g. lhs2tex cp1718t.lhs > cp1718t.tex dá erro. (Isto em MAC OS.)

R: Se tudo correu bem na instalação, deverá existir o ficheiro executável Library/Haskell/bin/lhs2tex. O que está a faltar é o "link" para esse ficheiro. Uma maneira simples de o fazer é definir, na shell,

alias lhs2tex='/Users/user/Library/Haskell/bin/lhs2tex'

onde user é o nome do utilizador. Para não terem que fazer isso sempre, acrescentem essa linha ao ficheiro .bashrc, que já deve existir na directoria principal de user. (Este ficheiro é executado sempre que criam uma shell ou abrem um terminal.)

 

Atendimento 5 - 03 May 2018 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Horário de Atendimento

Line: 33 to 33
 
Changed:
<
<
Q02 tinynew.gif - Estou a ter problemas ao correr o ficheiro cp1718t.lhs. O erro é o seguinte: "Could not find module ‘Data.Matrix’".
>
>
Q02 - Estou a ter problemas ao correr o ficheiro cp1718t.lhs. O erro é o seguinte: "Could not find module ‘Data.Matrix’".
 R: Isso significa que o módulo Data.Matrix não está instalado na sua máquina. Use cabal install (tal como se refere no enunciado) para o instalar.


Added:
>
>
Q03 tinynew.gif - Não percebo o que faz a função depthQTree: para toda e qualquer QTree passada à função, esta devolve 0...

R: Há uma gralha: na definição da função (linha 1294) substituam maximum [a,b,c,d] por 1 + maximum [a,b,c,d] - relacionar com a questão 5 da ficha nrº 10. Já agora, como provariam que a função, tal como está, é a função constante 0?


Q04 tinynew.gif - No problema 3, não percebo o que está a fazer o 'n' em 's (d+1) = s n + 1'._

R: Trata-se infelizmente de outra gralha: no ficheiro lhs (linha 663) substituam n por d.


Q05 tinynew.gif - No problema 2, a função 'compressQTree :: Int -> QTree a -> QTree a' é mesmo polimórfica em 'a'?_

R: Sim, a implementação deverá polimórfica em 'a.


 

Atendimento 4 - 22 Apr 2018 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Horário de Atendimento

Line: 32 to 32
 R: Devia! Faltam os parênteses - gralha entretanto corrigida na nova versão dessa ficha.


Added:
>
>
Q02 tinynew.gif - Estou a ter problemas ao correr o ficheiro cp1718t.lhs. O erro é o seguinte: "Could not find module ‘Data.Matrix’".

R: Isso significa que o módulo Data.Matrix não está instalado na sua máquina. Use cabal install (tal como se refere no enunciado) para o instalar.


 

Atendimento 3 - 29 Mar 2018 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Horário de Atendimento

Line: 23 to 23
 

Atendimento electrónico (FAQs) tinynew.gif

Changed:
<
<
Esta secção será actualizada regularmente com as dúvidas mais frequentes que nos forem colocadas.
>
>
<-- Esta secção será actualizada regularmente com as dúvidas mais frequentes que nos forem colocadas. -->

Q01 - Na questão 9 da ficha 4, não percebo o condicional p -> f, g . h. Não devia ser (p -> f,g). h?

R: Devia! Faltam os parênteses - gralha entretanto corrigida na nova versão dessa ficha.


 

-- JoseNunoOliveira - 06 Mar 2018 \ No newline at end of file


Atendimento 2 - 08 Mar 2018 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Horário de Atendimento

Line: 11 to 11
 
2.ª-feira 13h00-15h00 MiEI O.M. Pacheco
3.ª-feira 15h00-16h00 MiEI/LCC J.N. Oliveira
3.ª-feira 18h00-20h00 MiEI/LCC J.N. Oliveira
Added:
>
>
4.ª-feira 16h00-17h00 MiEI/LCC J.M. Cunha
4.ª-feira 16h00-18h00 MiEI H. Pacheco
5.ª-feira 16h00-17h00 MiEI/LCC J.M. Cunha
 
5.ª-feira 18h00-20h00 MiEI/LCC J.N. Oliveira
6.ª-feira 14h00-15h00 MiEI O.M. Pacheco
Changed:
<
<
TBA TBA MiEI H. Pacheco
TBA TBA MiEI/LCC J.M. Cunha
>
>
 

<--   * Essa marcação deve ser feita previamente (eg. por email) com um mínimo de uma semana de antecedência. -->

Atendimento 1 - 07 Mar 2018 - Main.JoseNunoOliveira
Line: 1 to 1
Added:
>
>
META TOPICPARENT name="WebHome"

Horário de Atendimento

  • Em qualquer altura: via correio electrónico pressionando aqui. Qualquer outro meio de contacto será considerado informal, não se sentindo a equipa docente vinculada a dar uma resposta em tempo útil.

  • Durante o período de aulas: de acordo com o horário seguinte, sujeito a marcação verbal ou por email, com um mínimo de uma semana de antecedência, junto do respectivo docente:

Dia Hora Cursos Docente
2.ª-feira 13h00-15h00 MiEI O.M. Pacheco
3.ª-feira 15h00-16h00 MiEI/LCC J.N. Oliveira
3.ª-feira 18h00-20h00 MiEI/LCC J.N. Oliveira
5.ª-feira 18h00-20h00 MiEI/LCC J.N. Oliveira
6.ª-feira 14h00-15h00 MiEI O.M. Pacheco
TBA TBA MiEI H. Pacheco
TBA TBA MiEI/LCC J.M. Cunha

<--   * Essa marcação deve ser feita previamente (eg. por email) com um mínimo de uma semana de antecedência. -->

Atendimento electrónico (FAQs) tinynew.gif

Esta secção será actualizada regularmente com as dúvidas mais frequentes que nos forem colocadas.

-- JoseNunoOliveira - 06 Mar 2018


Revision 11r11 - 21 Jun 2018 - 11:09:29 - JoseNunoOliveira
Revision 10r10 - 14 May 2018 - 16:36:10 - JoseNunoOliveira
Revision 9r9 - 14 May 2018 - 14:25:44 - JoseNunoOliveira
Revision 8r8 - 13 May 2018 - 21:59:45 - JoseNunoOliveira
Revision 7r7 - 05 May 2018 - 11:34:26 - JoseNunoOliveira
Revision 6r6 - 04 May 2018 - 14:33:43 - JoseNunoOliveira
Revision 5r5 - 03 May 2018 - 19:53:25 - JoseNunoOliveira
Revision 4r4 - 22 Apr 2018 - 22:36:32 - JoseNunoOliveira
Revision 3r3 - 29 Mar 2018 - 15:31:16 - JoseNunoOliveira
Revision 2r2 - 08 Mar 2018 - 21:37:39 - JoseNunoOliveira
Revision 1r1 - 07 Mar 2018 - 20:32:46 - JoseNunoOliveira
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM