Cálculo de Programas

Licenciatura em Engenharia Informática

Tópicos

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 com a máxima urgência.

17 Jul O exame da época especial será no dia 21 de Setembro às 14h00 na sala 2206.

25 Jul As notas dos exames de recurso foram publicadas na secção de funcionamento. Os exames podem ser consultados na 3ª feira, dia 28 de Julho às 11h00 na sala DI 0.02. As orais para os alunos com notas de 8 e 9 serão no mesmo dia e sala às 14h00.

9 Jul A consulta dos testes será na sala DI 0.02.

Arquivo

50 Recent Changes in TWiki Web retrieved at 12:11 (GMT)

WebStatistics 29 Oct 2020 - 15:24 - r2303 TWikiGuest
Statistics for Education/CP0809 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic ...
WebSideBar 23 Feb 2010 - 10:38 - r9 JoseNunoOliveira
Tópicos Apresentação principal Programa Funcionamento Calendário Material Projecto Avisos
MaterialApoio 23 Feb 2010 - 08:51 - r31 JoseNunoOliveira
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 ...
Arquivo 27 Sep 2009 - 16:33 - r13 AlcinoCunha
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 ...
Avisos 27 Sep 2009 - 16:32 - r37 AlcinoCunha
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 ...
Funcionamento 27 Sep 2009 - 16:31 - r34 AlcinoCunha
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 ...
Programa 01 Apr 2009 - 11:43 - r4 AlcinoCunha
Cálculo point free Programação funcional usando combinadores. Álgebra da programação funcional: propriedades universais. Técnicas para eliminação de ...
WebHome 01 Apr 2009 - 11:42 - r20 AlcinoCunha
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 ...
Projecto 24 Mar 2009 - 17:49 - r4 AlcinoCunha
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 ...
Projecto0708 20 Feb 2009 - 14:00 - r5 AlcinoCunha
Enunciado do Projecto0708 Considere o seguinte tipo Haskell para representar uma linguagem de programação imperativa muito simples: data Exp Const Int ...
Calendario 19 Feb 2008 - 15:30 - NEW AlcinoCunha
WebPreferences 19 Feb 2008 - 15:04 - r16 AlcinoCunha
Education/CP0809 Web Preferences The following settings are web preferences of the Education/CP0809 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/CP0809 web
WebRss 28 Mar 2005 - 09:40 - r4 TWikiContributor
" else "TWiki's Education/CP0809 web"}% /Education/CP0809
WebNotify 28 Mar 2005 - 09:40 - r5 TWikiContributor
TWikiGuest example #64;your.company .WebChangesAlert, ., .TWikiRegistration
Found 25 topics.

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

r3 - 15 Nov 2006 - 19:43:52 - TWikiContributor
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM