Cálculo de Programas

Licenciaturas em Engenharia Informática e Ciências da Computação

Cancel

Search: \.*

Education/CP0910 Web	Changed	Changed by

Alunos

05 Oct 2018 - 08:28 - r24

JoseNunoOliveira

Classificações dos exames da época especial

Listadas por ordem crescente de número.

36773 = 10 ; 38207 = R ; 40514 = R ; 43110 = R ; 43201 = 10 ; 47021 = 10 ; 47023 = R ; 47058 = D ; 47081 = 10 ; 48391 = 14 ; 49310 = R ; 49321 = 11 ; 49340 = R ; 49347 = R ; 49378 = 11 ; 51757 = R ; 51764 = R ; 54813 = 10 .

Classificações finais, após exame de recurso

Listadas por ordem crescente de número.

15130 = F; 16630 = F; 19550 = R; 19569 = 10; 19671 = F; 19733 = F; 20208 = F; 22695 = F; 23916 = F; 24876 = F; 25073 = F; 27653 = F; 27658 = F; 27676 = F; 27678 = F; 28162 = F; 30237 = F; 30726 = F; 30746 = F; 32645 = F; 32647 = F; 32651 = F; 32652 = F; 33187 = F; 33188 = F; 33282 = F; 33694 = F; 33712 = F; 33822 = F; 35280 = F; 35820 = F; 35843 = 10; 35857 = F; 36424 = F; 36445 = F; 36764 = F; 36773 = R; 37029 = 10; 38123 = F; 38125 = F; 38176 = R; 38207 = F; 38573 = F; 38575 = F; 38576 = F; 38583 = F; 38586 = F; 38620 = F; 39288 = F; 39300 = 10; 39405 = F; 39502 = F; 39503 = F; 39508 = F; 40514 = F; 40610 = F; 40616 = F; 40623 = 10; 40650 = F; 40658 = 10; 40659 = F; 40674 = 11; 40688 = 12; 40957 = F; 40995 = F; 41013 = F; 41035 = F; 41044 = F; 41052 = F; 41578 = F; 41829 = F; 41836 = 10; 42098 = F; 42198 = F; 42211 = F; 42215 = 10; 42323 = 12; 43098 = 13; 43099 = F; 43110 = R; 43115 = F; 43119 = F; 43125 = F; 43131 = F; 43133 = D; 43136 = R; 43137 = D; 43139 = 13; 43143 = F; 43148 = F; 43157 = R; 43159 = F; 43164 = 15; 43171 = R; 43173 = 10; 43177 = 12; 43180 = F; 43183 = 10; 43194 = F; 43197 = F; 43201 = R; 43204 = F; 43205 = R; 43206 = D; 43354 = F; 43507 = F; 43517 = F; 43533 = 11; 43534 = R; 43538 = F; 44162 = F; 44192 = D; 44245 = R; 44259 = F; 44699 = F; 46194 = R; 46904 = F; 47021 = D; 47022 = 12; 47023 = R; 47024 = F; 47027 = D; 47029 = F; 47031 = 18; 47037 = F; 47038 = R; 47043 = 13; 47046 = 11; 47048 = 10; 47049 = R; 47057 = 16; 47058 = D; 47069 = R; 47071 = R; 47075 = F; 47076 = D; 47079 = 10; 47080 = F; 47081 = R; 47082 = F; 47083 = 10; 47088 = 10; 47089 = F; 47091 = F; 47093 = F; 47098 = F; 47104 = 17; 47106 = D; 47107 = 10; 47112 = F; 47113 = 10; 47115 = R; 47121 = R; 47127 = 10; 47394 = R; 47401 = 11; 47403 = 10; 47410 = 10; 47416 = F; 47419 = F; 47422 = 10; 47423 = F; 47424 = F; 47425 = 11; 47992 = R; 48032 = 13; 48162 = F; 48310 = F; 48391 = R; 48396 = F; 48398 = F; 48401 = 10; 48402 = F; 48404 = R; 48408 = F; 48410 = F; 48618 = F; 48828 = F; 49310 = F; 49312 = F; 49318 = 12; 49321 = R; 49322 = D; 49323 = F; 49325 = R; 49326 = R; 49329 = F; 49330 = F; 49333 = F; 49335 = R; 49337 = D; 49338 = 11; 49340 = R; 49343 = 10; 49345 = F; 49346 = F; 49347 = F; 49349 = 10; 49350 = 12; 49351 = 12; 49352 = R; 49353 = F; 49354 = F; 49355 = F; 49356 = 10; 49359 = 10; 49360 = F; 49361 = F; 49362 = F; 49364 = 10; 49367 = 17; 49368 = F; 49369 = D; 49374 = R; 49378 = R; 49381 = 11; 49386 = F; 49391 = F; 49393 = 15; 49399 = F; 49404 = F; 49405 = 13; 49411 = F; 49412 = 10; 49416 = R; 49417 = 10; 49418 = F; 49420 = F; 49421 = F; 49423 = 10; 50047 = F; 50185 = F; 50187 = R; 50190 = R; 50192 = 11; 50195 = 11; 50197 = 11; 50199 = F; 50201 = 10; 50722 = F; 51141 = F; 51142 = R; 51146 = 12; 51150 = F; 51152 = R; 51154 = F; 51159 = F; 51161 = F; 51162 = D; 51163 = 12; 51173 = F; 51177 = 10; 51178 = R; 51216 = F; 51741 = F; 51742 = F; 51743 = F; 51747 = F; 51748 = R; 51751 = F; 51754 = R; 51755 = 15; 51756 = R; 51757 = R; 51759 = R; 51763 = F; 51764 = R; 51765 = F; 51767 = 11; 51768 = R; 51770 = F; 51773 = R; 51775 = R; 51777 = R; 51778 = 12; 51779 = F; 51780 = R; 51782 = F; 51783 = F; 51784 = 10; 51785 = R; 51786 = R; 51787 = F; 51788 = F; 51790 = F; 51791 = R; 51794 = F; 51796 = F; 51797 = 10; 51798 = 10; 51800 = 12; 51804 = F; 51806 = 14; 51807 = R; 51809 = F; 51811 = F; 51813 = 14; 51816 = F; 51817 = R; 51819 = F; 51820 = F; 51822 = R; 51823 = 13; 51824 = F; 51825 = F; 51829 = R; 51834 = F; 51836 = F; 51838 = F; 51842 = D; 51846 = F; 51850 = 12; 51851 = F; 51852 = R; 51854 = F; 51855 = F; 51856 = R; 52588 = R; 52613 = R; 52735 = F; 52815 = F; 52816 = F; 52818 = 18; 52819 = F; 52821 = F; 52829 = F; 52838 = F; 52839 = F; 52840 = 11; 52845 = 12; 52847 = F; 52853 = F; 52854 = 13; 52857 = 13; 53359 = F; 53463 = F; 53502 = F; 53668 = F; 53791 = D; 53792 = R; 53793 = 12; 53796 = R; 53797 = F; 54049 = F; 54052 = F; 54054 = R; 54058 = R; 54068 = 10; 54073 = 10; 54074 = 13; 54075 = F; 54080 = F; 54138 = F; 54174 = F; 54712 = F; 54714 = 12; 54715 = 13; 54717 = F; 54719 = R; 54723 = R; 54724 = R; 54726 = F; 54727 = R; 54728 = 10; 54730 = 12; 54731 = R; 54734 = 12; 54735 = 10; 54736 = 17; 54737 = 12; 54738 = R; 54739 = R; 54740 = R; 54741 = 14; 54742 = 18; 54743 = 12; 54744 = 10; 54745 = 11; 54746 = F; 54747 = R; 54748 = F; 54749 = 11; 54750 = 14; 54751 = 11; 54753 = F; 54755 = F; 54756 = R; 54757 = F; 54759 = R; 54760 = 12; 54762 = F; 54763 = 10; 54765 = 11; 54767 = 16; 54769 = 13; 54770 = F; 54772 = 11; 54773 = 10; 54774 = D; 54775 = 14; 54776 = 10; 54780 = F; 54782 = 11; 54783 = 14; 54786 = R; 54788 = 14; 54789 = 11; 54790 = R; 54791 = R; 54792 = R; 54793 = R; 54796 = R; 54796 = R; 54801 = R; 54802 = F; 54803 = F; 54804 = 14; 54805 = 13; 54807 = R; 54808 = 10; 54813 = R; 54815 = R; 54816 = R; 54817 = F; 54818 = F; 54819 = 11; 54820 = F; 54821 = 16; 54822 = 11; 54825 = R; 55837 = 12; 55854 = F; 55866 = 11; 55888 = R; 55900 = 11; 56643 = F; 56837 = 10; 56974 = R; 56975 = R; 57217 = F.

16630 = F ; 19550 = R ; 19569 = F ; 19671 = F ; 19733 = F ; 20208 = F ; 22695 = F ; 23916 = F ; 24876 = F ; 25073 = F ; 27653 = F ; 27658 = F ; 27676 = F ; 27678 = F ; 28162 = F ; 30237 = F ; 30726 = F ; 30746 = F ; 32645 = F ; 32647 = F ; 32651 = F ; 32652 = F ; 33187 = F ; 33188 = F ; 33282 = F ; 33694 = F ; 33712 = F ; 33822 = F ; 35280 = F ; 35820 = F ; 35843 = R ; 35857 = F ; 36424 = F ; 36445 = F ; 36764 = F ; 36773 = R ; 37029 = F ; 38123 = F ; 38125 = F ; 38176 = R ; 38207 = F ; 38573 = F ; 38575 = F ; 38576 = F ; 38583 = F ; 38586 = F ; 38620 = F ; 39288 = F ; 39300 = R ; 39405 = F ; 39502 = F ; 39503 = F ; 39508 = F ; 40514 = F ; 40610 = F ; 40616 = F ; 40623 = R ; 40650 = F ; 40658 = R ; 40659 = F ; 40674 = 11 ; 40688 = 12 ; 40957 = F ; 40995 = F ; 41013 = F ; 41035 = F ; 41044 = F ; 41052 = F ; 41578 = F ; 41829 = F ; 41836 = 10 ; 42098 = F ; 42198 = F ; 42211 = F ; 42215 = 10 ; 42323 = 12 ; 43098 = 13 ; 43099 = F ; 43110 = D ; 43115 = F ; 43119 = F ; 43125 = F ; 43131 = F ; 43133 = F ; 43136 = R ; 43137 = F ; 43139 = 13 ; 43143 = F ; 43148 = F ; 43157 = D ; 43159 = F ; 43164 = 15 ; 43171 = F ; 43173 = F ; 43177 = R ; 43180 = F ; 43183 = 10 ; 43194 = F ; 43197 = F ; 43201 = D ; 43204 = F ; 43205 = F ; 43206 = F ; 43354 = F ; 43507 = F ; 43517 = F ; 43533 = 11 ; 43534 = F ; 43538 = F ; 44162 = F ; 44192 = F ; 44245 = F ; 44259 = F ; 44699 = F ; 46194 = R ; 46904 = F ; 47021 = F ; 47022 = 12 ; 47023 = F ; 47024 = F ; 47027 = D ; 47029 = F ; 47031 = F ; 47037 = F ; 47038 = F ; 47043 = 13 ; 47046 = 11 ; 47048 = R ; 47049 = R ; 47057 = R ; 47058 = F ; 47069 = F ; 47071 = R ; 47075 = F ; 47076 = F ; 47079 = 10 ; 47080 = F ; 47081 = F ; 47082 = F ; 47083 = 10 ; 47088 = R ; 47089 = F ; 47091 = F ; 47093 = F ; 47098 = F ; 47104 = 17 ; 47106 = F ; 47107 = R ; 47112 = F ; 47113 = D ; 47115 = R ; 47121 = R ; 47127 = 10 ; 47394 = F ; 47401 = 11 ; 47403 = R ; 47410 = 10 ; 47416 = F ; 47419 = F ; 47422 = 10 ; 47423 = F ; 47424 = F ; 47425 = 11 ; 47992 = F ; 48032 = F ; 48162 = F ; 48310 = F ; 48391 = F ; 48396 = F ; 48398 = F ; 48401 = R ; 48402 = F ; 48404 = F ; 48408 = F ; 48410 = F ; 48618 = F ; 48828 = F ; 49310 = F ; 49312 = F ; 49318 = 12 ; 49321 = F ; 49322 = F ; 49323 = F ; 49325 = D ; 49326 = F ; 49329 = F ; 49330 = F ; 49333 = F ; 49335 = R ; 49337 = F ; 49338 = R ; 49340 = D ; 49343 = 10 ; 49345 = F ; 49346 = F ; 49347 = F ; 49349 = 10 ; 49350 = 12 ; 49351 = F ; 49352 = F ; 49353 = F ; 49354 = F ; 49355 = F ; 49356 = R ; 49359 = 10 ; 49360 = F ; 49361 = F ; 49362 = F ; 49364 = R ; 49368 = F ; 49369 = D ; 49374 = R ; 49378 = F ; 49381 = 11 ; 49386 = F ; 49391 = F ; 49393 = 10 ; 49399 = F ; 49404 = F ; 49405 = R ; 49411 = F ; 49412 = R ; 49416 = F ; 49417 = 10 ; 49418 = F ; 49420 = F ; 49421 = F ; 49423 = 10 ; 50047 = F ; 50185 = F ; 50187 = F ; 50190 = F ; 50192 = 11 ; 50195 = 11 ; 50197 = F ; 50199 = F ; 50201 = R ; 50722 = F ; 51141 = F ; 51142 = F ; 51146 = 12 ; 51150 = F ; 51152 = R ; 51154 = F ; 51159 = F ; 51161 = F ; 51162 = F ; 51163 = 12 ; 51173 = F ; 51177 = 10 ; 51178 = R ; 51216 = F ; 51741 = F ; 51742 = F ; 51743 = F ; 51747 = F ; 51748 = R ; 51751 = F ; 51754 = D ; 51755 = 15 ; 51756 = R ; 51757 = F ; 51759 = F ; 51763 = F ; 51764 = R ; 51765 = F ; 51767 = 11 ; 51768 = F ; 51770 = F ; 51773 = F ; 51775 = R ; 51777 = R ; 51778 = 12 ; 51779 = F ; 51780 = R ; 51782 = F ; 51783 = F ; 51784 = 10 ; 51785 = F ; 51786 = R ; 51787 = F ; 51788 = F ; 51790 = F ; 51791 = F ; 51794 = F ; 51796 = F ; 51797 = 10 ; 51798 = 10 ; 51800 = 12 ; 51804 = F ; 51806 = R ; 51807 = R ; 51809 = F ; 51811 = F ; 51813 = 13 ; 51816 = F ; 51817 = R ; 51819 = F ; 51820 = F ; 51822 = R ; 51823 = 13 ; 51824 = F ; 51825 = F ; 51829 = R ; 51834 = F ; 51836 = F ; 51838 = F ; 51842 = F ; 51846 = F ; 51850 = R ; 51851 = F ; 51852 = F ; 51854 = F ; 51855 = F ; 51856 = R ; 52588 = F ; 52613 = F ; 52735 = F ; 52815 = F ; 52816 = F ; 52818 = F ; 52819 = F ; 52821 = F ; 52829 = F ; 52838 = F ; 52839 = F ; 52840 = 11 ; 52845 = 12 ; 52847 = F ; 52853 = F ; 52854 = 13 ; 52857 = 13 ; 53359 = F ; 53463 = F ; 53502 = F ; 53668 = F ; 53791 = F ; 53792 = R ; 53793 = 11 ; 53796 = R ; 53797 = F ; 54049 = F ; 54052 = F ; 54054 = D ; 54058 = R ; 54068 = 10 ; 54073 = 10 ; 54074 = 13 ; 54075 = F ; 54080 = F ; 54138 = F ; 54174 = F ; 54712 = F ; 54714 = 12 ; 54715 = 13 ; 54717 = F ; 54719 = R ; 54723 = F ; 54724 = R ; 54726 = F ; 54727 = D ; 54728 = 10 ; 54730 = 12 ; 54731 = F ; 54734 = R ; 54735 = 10 ; 54736 = D ; 54737 = R ; 54738 = R ; 54739 = R ; 54740 = F ; 54741 = 14 ; 54742 = 18 ; 54743 = 12 ; 54744 = R ; 54745 = 11 ; 54746 = F ; 54747 = F ; 54748 = F ; 54749 = 11 ; 54750 = 14 ; 54751 = 11 ; 54753 = F ; 54755 = F ; 54756 = R ; 54757 = F ; 54759 = F ; 54760 = 12 ; 54762 = F ; 54763 = 10 ; 54765 = 11 ; 54767 = 16 ; 54769 = 12 ; 54770 = F ; 54772 = F ; 54773 = R ; 54774 = F ; 54775 = 14 ; 54776 = 10 ; 54780 = F ; 54782 = 11 ; 54783 = F ; 54786 = R ; 54788 = 14 ; 54789 = 11 ; 54790 = R ; 54791 = F ; 54792 = R ; 54793 = R ; 54796 = F ; 54801 = D ; 54802 = F ; 54803 = F ; 54804 = 12 ; 54805 = 13 ; 54807 = R ; 54808 = R ; 54813 = R ; 54815 = R ; 54816 = F ; 54817 = F ; 54818 = F ; 54819 = 11 ; 54820 = F ; 54821 = 11 ; 54822 = 11 ; 54825 = F ; 55837 = 12 ; 55854 = F ; 55866 = 11 ; 55888 = F ; 55900 = 11 ; 56643 = F ; 56837 = R ; 56974 = D ; 56975 = R ; 57217 = F ; !-->

