http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0809 The Education/CP0809 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 http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0809 http://wiki.di.uminho.pt/twiki/pub/Main/LocalLogos/um_eengP.jpg http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0809/WebSideBar Tópicos Apresentação principal Programa Funcionamento Calendário Material Projecto Avisos (last changed by JoseNunoOliveira) 2010-02-23T10:38:12Z JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0809/MaterialApoio Bibliografia 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 ... (last changed by JoseNunoOliveira) 2010-02-23T08:51:58Z JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0809/Arquivo 8 Jul Todos os alunos admitidos podem ir ao exame de recurso, mesmo que já tenham obtido aprovação. Quem entregar o exame ficará com a nota respectiva (nessa componente ... (last changed by AlcinoCunha) 2009-09-27T16:33:15Z AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0809/Avisos 27 Set As notas da época especial foram publicadas na secção de funcionamento. O aluno que não preencheu o nome deve contactar pessoalmente o responsável da disciplina ... (last changed by AlcinoCunha) 2009-09-27T16:32:59Z AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0809/Funcionamento Equipa docente Alcino Cunha Bernardo Barros João Frade Avaliação Os alunos devem escolher um dos seguintes métodos de avaliação: Método A: Prova ... (last changed by AlcinoCunha) 2009-09-27T16:31:13Z AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0809/Programa Cálculo point free Programação funcional usando combinadores. Álgebra da programação funcional: propriedades universais. Técnicas para eliminação de ... (last changed by AlcinoCunha) 2009-04-01T11:43:26Z AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0809/WebHome Dès le commencement de ce siècle, l'algorithme avait atteint un degré de complication tel que tout progrès était devenu impossible par ce moyen, sans l'élégance que ... (last changed by AlcinoCunha) 2009-04-01T11:42:19Z AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0809/Projecto Enunciado O objectivo do projecto deste ano é desenvolver um programa capaz de automatizar o cálculo de programas no estilo point free . Mais especificamente, dada ... (last changed by AlcinoCunha) 2009-03-24T17:49:53Z AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0809/Projecto0708 Enunciado do Projecto0708 Considere o seguinte tipo Haskell para representar uma linguagem de programação imperativa muito simples: data Exp Const Int ... (last changed by AlcinoCunha) 2009-02-20T14:00:21Z AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0809/Calendario (last changed by AlcinoCunha) 2008-02-19T15:30:29Z AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0809/WebPreferences Education/CP0809 Web Preferences The following settings are web preferences of the Education/CP0809 web. These preferences overwrite the site level preferences ... (last changed by AlcinoCunha) 2008-02-19T15:04:37Z AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0809/WebTopicActions (last changed by AlcinoCunha) 2007-05-18T08:03:35Z AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0809/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 http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0809/WebTopBar (last changed by AlcinoCunha) 2007-02-13T14:43:04Z AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0809/WebLeftBar Apresentação Sumários Projectos Material (last changed by AlcinoCunha) 2007-02-13T10:35:33Z AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0809/WebTopicList (last changed by TWikiContributor) 2006-11-15T19:43:52Z TWikiContributor