The Education/CP0809 web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise. http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0809 Copyright 2020 by contributing authors 2020-10-29T15:24:25Z http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0809/WebStatistics 2020-10-29T15:24:25Z

Statistics for Education/CP0809 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic ... (last changed by TWikiGuest)

TWikiGuest http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0809/WebSideBar 2010-02-23T10:38:12Z

Tópicos Apresentação principal Programa Funcionamento Calendário Material Projecto Avisos (last changed by JoseNunoOliveira)

JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0809/MaterialApoio 2010-02-23T08:51:58Z

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)

JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0809/Arquivo 2009-09-27T16:33:15Z

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)

AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0809/Avisos 2009-09-27T16:32:59Z

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)

AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0809/Funcionamento 2009-09-27T16:31:13Z

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)

AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0809/Programa 2009-04-01T11:43:26Z

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)

AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0809/WebHome 2009-04-01T11:42:19Z

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)

AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0809/Projecto 2009-03-24T17:49:53Z

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)

AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0809/Projecto0708 2009-02-20T14:00:21Z

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)

AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0809/Calendario 2008-02-19T15:30:29Z

(last changed by AlcinoCunha)

AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0809/WebPreferences 2008-02-19T15:04:37Z

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)

AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0809/WebTopicActions 2007-05-18T08:03:35Z

(last changed by AlcinoCunha)

AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0809/WebCss 2007-02-16T14:32:59Z

.natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs { width:0px; height:0px; overflow:hidden; } .avisos { color: #444; font size ... (last changed by AlcinoCunha)

AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0809/WebTopBar 2007-02-13T14:43:04Z

(last changed by AlcinoCunha)

AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/CP0809/WebLeftBar 2007-02-13T10:35:33Z

Apresentação Sumários Projectos Material (last changed by AlcinoCunha)

AlcinoCunha