Notas das 6 fichas individuais dos alunos inscritos no Método A

Listadas por ordem crescente de número. Os alunos que não obtiveram a nota mínima devem apresentar-se a recurso.

38620 = 1.4; 40674 = 8.5; 40688 = 9.7; 42215 = 10.1; 42323 = 9.3; 43098 = 9.7; 43139 = 9.6; 43164 = 11.2; 43173 = 6.5; 43533 = 9; 47043 = 9.4; 47104 = 11.1; 47127 = 9.4; 47401 = 9.3; 47422 = 10.2; 47425 = 11.2; 49318 = 10.6; 49326 = 3.6; 49343 = 8; 49349 = 8; 49381 = 9.1; 49393 = 9.7; 50192 = 10; 50195 = 11; 50722 = 0.2; 51146 = 10.4; 51163 = 10; 51741 = 1.2; 51755 = 11.4; 51767 = 8.9; 51778 = 8; 51791 = 1.8; 51800 = 8; 51813 = 10.4; 51817 = 2; 51823 = 8.8; 52588 = 4.6; 52613 = 1.8; 52840 = 8.6; 52845 = 10.2; 52854 = 10.8; 52857 = 10.8; 53791 = 2.8; 53793 = 9.3; 54068 = 8.7; 54073 = 8.7; 54074 = 10.3; 54714 = 9.3; 54715 = 9.1; 54728 = 8; 54730 = 10.1; 54731 = 5.2; 54735 = 8.2; 54742 = 11.6; 54743 = 10.1; 54745 = 8.6; 54748 = 1.8; 54749 = 8.8; 54750 = 10; 54751 = 8.5; 54759 = 3.2; 54760 = 9.5; 54765 = 8; 54767 = 11.9; 54769 = 10.1; 54774 = 2.8; 54775 = 10.1; 54776 = 8; 54782 = 10.4; 54788 = 11.3; 54789 = 8.4; 54804 = 9.9; 54805 = 8.2; 54808 = 8; 54815 = 0.8; 54816 = 6.3; 54819 = 9.9; 54821 = 10.3; 54822 = 8.6; 55837 = 10.2; 55866 = 10.3; 55900 = 9.7

Alunos inscritos no Método A

Ver lista em baixo, ordenada por número de aluno (última actualização: 04-Jun, 17h00)

[ Informação removida (RGPD artigo 17º) ]

Avisos

11 Jan 2011 - 14:47 - r52

JoseNunoOliveira

27 Set - Classificações do exame da época especial: estão disponíveis na secção Alunos

13 Set - Exame da época especial: 15-Set-2010, 14h00-17h00, sala 2303.

26 Jul - Classificações finais, após exame de recurso: estão disponíveis na secção Alunos

11 Jul - No Material encontra-se uma nova versão do PDF do teste de 18-Jun com a resolução das questões que têm suscitado mais dúvidas.

08 Jul - detalhes sobre exame de recurso: 12-Jul, das 14h00 às 16h30, salas 2201, 2202, 2203 e 2204. (Ver também calendário oficial)

05 Jul - atenção aos transparentes sobre monadificação que estão no material da disciplina (ficheiro EasyMonads.pdf)

02 Jul - as classificações à data do teste de 18-Jun serão afixadas amanhã (3-Jul) de manhã.

23 Jun - o exame de recurso terá lugar dia 12-Jul (detalhes a anunciar).

14 Jun - O docente das aulas teóricas estará disponível no Lab. 1.04 para tirar dúvidas para o teste nas tardes de 3ª-feira (16h30-18h30) e 4ª-feira (14h-16h).

14 Jun - o formato do teste de 18-Jun encontra-se aqui. Ver as instruções relativas à diferença entre os métodos A e B.

11 Jun - Notas (Método A): estão disponíveis em Alunos. Os alunos que não obtiveram a nota mínima devem apresentar-se a recurso.

11 Jun - Teste individual: terá lugar a 18-Jun, das 11h00-13h30, nas salas Salas 2111, 2201, 2202, 2203, 2204, 2205 e 2209.

07 Jun - Questões (Método A): estão disponíveis no material pedagógico.

04 Jun - Teste de CP: terá lugar de hoje a quinze dias, 18-Jun de manhã, em local/hora a anunciar aqui.

04 Jun - Teóricas do dia 11-Jun: serão substituidas por aula prática de compensação, na mesma sala.

01 Jun - Turno TP/LCC: a aula extra deste turno será dia 2-Jun, das 15 às 18, no anfiteatro DI-A1.

28 Mai - Turno TP-4: haverá uma aula complementar da de hoje no dia 02-Jun, 15h-17h (na mesma sala).

20 Mai - Turno TP(5)/B: não haverá aula amanhã dia 21-Mai, 16h-18h, devido a uma reunião do docente na Universidade do Porto. A aula será compensada na próxima 6ª-feira, dia 28-Mai, das 18h-19h30.

19 Mai - Turno de LCC: haverá uma aula extra no dia 02-Jun, 14h-17h.

07 Mai - Turno TP-2: haverá uma aula de substituição da de ontem 4.a-feira dia 19-Mai, 15h-17h (na mesma sala).

07 Mai - Método A: as QAIs nrs.5+6 terão lugar nos turnos dos dias 27-Mai, 28-Mai e 31-Mai.

07 Mai - Método A: a QAI nr.4 terá lugar nos turnos dos dias 20-Mai, 21-Mai e 24-Mai.

30 Abr - A aula teórica do dia 4-Maio será substituída por uma de SO.

18 Abr - Ao contrário de que foi anunciado, os turnos de 5ª-feira (22-Abr) de LCC e o turno TP-05 de 23-Abr (LEI) funcionarão regularmente. Nos de LCC haverá avaliação (alunos do Método A).

13 Abr - Método A: a QAI nr.3 terá lugar nos turnos dos dias 22-Abr, 23-Abr e 26-Abr.

08 Abr - Turno TP-2: haverá uma aula de substituição da de hoje na próxima 4.a-feira dia 14-Abr, 15h-17h (na mesma sala).

06 Abr - Método A: a QAI nr.2 terá lugar nos turnos dos dias 15-Abr, 16-Abr e 19-Abr.

11 Mar - Método A: primeira Questão para Avaliação Individual (QAI nr.1) terá lugar nos turnos da semana 22-Mar a 26-Mar.

04 Mar - Já só há 4 vagas para o Método A, no turno TP-2.

01 Mar - A aula de amanhã, 02-Mar, será (execpcionalmente) de 2 horas, das 9h00 às 11h00, no anfiteatro CP2 103.

26 Fev - Há 10 vagas por preencher, ver Alunos

24 Fev - Anuncia-se que estão abertas mais 4 vagas em cada turno (LEI, TP-1 a TP-4). Importante: os pedidos de troca serão considerados por ordem de chegada, mas só aqueles que seguirem as instruções que constam em Alunos. Todos os outros serão ignorados.

23 Fev - Estão já publicadas as inscrições nos turnos TP-1 a TP-4 (LEI)

23 Fev - As aulas práticas começam 2ª-feira, dia 29 (LEI) e dia 4 (LCC)

19 Fev - As aulas teóricas começam 3ª-feira, dia 23 (LEI) e dia 26 (LCC)

Bibliografia

11 Jan 2011 - 15:00 - r4

JoseNunoOliveira

Bibliografia essencial

J.N. Oliveira. Program Design by Calculation. Departamento de Informática, Universidade do Minho, 2005. Livro em preparação: os capítulos 2, 3 e 4 já estão disponíveis.

A. Cunha. Cálculo de Programas: notas teórico-práticas. Departamento de Informática, Universidade do Minho, 2005. Documento em preparação: versão actual.

Bibliografia complementar

R. Bird and O. de Moor. Algebra of Programming. Series in Computer Science. Prentice-Hall International, 1997. C. A. R. Hoare, series editor.

P. Hudak. The Haskell School of Expression - Learning Functional Programming Through Multimedia. Cambridge University Press, 1st edition, 2000. ISBN 0-521-64408-9.

Calendario

19 Feb 2011 - 16:59 - r14

JoseNunoOliveira

Sumários da disciplina

Formato PDF (última actualização: 2010.Jun.24) : calendar_2010-01-01_2010-12-31.pdf.

Formato ICS (última actualização: 2010.Jul.12) : cp0910su.ics.zip.

EquipaDocente

15 Feb 2011 - 11:46 - r4

JoseNunoOliveira

Docentes

Docente	Código	Aulas	Licenciaturas
José Nuno Oliveira	406006	T + TP	LCC+LEI
Luís Soares Barbosa	406023	TP	LCC
Olga Pacheco	406036	TP	LEI

Funcionamento

19 Feb 2010 - 16:23 - NEW

JoseNunoOliveira

Avaliação

Os alunos devem escolher um dos seguintes métodos de avaliação:

Método A:

Prova individual escrita com nota mínima de 8 valores (60%).
Projecto prático desenvolvido em grupos de 2 alunos (30%).
Participação nas aulas práticas (10%).
Presença obrigatória nas aulas teórico-práticas.

Método B:

Prova individual escrita com nota mínima de 10 valores (100%).

O método de avaliação A só é válido para alunos de primeira inscrição e que não se encontrem enquadrados pelos regimes especiais de frequência referidos no artigo 19º do RIAPA; no entanto, abrimos uma execpção para qualquer outro aluno desde que prescinda do direito de não ter frequência que lhe confere o artigo 9º do RIAPA. O método A só poderá ser escolhido uma vez: quem optar por este método este ano e não obtiver aprovação terá necessariamente que optar pelo método B no próximo ano e seguintes. Os turnos práticos a frequentar são diferentes conforme o método de avaliação escolhido.

Notas

Horário

Tipo	Horário	Sala	Docente	Método	Inscritos
T	3ª 10h-11h	CP2 101	MAC	-	-
T	5ª 9h-10h	CP2 104	MAC	-	-
TP1	5ª 11h-13h	DI A2	JBB	A	pdf
TP2	5ª 14h-16h	CP2 304	MAC	A	pdf
TP3	5ª 16h-18h	CP1 303	MAC	B	pdf
TP4	6ª 9h-11h	CP2 111	MJF	A	pdf
TP5	6ª 11h-13h	CP2 111	MJF	A	pdf
TP2	5ª 14h-16h	DI A2	JBB	A	pdf

Atendimento

Docente	Horário	Telefone
MAC	Marcar por email	604444
JBB		604450
MJF		604445

HorarioAtendimento

02 Aug 2010 - 22:40 - r7

JoseNunoOliveira

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 junto do respectivo docente, com um mínimo de uma semana de antecedência:

Dia	Hora	Cursos	Docente
3.ª-feira	12h00-13h00	LEI	J.N. Oliveira
3.ª-feira	15h00-17h00	LEI	O.M. Pacheco
5.ª-feira	16h00-17h00	LEI	O.M. Pacheco
6.ª-feira	11h00-13h00	LCC, LEI	L.S. Barbosa
6.ª-feira	14h00-15h00	LCC	J.N. Oliveira

HorarioSalasDocentes

09 Mar 2010 - 09:29 - r7

JoseNunoOliveira

Horário

Ref	Dia	Hora	Tipo /Método	Sala	Cursos	Docente
1	2.-feira	11h00-13h00	TP (1) /A	CP3 403	LEI	O.M. Pacheco
2	3.-feira	10h00-11h00	T	CP2 103	LEI	J.N. Oliveira
3	5.-feira	09h00-10h00	T	CP2 103	LEI	J.N. Oliveira
4	5.-feira	14h00-16h00	TP (2) /A	CP3 404	LEI	O.M. Pacheco
5	5.-feira	16h00-17h00	TP	CP2 111	LCC	L.S. Barbosa
6	5.-feira	17h00-19h00	P	CP2 111	LCC	L.S. Barbosa
7	6.-feira	09h00-11h00	TP (3) /A	CP2 111	LEI	J.N. Oliveira
8	6.-feira	11h00-12h00	T	CP1 313	LCC	J.N. Oliveira
9	6.-feira	11h00-13h00	TP (4) /A	CP2 111	LEI	O.M. Pacheco
10	6.-feira	12h00-13h00	T	CP1 313	LCC	J.N. Oliveira
11	6.-feira	16h00-18h00	TP (5) /B	DI A2	LEI	L.S. Barbosa

MaterialPedagogico

14 Jun 2011 - 12:37 - r31

JoseNunoOliveira

Material Pedagógico

Fichas das aulas práticas

Transparentes

6 transparentes (PDF) mostrados na aula teórica de 13-Abril sobre cálculo da função sq.
12 transparentes (PDF) sobre o método de escrita de código monádico ensinado nas aulas teóricas.

Bibliotecas

Ficheiro zip (última actualização: 6-Jun) contendo bibliotecas em Haskell (Nat.hs, List.hs, LTree.hs, etc.) que definem os respectivos combinadores (eg. cata, for) e contêm os exemplos (eg. sq, fac) estudados nas aulas. O mesmo ficheiro contém também o módulo St.hs que anima uma versão simplificada do mónade de estado. Inclui ainda uma lista de demos (demos.hs) através do qual se pode a visualizar a estrutura de dados virtual (intermédia) dos hilomorfismos qSort, mSort, fib etc das bibliotecas BTree.hs e LTree.hs. Experimentar qSort_vtree [6,3,9,1,7,18], por exemplo. Encontrar-se-á a visualização da árvore intermédia no ficheiro _.html da directoria corrente.

Biblioteca Haskell para programar em estilo point-free.

Provas de avaliação

Data	Tipo	Método	Descrição	Ficheiro
-	Avaliação contínua	A	Questões de avaliação (6 * 5 turnos)	PDF, 34 págs
18-Jun-2010	Teste	A+B	Teste individual sem consulta	PDF (com a resolução de 5 questões)
12-Jul-2010	Exame	A+B	Exame individual sem consulta	PDF

Outro

Formulário (v1.1, com lei 75).

Programa

12 Jan 2011 - 17:45 - r4

JoseNunoOliveira

Programa resumido

Motivação. Teoria e método em programação. Cálculo e raciocínio sobre programas. Composicionalidade. Combinadores de programas. Modularidade e reutilização. «Pacotes» de programação.

Programação funcional: sua motivação e antecendentes históricos. Composição de funções. Noções de abstracção e de isomorfismo.

Iniciação à estruturação de dados. Combinadores básicos e suas propriedades estruturais (reflexão, fusão, absorção, cancelamento e de functorialidade). Álgebra de um tipo de dados. Lei da troca.

Introdução às estruturas de dados indutivas regulares. Álgebras de functores. A triologia «cata-ana-hilo». Recursividade polinomial. Caso de estudo: algoritmos de ordenação.

Regras para codificação de estruturas de dados funcionais na linguagem de programação C.

Parametrização e polimorfismo. Inferência de tipos polimórficos. Programação genérica. Functores de tipo. Introdução ao politipismo.

Programação modular.

Programação funcional com mónades. `Input/output'. Excepções.

Programa detalhado

1. Teoria e método em programação. Concepção composicional e reutilização. Combinadores de programas. Modelação funcional de problemas.

2. Introdução à Programação funcional. Conceito de função. A função como contrato. Diagramas de blocos. Domínio e codomínio de uma função. Igualdade extensional. Diagramas funcionais. Recurso a setas f : A -> B e diagramas. Notação funcional com ou sem variáveis.

3. Combinadores de programas funcionais. A composição f · g como combinador elementar de funções. Associatividade da composição: Função identidade id. O polimorfismo de id e a propriedade f ·id = id ·f = f e seu diagramas comutativo. O combinador <f,g> e o produto A × B (analogia com «struct» em C) e suas projecções. O combinador [f,g] e o coproduto A + B (analogia com «union» em C) e suas injecções. Os combinadores f × g e f + g . Noção de isomorfismo entre tipos de dados. Funções bijectivas ou isomorfismos. Função inversa. Predicados e guardas. Condicional de McCarthy.

4. Álgebra da programação funcional. Inferência de tipos polimórficos com recurso a diagramas. Propriedades naturais e propridades universais. Propriedades de reflexão. Propriedades de cancelamento e fusão. Lei da troca. Propriedades de absorção e propriedades functoriais. Leis de fusão do condicional de McCarthy.

5. Programação funcional em HASKELL. Costumização de produtos e coprodutos. Álgebras e coálgebras de tipos de dados. O conceito de «apontador» 1 + A (Maybe a em HASKELL). Funções parciais.

6. Programação com tipos de dados indutivos. Tipos de dados recursivos vistos como equações. Os número naturais e a equação N =1 + N. As listas ligadas e a equação L = 1 + A × L. Noção de combinadores recursivos. Exemplos: catamorfismos e anamorfismos. Hilomorfismos (anamorfismos seguidos de catamorfismos). Apresentação do módulo List.hs. Estudo da triologia cata-ana-hilo associada ao tipo List. O algoritmo de cálculo do quadrado de um número visto como hilomorfismo sobre a estrutura List a. O algoritmo de ordenação por inserção simples visto como hilomorfismo sobre a estrutura List a. Introdução ao tipo de dados árvores binárias simples, ou listas bi-lineares. Estudo da triologia cata-ana-hilo associada ao tipo BTree. Exemplo: o hilomorfismo qSort (`quick sort'). Estudo da triologia cata-ana-hilo associada ao tipo LTree. Exemplos: o hilomorfismo fib (série de Fibonacci) e o hilomorfismo mSort (`merge sort').

7. Definição genérica de um tipo indutivo de dados. Noção de functor de base. Operadores fmap vs catamorfismos: Politipismo da definição T a = B(a,T a) de um tipo indutivo genérico paramétrico. Noção de functor de tipo e sua formulação genérica como o catamorfismo T f =cata (in ·B(f,id)). Propriedade universal de um catamorfismo cata (f) do tipo genérico T a =B(a,t a) e suas derivadas: cancelamento-cata e reflexão-cata.

8. Classificação algorítmica. Quadro sinóptico dos principais algoritmos analisados e estudados ao longo da disciplina. Polimorfismo versus politipismo. Programação dita «genérica».

9. Programação funcional monádica. Motivação: funções parciais e sua composição. Manipulação de erros e mecanismos de excepção («exception handling»). Funções monádicas envolvendo listas. Mónadas versus functores. Noção de functor. Propriedades functoriais. Functores em HASKELL: a class Functor e o operador fmap. Regra geral para a composição monádica. Definição formal de mónade. Composição e sua unidade. Multiplicação e suas propriedades. Exemplos: listas e Maybe. Mónadas em HASKELL: a class Monad e os operadores return, (»=) e ». A notação do. Introdução à notação em compreensão. A definição fmap f x = do { a <- x ; return (f a) }. Regras para a monadificação de funções arbitrárias com recurso à notação "do".

RegimeAvaliacao

23 Feb 2010 - 13:10 - r5

JoseNunoOliveira

Regime de Avaliação

Os alunos devem escolher um dos seguintes métodos de avaliação:

Método A:

6 Fichas individuais (sem consulta) a realizar nas aulas TP: 12 valores, com nota mínima de 8 valores
Prova individual escrita (sem consulta): 8 valores.

Método B:

Prova individual escrita (sem consulta) com nota mínima de 10 valores.

Importante:

Quem escolheu o método de avaliação A no ano passado fica automaticamente no método B.
A escolha do método por cada aluno será feita na aula de apresentação (LEI: 23-Fev, LCC: 26-Fev)
Uma vez feita a escolha, só é permitida a mudança de método por troca, até à data da primeira ficha individual.

WebAtom	24 Jan 2006 - 06:07 - r2	TWikiContributor
TWiki's Education/CP0910 web The Education/CP0910 web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise. http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0910 Copyright 2020 by contributing authors 2020-10-30T14:39:00Z WebStatistics http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0910/WebStatistics 2020-10-30T14:39:00Z Statistics for Education/CP0910 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic ... (last changed by TWikiGuest) TWikiGuest Alunos http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0910/Alunos 2018-10-05T08:28:57Z Classificações dos exames da época especial Listadas por ordem crescente de número. 36773 10 ; 38207 R ; 40514 R ; 43110 R ; 43201 10 ; 47021 10 ; 47023 ... (last changed by JoseNunoOliveira) JoseNunoOliveira MaterialPedagogico http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0910/MaterialPedagogico 2011-06-14T12:37:57Z Material Pedagógico Fichas das aulas práticas Ficha 1. Ficha 2. Ficha 3. Ficha 4. Ficha 5. Ficha 6. Ficha 7. Ficha 8. ... (last changed by JoseNunoOliveira) JoseNunoOliveira WebSideBar http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0910/WebSideBar 2011-02-26T11:10:48Z Tópicos Apresentação Docentes Contacto principal Alunos Regime de Avaliação Horário Atendimento Sumários Programa ... (last changed by JoseNunoOliveira) JoseNunoOliveira Calendario http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0910/Calendario 2011-02-19T16:59:48Z Sumários da disciplina Formato PDF (última actualização: 2010.Jun.24) : calendar 2010 01 01 2010 12 31.pdf. Formato ICS (última actualização: 2010.Jul.12) : ... (last changed by JoseNunoOliveira) JoseNunoOliveira EquipaDocente http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0910/EquipaDocente 2011-02-15T11:46:46Z Docentes Docente Código Aulas Licenciaturas Nuno Oliveira 406006 T TP LCC LEI Soares Barbosa 406023 TP LCC Pacheco ... (last changed by JoseNunoOliveira) JoseNunoOliveira Programa http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0910/Programa 2011-01-12T17:45:20Z Programa resumido Motivação. Teoria e método em programação. Cálculo e raciocínio sobre programas. Composicionalidade. Combinadores de programas. Modularidade ... (last changed by JoseNunoOliveira) JoseNunoOliveira WebHome http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0910/WebHome 2011-01-12T17:40:08Z Benvindo a Cálculo de Programas Bem vindo à página da edição de 2009/10 da disciplina de de Programas. O meu nome é José Nuno Oliveira e sou o responsável por esta ... (last changed by JoseNunoOliveira) JoseNunoOliveira Bibliografia http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0910/Bibliografia 2011-01-11T15:00:56Z Bibliografia essencial J.N. Oliveira. Program Design by Calculation . Departamento de Informática, Universidade do Minho, 2005. Livro em preparação: os 2, 3 ... (last changed by JoseNunoOliveira) JoseNunoOliveira Avisos http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0910/Avisos 2011-01-11T14:47:51Z 27 Set Classificações do exame da época especial: estão disponíveis na secção Alunos 13 Set Exame da época especial: 15 Set 2010, 14h00 17h00, sala 2303 ... (last changed by JoseNunoOliveira) JoseNunoOliveira HorarioAtendimento http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0910/HorarioAtendimento 2010-08-02T22:40:46Z 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 ... (last changed by JoseNunoOliveira) JoseNunoOliveira HorarioSalasDocentes http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0910/HorarioSalasDocentes 2010-03-09T09:29:56Z Horário Ref Dia Hora Tipo /Método Sala Cursos Docente 1 2. feira 11h00 13h00 ... (last changed by JoseNunoOliveira) JoseNunoOliveira RegimeAvaliacao http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0910/RegimeAvaliacao 2010-02-23T13:10:47Z Regime de Avaliação Os alunos devem escolher um dos seguintes métodos de avaliação: Método A: 6 Fichas individuais (sem consulta) a realizar nas aulas TP: 12 ... (last changed by JoseNunoOliveira) JoseNunoOliveira Funcionamento http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0910/Funcionamento 2010-02-19T16:23:20Z Avaliação Os alunos devem escolher um dos seguintes métodos de avaliação: Método A: Prova individual escrita com nota mínima de 8 valores (60%). Projecto ... (last changed by JoseNunoOliveira) JoseNunoOliveira WebPreferences http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0910/WebPreferences 2010-02-01T11:02:05Z Education/CP0910 Web Preferences The following settings are web preferences of the Education/CP0910 web. These preferences overwrite the site level preferences ... (last changed by AlcinoCunha) AlcinoCunha WebTopicActions http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0910/WebTopicActions 2007-05-18T08:03:35Z (last changed by AlcinoCunha) AlcinoCunha

WebChanges

15 Nov 2006 - 19:43 - r3

TWikiContributor

50 Recent Changes in TWiki Web retrieved at 16:34 (GMT)

WebStatistics	30 Oct 2020 - 14:39 - r2300	TWikiGuest
Statistics for Education/CP0910 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic ...

Alunos	05 Oct 2018 - 08:28 - r24	JoseNunoOliveira
Classificações dos exames da época especial Listadas por ordem crescente de número. 36773 10 ; 38207 R ; 40514 R ; 43110 R ; 43201 10 ; 47021 10 ; 47023 ...

MaterialPedagogico	14 Jun 2011 - 12:37 - r31	JoseNunoOliveira
Material Pedagógico Fichas das aulas práticas Ficha 1. Ficha 2. Ficha 3. Ficha 4. Ficha 5. Ficha 6. Ficha 7. Ficha 8. ...

WebSideBar	26 Feb 2011 - 11:10 - r30	JoseNunoOliveira
Tópicos Apresentação Docentes Contacto principal Alunos Regime de Avaliação Horário Atendimento Sumários Programa ...

Calendario	19 Feb 2011 - 16:59 - r14	JoseNunoOliveira
Sumários da disciplina Formato PDF (última actualização: 2010.Jun.24) : calendar 2010 01 01 2010 12 31.pdf. Formato ICS (última actualização: 2010.Jul.12) : ...

EquipaDocente	15 Feb 2011 - 11:46 - r4	JoseNunoOliveira
Docentes Docente Código Aulas Licenciaturas Nuno Oliveira 406006 T TP LCC LEI Soares Barbosa 406023 TP LCC Pacheco ...

Programa	12 Jan 2011 - 17:45 - r4	JoseNunoOliveira
Programa resumido Motivação. Teoria e método em programação. Cálculo e raciocínio sobre programas. Composicionalidade. Combinadores de programas. Modularidade ...

WebHome	12 Jan 2011 - 17:40 - r28	JoseNunoOliveira
Benvindo a Cálculo de Programas Bem vindo à página da edição de 2009/10 da disciplina de de Programas. O meu nome é José Nuno Oliveira e sou o responsável por esta ...

Bibliografia	11 Jan 2011 - 15:00 - r4	JoseNunoOliveira
Bibliografia essencial J.N. Oliveira. Program Design by Calculation . Departamento de Informática, Universidade do Minho, 2005. Livro em preparação: os 2, 3 ...

Avisos	11 Jan 2011 - 14:47 - r52	JoseNunoOliveira
27 Set Classificações do exame da época especial: estão disponíveis na secção Alunos 13 Set Exame da época especial: 15 Set 2010, 14h00 17h00, sala 2303 ...

HorarioAtendimento	02 Aug 2010 - 22:40 - r7	JoseNunoOliveira
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 ...

HorarioSalasDocentes	09 Mar 2010 - 09:29 - r7	JoseNunoOliveira
Horário Ref Dia Hora Tipo /Método Sala Cursos Docente 1 2. feira 11h00 13h00 ...

RegimeAvaliacao	23 Feb 2010 - 13:10 - r5	JoseNunoOliveira
Regime de Avaliação Os alunos devem escolher um dos seguintes métodos de avaliação: Método A: 6 Fichas individuais (sem consulta) a realizar nas aulas TP: 12 ...

Funcionamento	19 Feb 2010 - 16:23 - NEW	JoseNunoOliveira
Avaliação Os alunos devem escolher um dos seguintes métodos de avaliação: Método A: Prova individual escrita com nota mínima de 8 valores (60%). Projecto ...

WebPreferences	01 Feb 2010 - 11:02 - r16	AlcinoCunha
Education/CP0910 Web Preferences The following settings are web preferences of the Education/CP0910 web. These preferences overwrite the site level preferences ...

WebTopicActions	18 May 2007 - 08:03 - r2	AlcinoCunha

WebCss	16 Feb 2007 - 14:32 - r3	AlcinoCunha
.natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs { width:0px; height:0px; overflow:hidden; } .avisos { color: #444; font size ...

WebTopBar	13 Feb 2007 - 14:43 - NEW	AlcinoCunha

WebLeftBar	13 Feb 2007 - 10:35 - r5	AlcinoCunha
Apresentação Sumários Projectos Material

WebTopicList	15 Nov 2006 - 19:43 - r3	TWikiContributor

WebSearchAdvanced	15 Nov 2006 - 19:43 - r3	TWikiContributor

WebTopicCreator	15 Nov 2006 - 19:43 - r2	TWikiContributor

WebIndex	15 Nov 2006 - 19:43 - r4	TWikiContributor

WebSearch	15 Nov 2006 - 19:43 - r3	TWikiContributor

WebChanges	15 Nov 2006 - 19:43 - r3	TWikiContributor

WebAtom	24 Jan 2006 - 06:07 - r2	TWikiContributor
TWiki's Education/CP0910 web

WebRss	28 Mar 2005 - 09:40 - r4	TWikiContributor
" else "TWiki's Education/CP0910 web"}% /Education/CP0910

WebNotify	28 Mar 2005 - 09:40 - r5	TWikiContributor
TWikiGuest example #64;your.company .WebChangesAlert, ., .TWikiRegistration

Found 28 topics.

See also: RSS feed, recent changes with 50, 100, 200, 500, 1000 topics, all changes

WebCss

16 Feb 2007 - 14:32 - r3

AlcinoCunha

.natRevision { width:0px; height:0px; overflow:hidden; }

.natBreadCrumbs { width:0px; height:0px; overflow:hidden; }

.avisos { color: #444; font-size:12px; }

.natMainFooterContents, .natMainHeaderContents { padding:0px; margin:0px 0px; }

WebHome

12 Jan 2011 - 17:40 - r28

JoseNunoOliveira

Benvindo a Cálculo de Programas

Bem vindo à página da edição de 2009/10 da disciplina de Cálculo de Programas. O meu nome é José Nuno Oliveira e sou o responsável por esta disciplina, que conta com uma equipa de docentes altamente qualificados na investigação e ensino de métodos que, como os que se leccionam nesta disciplina, estão na base da abordagem científica ao desenvolvimento de software. Todos fazemos parte do Laboratório HASLab (Formal Methods for High-Assurance Software), em que se vem consolidando know-how em métodos formais de programação desde há mais de 25 anos.

A palavra "programa" vem do grego "programma", uma derivação de "prographein" = "pro" (antes) + "graphein" (escrever). Isto sugere que alguém que programa deve pensar antes no que vai fazer.

Tratando-se de programas de computador, essa sugestão é da maior importância: os programas escritos sem se pensar antes têm normalmente erros subtis que os testes não detectam e que constituem não só um perigo (por exemplo, em software crítico) mas também um custo acrescido para as empresas que os desenvolvem.

Cada vez mais, a indústria pede às universidades que ensinem a programar a sério, isto é, de forma a evitar tais erros. Para isso, é preciso introduzir a noção de cálculo em programação, isto é, uma disciplina que nos ajude a pensar os programas, raciocinar sobre eles e obter versões eficientes sem que a sua correcção fique comprometida.

A Universidade do Minho tem uma longa tradição neste tipo de ensino. Cálculo de Programas é a cadeira que, nas licenciaturas de Eng. Informática e Ciências da Computação, ensina tais competências. Mais do que tecnologia ensina-se método, que é afinal aquilo que a maioria dos programadores não tem de facto.

Resultados da Aprendizagem

Quien sabe por Algebra, sabe scientificamente.
Pedro Nunes(1502-1578) in Libro de Algebra, 1567, fol 270r.

Análise de programas: escrever programas funcionais com recurso a combinadores algébricos.

Transformação de programas: recurso à algebra da programação para se obterem programas mais eficientes a partir de outros.

Compreensão de programas: recurso à factorização em pares "fold" + "unfold" (hilomorfismos) como forma de se perceber o significado de um programa funcional.

Síntese de programas: cálculo de ciclos-for a partir de definições indutivas da matemática.

Programação funcional avançada: construir e raciocinar sobre programas funcionais com efeitos sob a forma de mónades.

Página principal

Entrar aqui.

WebIndex

15 Nov 2006 - 19:43 - r4

TWikiContributor

Education/CP0910 Web	Changed	Changed by

Alunos	05 Oct 2018 - 08:28 - r24	JoseNunoOliveira
Classificações dos exames da época especial Listadas por ordem crescente de número. 36773 10 ; 38207 R ; 40514 R ; 43110 R ; 43201 10 ; 47021 10 ; 47023 ...

Avisos	11 Jan 2011 - 14:47 - r52	JoseNunoOliveira
27 Set Classificações do exame da época especial: estão disponíveis na secção Alunos 13 Set Exame da época especial: 15 Set 2010, 14h00 17h00, sala 2303 ...

Bibliografia	11 Jan 2011 - 15:00 - r4	JoseNunoOliveira
Bibliografia essencial J.N. Oliveira. Program Design by Calculation . Departamento de Informática, Universidade do Minho, 2005. Livro em preparação: os 2, 3 ...

Calendario	19 Feb 2011 - 16:59 - r14	JoseNunoOliveira
Sumários da disciplina Formato PDF (última actualização: 2010.Jun.24) : calendar 2010 01 01 2010 12 31.pdf. Formato ICS (última actualização: 2010.Jul.12) : ...

EquipaDocente	15 Feb 2011 - 11:46 - r4	JoseNunoOliveira
Docentes Docente Código Aulas Licenciaturas Nuno Oliveira 406006 T TP LCC LEI Soares Barbosa 406023 TP LCC Pacheco ...

Funcionamento	19 Feb 2010 - 16:23 - NEW	JoseNunoOliveira
Avaliação Os alunos devem escolher um dos seguintes métodos de avaliação: Método A: Prova individual escrita com nota mínima de 8 valores (60%). Projecto ...

HorarioAtendimento	02 Aug 2010 - 22:40 - r7	JoseNunoOliveira
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 ...

HorarioSalasDocentes	09 Mar 2010 - 09:29 - r7	JoseNunoOliveira
Horário Ref Dia Hora Tipo /Método Sala Cursos Docente 1 2. feira 11h00 13h00 ...

MaterialPedagogico	14 Jun 2011 - 12:37 - r31	JoseNunoOliveira
Material Pedagógico Fichas das aulas práticas Ficha 1. Ficha 2. Ficha 3. Ficha 4. Ficha 5. Ficha 6. Ficha 7. Ficha 8. ...

Programa	12 Jan 2011 - 17:45 - r4	JoseNunoOliveira
Programa resumido Motivação. Teoria e método em programação. Cálculo e raciocínio sobre programas. Composicionalidade. Combinadores de programas. Modularidade ...

RegimeAvaliacao	23 Feb 2010 - 13:10 - r5	JoseNunoOliveira
Regime de Avaliação Os alunos devem escolher um dos seguintes métodos de avaliação: Método A: 6 Fichas individuais (sem consulta) a realizar nas aulas TP: 12 ...

WebAtom	24 Jan 2006 - 06:07 - r2	TWikiContributor
TWiki's Education/CP0910 web

WebChanges	15 Nov 2006 - 19:43 - r3	TWikiContributor

WebCss	16 Feb 2007 - 14:32 - r3	AlcinoCunha
.natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs { width:0px; height:0px; overflow:hidden; } .avisos { color: #444; font size ...

WebHome	12 Jan 2011 - 17:40 - r28	JoseNunoOliveira
Benvindo a Cálculo de Programas Bem vindo à página da edição de 2009/10 da disciplina de de Programas. O meu nome é José Nuno Oliveira e sou o responsável por esta ...

WebIndex	15 Nov 2006 - 19:43 - r4	TWikiContributor

WebLeftBar	13 Feb 2007 - 10:35 - r5	AlcinoCunha
Apresentação Sumários Projectos Material

WebNotify	28 Mar 2005 - 09:40 - r5	TWikiContributor
TWikiGuest example #64;your.company .WebChangesAlert, ., .TWikiRegistration

WebPreferences	01 Feb 2010 - 11:02 - r16	AlcinoCunha
Education/CP0910 Web Preferences The following settings are web preferences of the Education/CP0910 web. These preferences overwrite the site level preferences ...

WebRss	28 Mar 2005 - 09:40 - r4	TWikiContributor
" else "TWiki's Education/CP0910 web"}% /Education/CP0910

WebSearch	15 Nov 2006 - 19:43 - r3	TWikiContributor

WebSearchAdvanced	15 Nov 2006 - 19:43 - r3	TWikiContributor

WebSideBar	26 Feb 2011 - 11:10 - r30	JoseNunoOliveira
Tópicos Apresentação Docentes Contacto principal Alunos Regime de Avaliação Horário Atendimento Sumários Programa ...

WebStatistics	30 Oct 2020 - 14:39 - r2300	TWikiGuest
Statistics for Education/CP0910 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic ...

WebTopBar	13 Feb 2007 - 14:43 - NEW	AlcinoCunha

WebTopicActions	18 May 2007 - 08:03 - r2	AlcinoCunha

WebTopicCreator	15 Nov 2006 - 19:43 - r2	TWikiContributor

WebTopicList	15 Nov 2006 - 19:43 - r3	TWikiContributor

Found 28 topics.

Web Changes Notification Service

Each TWiki web has an automatic e-mail notification service that sends you an e-mail with links to all of the topics modified since the last alert.

Users subscribe to email notifications using their WikiName or an alternative email address, and can specify the webs/topics they wish to track using one of these bullet list formats:

three spaces * [ webname . ] wikiName - SMTP mail address
three spaces * [ webName . ] wikiName
three spaces * SMTP mail address
three spaces * SMTP mail address : topics
three spaces * [ webname . ] wikiName : topics

In the above examples, topics is a space-separated list of topic names. The user may further customize the specific content they will receive using the following formats:

Specify topics without a Web. prefix
Topics must exist in this web.
Topics may be specified using * wildcards
Each topic may optionally be preceded by a '+' or '-' sign. The '+' sign means "subscribe to this topic" (the same as not putting anything). The '-' sign means "unsubscribe" or "don't send notifications regarding this topic". This allows users to elect to filter out certain topics (and their children, to an arbitrary depth). Topic filters ('-') take precedence over topic includes ('+').
Each topic may optionally be followed by an integer in parentheses, indicating the depth of the tree of children below that topic. Changes in all these children will be detected and reported along with changes to the topic itself. Note This uses the TWiki "Topic parent" feature.
Each topic may optionally be immediately followed by an exclamation mark ! or a question mark ? with no intervening spaces, indicating that the topic (and children if there is a tree depth specifier as well) should be mailed out as complete topics instead of change summaries. ! causes the topic to be mailed every time even if there have been no changes, ? will mail the topic only if there have been changes to it. This only makes sense for subscriptions.

For example: Subscribe Daisy to all changes to topics in this web.

   * daisy.cutter@flowers.com

Subscribe Daisy to all changes in all webs that start with Web.

   * daisy.cutter@flowers.com: Web*

Subscribe Daisy to changes to topics starting with Petal, and their immediate children, WeedKillers and children to a depth of 3, and all topics that match start with Pretty and end with Flowers e.g. PrettyPinkFlowers

   * TWiki.DaisyCutter: Petal* (1) TWiki.WeedKillers (3) Pretty*Flowers

Subscribe StarTrekFan to changes to all topics that start with Star except those that end in Wars, sInTheirEyes or shipTroopers.

   * TWiki.StarTrekFan: Star* - *Wars - *sInTheirEyes - *shipTroopers

Subscribe Daisy to the full content of NewsLetter whenever it has changed

   * daisy@flowers.com: TWiki.NewsLetter?

Subscribe buttercup to NewsLetter and its immediate children, even if it hasn't changed.

   * buttercup@flowers.com: TWiki.NewsLetter! (1)

Subscribe GardenGroup (which includes Petunia) to all changed topics under AllnewsLetters to a depth of 3. Then unsubscribe Petunia from the ManureNewsLetter, which she would normally get as a member of GardenGroup? :

   * TWiki.GardenGroup: TWiki.AllNewsLetters? (3)
   * petunia@flowers.com: - TWiki.ManureNewsLetter

A user may be listed many times in the WebNotify topic. Where a user has several lines in WebNotify that all match the same topic, they will only be notified about changes that topic once (though they will still receive individual mails for news topics).

If a TWiki group is listed for notification, the group will be recursively expanded to the e-mail addresses of all members.

Tip: List names in alphabetical order to make it easier to find the names.

Note for System Administrators: Notification is supported by an add-on to the TWiki kernel called the MailerContrib. See the MailerContrib topic for details of how to set up this service.

Note: If you prefer a news feed, point your reader to WebRss (for RSS 1.0 feeds) or WebAtom (for ATOM 1.0 feeds). Learn more at WebRssBase and WebAtomBase, respectively.

Related topics: WebChangesAlert, TWikiUsers, TWikiRegistration

WebPreferences

01 Feb 2010 - 11:02 - r16

AlcinoCunha

Education/CP0910 Web Preferences

The following settings are web preferences of the Education.CP0910 web. These preferences overwrite the site-level preferences in TWiki.TWikiPreferences and Main.TWikiPreferences, and can be overwritten by user preferences (your personal topic, eg: TWikiGuest in the Main web).

Web Preferences Settings

These settings override the defaults for this web only. See full list of defaults with explanation. Many of the settings below are commented out. Remove the # sign to enable a local customisation.

Natural Skin configuration

Set SKIN=nat

Set SKINSTYLE = Plain
Set STYLEBORDER = thin
Set STYLEBUTTONS = off
Set STYLESIDEBAR = left
Set STYLEVARIATION = none
Set STYLESEARCHBOX = off

Set PAGETITLE= Cálculo de Programas

Set NATWEBLOGO = Cálculo de Programas

Set WEBCOPYRIGHT = Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.

List of topics of the Education/CP0910 web:
- #Set WEBTOPICLIST = Changes | Index | Search | Go

#D0D0D0

Web-specific background color: (Pick a lighter one of the StandardColors).
- Set WEBBGCOLOR = #D0D0D0
- Note: This setting is automatically configured when you create a web

Image, URL and alternate tooltip text of web's logo.
Note: Don't add your own local logos to the TWikiLogos topic; create your own logos topic instead.

Set WEBLOGOURL = WebHome
Set WEBLOGOIMG =
Set WEBLOGOALT = Cálculo de Programas

List this web in the SiteMap. If you want the web listed, then set SITEMAPLIST to on, do not set NOSEARCHALL, and add the "what" and "use to..." description for the site map. Use links that include the name of the web, i.e. Education/CP0910.Topic links.
Note: Unlike other variables, the setting of SITEMAPLIST is not inherited from parent webs. It has to be set in every web that is to be listed in the SiteMap
- Set SITEMAPLIST = on
- Set SITEMAPWHAT = Cálculo de Programas
- Set SITEMAPUSETO = Licenciaturas em Engenharia Informática e Ciências da Computação
- Note: Above settings are automatically configured when you create a web

Exclude web from a web="all" search: (Set to on for hidden webs).
- Set NOSEARCHALL =
- Note: This setting is automatically configured when you create a web

Prevent automatic linking of WikiWords and acronyms (if set to on); link WikiWords (if empty); can be overwritten by web preferences:
- #Set NOAUTOLINK =
- Note: You can still use the [[...][...]] syntax to link topics if you disabled WikiWord linking. The <noautolink> ... </noautolink> syntax can be used to prevents links within a block of text.

Default template for new topics for this web:
- WebTopicEditTemplate? : Default template for new topics in this web. (Site-level is used if topic does not exist)
- TWiki.WebTopicEditTemplate: Site-level default topic template

Comma separated list of forms that can be attached to topics in this web. See TWikiForms for more information.
- Set WEBFORMS =

Users or groups who are not / are allowed to view / change / rename topics in the Education/CP0910 web: (See TWikiAccessControl). Remove the # to enable any of these settings. Remember that an empty setting is a valid setting; setting DENYWEBVIEW to nothing means that anyone can view the web.
- #Set DENYWEBVIEW =
- #Set ALLOWWEBVIEW =
- #Set DENYWEBCHANGE =
- #Set ALLOWWEBCHANGE = JoseNunoOliveira
- #Set DENYWEBRENAME =
- #Set ALLOWWEBRENAME = JoseNunoOliveira

Users or groups allowed to change or rename this WebPreferences topic: (e.g., TWikiAdminGroup)
- #Set ALLOWTOPICCHANGE = TWikiAdminGroup
- Set ALLOWTOPICRENAME = TWikiAdminGroup

Web preferences that are not allowed to be overridden by user or topic preferences:
- Set FINALPREFERENCES = NOSEARCHALL, ATTACHFILESIZELIMIT, WIKIWEBMASTER, WEBCOPYRIGHT, WEBTOPICLIST, DENYWEBVIEW, ALLOWWEBVIEW, DENYWEBCHANGE, ALLOWWEBCHANGE, DENYWEBRENAME, ALLOWWEBRENAME

Help on Preferences

A preference setting is defined by:
3 or 6 spaces * Set NAME = value
Example:
- Set WEBBGCOLOR = #FFFFC0
A preferences setting can be disabled with a # sign. Remove the # sign to enable a local customisation. Example:
- #Set DENYWEBCHANGE = UnknownUser
Preferences are used as TWikiVariables by enclosing the name in percent signs. Example:
- When you write variable %WEBBGCOLOR% , it gets expanded to #D0D0D0
The sequential order of the preference settings is significant. Define preferences that use other preferences first, i.e. set WEBCOPYRIGHT before WIKIWEBMASTER since %WEBCOPYRIGHT% uses the %WIKIWEBMASTER% variable.
You can introduce your own preferences variables and use them in your topics and templates.

Tools

Rename, move or delete this web:
- Rename/move/delete web..., looking for references in all public webs - See also: ManagingWebs

WebRss	28 Mar 2005 - 09:40 - r4	TWikiContributor
TWiki search results for \.* http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0910 The Education/CP0910 web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise. en-us Copyright 2020 by contributing authors TWiki Administrator [webmaster@di.uminho.pt] The contributing authors of TWiki TWiki DIUM.Education/CP0910 http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0910 /twiki/pub/Main/LocalLogos/um_eengP.jpg Alunos http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0910/Alunos Classificações dos exames da época especial Listadas por ordem crescente de número. 36773 10 ; 38207 R ; 40514 R ; 43110 R ; 43201 10 ; 47021 10 ; 47023 ... (last changed by JoseNunoOliveira) 2018-10-05T08:28:57Z JoseNunoOliveira MaterialPedagogico http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0910/MaterialPedagogico Material Pedagógico Fichas das aulas práticas Ficha 1. Ficha 2. Ficha 3. Ficha 4. Ficha 5. Ficha 6. Ficha 7. Ficha 8. ... (last changed by JoseNunoOliveira) 2011-06-14T12:37:57Z JoseNunoOliveira WebSideBar http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0910/WebSideBar Tópicos Apresentação Docentes Contacto principal Alunos Regime de Avaliação Horário Atendimento Sumários Programa ... (last changed by JoseNunoOliveira) 2011-02-26T11:10:48Z JoseNunoOliveira Calendario http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0910/Calendario Sumários da disciplina Formato PDF (última actualização: 2010.Jun.24) : calendar 2010 01 01 2010 12 31.pdf. Formato ICS (última actualização: 2010.Jul.12) : ... (last changed by JoseNunoOliveira) 2011-02-19T16:59:48Z JoseNunoOliveira EquipaDocente http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0910/EquipaDocente Docentes Docente Código Aulas Licenciaturas Nuno Oliveira 406006 T TP LCC LEI Soares Barbosa 406023 TP LCC Pacheco ... (last changed by JoseNunoOliveira) 2011-02-15T11:46:46Z JoseNunoOliveira Programa http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0910/Programa Programa resumido Motivação. Teoria e método em programação. Cálculo e raciocínio sobre programas. Composicionalidade. Combinadores de programas. Modularidade ... (last changed by JoseNunoOliveira) 2011-01-12T17:45:20Z JoseNunoOliveira WebHome http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0910/WebHome Benvindo a Cálculo de Programas Bem vindo à página da edição de 2009/10 da disciplina de de Programas. O meu nome é José Nuno Oliveira e sou o responsável por esta ... (last changed by JoseNunoOliveira) 2011-01-12T17:40:08Z JoseNunoOliveira Bibliografia http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0910/Bibliografia Bibliografia essencial J.N. Oliveira. Program Design by Calculation . Departamento de Informática, Universidade do Minho, 2005. Livro em preparação: os 2, 3 ... (last changed by JoseNunoOliveira) 2011-01-11T15:00:56Z JoseNunoOliveira Avisos http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0910/Avisos 27 Set Classificações do exame da época especial: estão disponíveis na secção Alunos 13 Set Exame da época especial: 15 Set 2010, 14h00 17h00, sala 2303 ... (last changed by JoseNunoOliveira) 2011-01-11T14:47:51Z JoseNunoOliveira HorarioAtendimento http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0910/HorarioAtendimento 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 ... (last changed by JoseNunoOliveira) 2010-08-02T22:40:46Z JoseNunoOliveira HorarioSalasDocentes http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0910/HorarioSalasDocentes Horário Ref Dia Hora Tipo /Método Sala Cursos Docente 1 2. feira 11h00 13h00 ... (last changed by JoseNunoOliveira) 2010-03-09T09:29:56Z JoseNunoOliveira RegimeAvaliacao http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0910/RegimeAvaliacao Regime de Avaliação Os alunos devem escolher um dos seguintes métodos de avaliação: Método A: 6 Fichas individuais (sem consulta) a realizar nas aulas TP: 12 ... (last changed by JoseNunoOliveira) 2010-02-23T13:10:47Z JoseNunoOliveira Funcionamento http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0910/Funcionamento Avaliação Os alunos devem escolher um dos seguintes métodos de avaliação: Método A: Prova individual escrita com nota mínima de 8 valores (60%). Projecto ... (last changed by JoseNunoOliveira) 2010-02-19T16:23:20Z JoseNunoOliveira WebPreferences http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0910/WebPreferences Education/CP0910 Web Preferences The following settings are web preferences of the Education/CP0910 web. These preferences overwrite the site level preferences ... (last changed by AlcinoCunha) 2010-02-01T11:02:05Z AlcinoCunha WebTopicActions http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0910/WebTopicActions (last changed by AlcinoCunha) 2007-05-18T08:03:35Z AlcinoCunha WebCss http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0910/WebCss .natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs { width:0px; height:0px; overflow:hidden; } .avisos { color: #444; font size ... (last changed by AlcinoCunha) 2007-02-16T14:32:59Z AlcinoCunha

WebSearch

15 Nov 2006 - 19:43 - r3

TWikiContributor

Web Search

Search: \.*

Found 0 topics.

Advanced search \| Help TIP: to search for all topics that contain `"SOAP"`, `"WSDL"`, a literal `"web service"`, but not `"shampoo"`, write: `soap wsdl "web service" -shampoo`
Search where:	Text body Topic title Both body and title All public webs (otherwise search Education/CP0910 Web only)

Other search options:

If you already know the name of the topic, enter the name of the topic into the Jump box at the top
List all topics in the Education/CP0910 web in alphabetical order
List topics that start with the letter: A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z
Recently changed topics

WebSearchAdvanced

15 Nov 2006 - 19:43 - r3

TWikiContributor

Advanced Search

Search: \.*

Education/CP0910 Web	Changed	Changed by