19 Set - Classificações do exame de época especial: estão publicadas em Alunos.
05 Set - Exame da época especial: ver o calendário da disciplina.
25 Jul - Classificações finais: estão publicadas em Alunos.
21 Jul - Os alunos que pretendam consultar os seus exames poderão fazê-lo hoje, 21-Jul, das 16h00-18h00, junto do responsável da disciplina.
21 Jul - Provas orais: terão lugar dia 23-Jul de manhã, das 9h às 11h, na sala DI 1.08.
21 Jul - Classificações do exame de recurso: estão publicadas em Alunos.
18 Jul - As notas do exame de recurso serão lançadas em Alunos dentro de 2 ou 3 dias no máximo.
25 Jun - Horário para consulta do teste: amanhã (26-Jun) das 11h-13h e das 14h30-16h30, no gabinete de Luis S. Barbosa.
24 Jun - O exame de recurso está marcado para as 9h00 de 4-Jul, nas salas CPII - 201, 202 e 203, cf. Sumários.
24 Jun - Classificações à data da época normal: estão publicadas em Alunos .
24 Mai - Publicado no Material Pedagógico o enunciado do teste de 13-Jun, com a correcção.
23 Mai - Continua a haver alunos que não têm fotografia no portal académico, o que pode comprometer a sua componente de avaliação contínua na disciplina.
11 Jun - Teste de 13-Jun: por falta de salas foi necessário alterar a hora do teste para as 18h, ver Sumários.
11 Jun - Algumas dúvidas frequentes encontram-se respondidas na secção de FAQs do Atendimento.
05 Jun - Classificações do mini-teste: estão publicadas em Alunos.
26 Mai - Publicada no Material Pedagógico aúltima ficha prática (nr.11).
21 Mai - Publicado no Material Pedagógico o enunciado do mini-teste com a correcção.
21 Mai - LEI, Turno TP4: devido a uma missão em Lisboa o docente não poderá leccionar esta aula, tendo lugar a sua substituição dia 4 de Junho das 17 às 19h, no anfiteatro DI-A2.
18 Mai - Publicada no Material Pedagógico a ficha nr.10, destinada às aulas práticas da semana de aulas que começa a 19-Mai.
11 Mai - O miniteste dia 15-Maio, 9h00, salas CPII - 201, 202 e 203 é uma prova individual sem consulta, exceptuando o formulário da disciplina que os alunos podem imprimir a partir do Material Pedagógico.
10 Mai - Turno LEI-TP2, de quinta-feira: as aulas de compensação terão lugar 2ª e 3ª-feira no horário afixado em Sumários. Por favor não faltem: são aulas essenciais em que vai ser versada matéria quer sai para o mini-teste.
10 Mai - Miniteste dia 15-Maio, 9h00, salas CPII - 201, 202 e 203: a matéria a avaliar vai até à Ficha nr.9, excluindo lei de recursividade múltipla e fusão-cata envolvendo árvores. A matéria é, obviamente, a mesma para os dois cursos.
08 Mai - Chama-se a atenção dos alunos para as aulas de reposição do turno TP2 (LEI) que terão lugar nos dias 12 e 13 de Maio - ver Sumários.
04 Mai - Publicada no Material Pedagógico a ficha nr.9, destinada às aulas práticas da semana de aulas que começa a 05-Mai.
30 Abr - Não tendo sido possível cumprir estritamente o calendário previsto para as aulas de CP, informa-se que o teste foi adiado para o dia 15 de Maio, 9h, nas salas CP2 - 201, 202 e 203 (ver Sumários.
24 Abr - Por determinação superior e tal como se avisa nos Sumários, foram suspensas as aulas do dia de hoje.
20 Abr - Publicada no Material Pedagógico a ficha nr.8, destinada às aulas práticas da semana de aulas que começa a 22-Abr.
20 Abr - Chama-se a atenção dos alunos para as aulas de reposição de vários turnos que terão lugar no dia 23-Abr, ver Sumários.
06 Abr - Publicada no Material Pedagógico a ficha nr.7, destinada às aulas práticas da semana que começa a 7-Abr.
30 Mar - Publicada no Material Pedagógico a ficha nr.6, destinada às aulas práticas da semana que começa a 31-Mar.
30 Mar - Publicado na Bibliografia o capítulo dos apontamentos teóricos da disciplina referentes à segunda parte da matéria.
22 Mar - Publicada no Material Pedagógico ficha nr.5, destinada às aulas práticas da semana que começa a 24-Mar.
15 Mar - Aula de substituição (LEI/TP4): Tal como anunciado em Sumários, a aula em falta será reposta 4feira, dia 19 de Março, 17-19h na sala DI-A2.
15 Mar - Publicada no Material Pedagógico a ficha nr.4, destinada às aulas práticas da semana que começa a 17-Mar.
08 Mar - Publicada no Material Pedagógico a ficha nr.3, destinada às aulas práticas da semana que começa a 10-Mar.
03 Mar - Publicada no Material Pedagógico a ficha nr.2, destinada às aulas práticas desta semana.
03 Mar (LEI): mudança de sala da aula teórica de 5.ª-feira: passou para o CP1/A3.
03 Mar - Fotografias: os alunos que não têm fotografia no portal académico devem tratar de a disponibilizar o mais rapidamente possível. A falta de fotografia pode comprometer a componente de avaliação contínua desta disciplina.
22 Fev - Publicada no Material Pedagógico a ficha nr.1, destinada às aulas práticas da semana que começa a 24-Fev.
17 Fev - Datas das avaliações: ver Sumários17 Fev - Turnos TP (LEI): ver Alunos16 Fev - Calendário previsto para a disciplina publicado em Sumários, incluindo provas de avaliação.
14 Fev - As aulas terão início a 17-Fev-2014.
14 Fev - Criada esta página de avisos.
J.N. Oliveira. Program Design by Calculation. Departamento de Informática, Universidade do Minho. Os capítulos deste livro (em preparação) essenciais para esta disciplina no corrente ano lectivo são o segundo ( 504K) e o terceiro ( 527K).
Bibliografia complementar
A. Cunha. Cálculo de Programas: notas teórico-práticas. Departamento de Informática, Universidade do Minho, 2005. (290k).
R. Bird and O. de Moor. Algebra of Programming. Series in Computer Science. Prentice-Hall International, 1997. C. A. R. Hoare, series editor. BGUM 510.5-B
Formato PDF : a disponibilizar oportunamente
Formato ICS : a disponibilizar oportunamente
Actualização contínua no calendário:
-- JoseNunoOliveira - 06 Feb 2013
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: marcação verbal junto do respectivo docente com um mínimo de 24h de antecedência.
Atendimento electrónico (FAQs)
Q1 - Estou com dificuldade em resolver um dos exercicios que aparecem na blibliografia (exercicio 2.21, pagina 38 do segundo capitulo), onde é pedido para verificar a seguinte propriedade: < f , ( p -> q , h ) > = p -> < f, q >, < h , f > tendo em conta que p -> f , f = f...R: Não é de admirar pois, infelizmente, havia uma gralha (!) no exercício, que já se corrigiu no PDF desse capítulo: deverá provar < f , ( p -> q , h ) > = p -> < f, q >, < f , h > e não o que lá estava (troca de f com h).
Q2 - Estou sem conseguir resolver a questão 8 do teste de 2011/12: definir um anamorfismo de naturais como um catamorfismo de listas. Tentei usar a lei universal-ana(44) mas fiquei bloqueado a meio.R: Sim, universal-ana (naturais) é bom começo (expandindo out = [nil,cons]º ):
f = [( (id+p2). [nil,cons]º )]
== { universal-ana (naturais); álgebra in dos naturais é [0,succ] }
f = in. (id + f ) . (id+p2). [nil,cons]º
== { passando isomorfismo [nil,cons]º para o outro lado, "trocando o sinal" }
f . [nil,cons] = in. (id + f ) . (id+p2)
== { ... }
Aqui começa a preparação das coisas para termos f como catamorfismo de listas: fica como exercício.
A dificuldade desta questão é que começa com um anamorfismo de naturais (F f = id + f) e termina com um catamorfismo de listas (F f = id + id x f). A mudança de F dá-se a partir do ponto em que se parou acima. Como sempre, as propriedades naturais não se devem ignorar (neste caso a do p2).
Q3 - Na ficha 9, ex. 3, consegui obter as seguintes igualdades:
look k . nil = Nothinglook k . cons = (==k) . π1 . π1 -> Just . π2 . π1, (look k) . π2
Mas não consigo perceber qual será o próximo passo a tomar a partir daqui.
R: Como o functor é F f = id + id >< f, vamos precisar de ter
(look k). in = g . (id + id >< (look k))
É fácil decompor g = [ const Nothing, g2], passando agora a dificuldade a ser resolver a equação
em ordem a g2. Por natural-π2, (look k) . π2 = π2. (id >< (look k)). Por natural-π1, π1 = π1 . (id >< (look k)).
Substituindo:
g2. (id >< (look k) = (==k) . π1 . (π1 . (id >< (look k))) -> Just . π2 . (π1 . (id >< (look k))), (π2. (id >< (look k)))
que simplifica pela 2ª lei de fusão de McCarthy:
g2. (id >< (look k) = ((==k) . π1 . π1 -> Just . π2 . π1 , π2) . (id >< (look k))
Cancelando (id >< (look k) obtém-se:
g2 = (==k) . π1 . π1 -> Just . π2 . π1 , π2
Esta é de facto a versão de look que aparece na secção (4.2) da biblioteca List.hs.
Q4 - Na ficha 9, ex. 6, chego a
f2 . in = [nil, f1 . π2]
Dado que tenho que aplicar, mais tarde, a lei de Fokkinga, ainda fiz o seguinte passo:
f2 . in = [nil, π1 . <f1, f2> . π2] (*)
mas não consegui avançar mais.
R: A lei que refere vai pedir, para um gene g2 que queremos calcular, f2 . in = g2 . F <f1, f2>, isto é,
f2 . in = g2 . (id + id >< <f1, f2>)
pois estamos a trabalhar como listas. Por natural-π2, <f1, f2> . π2 = π2 . (id >< <f1, f2>). Logo, (*) é o mesmo que
f2 . in = [nil, π1 . π2 . (id >< <f1, f2>)]
Por absorção-+, teremos finalmente
f2 . in = [nil, π1 . π2] . (id + id >< <f1, f2>)
Logo g2 = [nil, π1 . π2]. O raciocínio para f1 é idêntico.
Q5 - Estou a tentar resolver a questão 6 do teste de 17 de Junho de 2013: fiz os diagramas de cada catamorfismo e chego às definições das funções com variáveis através da lei universal-cata e consigo perceber que realmente fazem a mesma coisa, mas não sei se era assim que era suposto resolver...R: Não, isso mostra... mas não prova! O que queremos provar é que f=g, sendo ambas catamorfismos. Logo podemos usar a lei-universal aplicada a f ou g, à nossa escolha, por exemplo
f = ([ (const k), id ])
<=> { Universal-cata }
f.in = [(const k), id] . (id + f)
<=> { simplificação }
f.in = [(const k), f]
<=> { cancelamento-cata (f) }
[const k, const k].(id+f) = [(const k), f]
<=> { simplificação seguida de eq-(+) etc }
f = const k
Agora basta verificar se const k = g, pelo mesmo processo.
-- JoseNunoOliveira - 14 Feb 2014
google.hs - exemplo 'ad hoc' de estratégia map-reduce (à la Google) implementada directamente por combinadores estudados nesta disciplina.
demos.hs - contendo material auxiliar para a visualização em HTML da estrutura de dados virtual (intermédia) dos hilomorfismos qSort, hanoi, mSort etc das bibliotecas BTree.hs e LTree.hs. Experimentar qSort_vtree [6,3,9,1,7,18] e hanoi_vtree (True, 7), por exemplo. Encontrar-se-á a visualização no ficheiro _.html da directoria corrente.
LTree.hs - biblioteca contendo os cata/ana/hilomorfismos do tipo de dados árvores binárias de folhas - LTree a = Leaf a | Fork (LTree a, LTree a) e aplicações suas (e.g. duplo factorial, `merge-sort', Fibonacci etc).
BTree.hs - biblioteca contendo os cata/ana/hilomorfismos do tipo de dados árvores binárias - data BTree a = Empty | Node(a, (BTree a, BTree a)), e aplicações suas (e.g. torres de Hanói, `quick-sort', etc).
List.hs - biblioteca geral para listas em Haskell, contendo a respectiva bateria de combinadores ana+cata+hilo e exemplos de utilização, que incluem os dados nas aulas.
Nat.hs - biblioteca de naturais (combinador ciclo-for, etc).
Cp.hs - contendo os combinadores de base do cálculo de programas, e.g. split, ><, -|- etc.
Miniteste (6 questões, sem consulta): 12 valores, com nota mínima de 8 valores.
Teste (4 questões, sem consulta) sobre a parte da matéria não coberta pelo miniteste: 8 valores (apenas para alunos com nota mínima no miniteste).
Exame de recurso: segundo o regime geral em vigor na universidade.
Alternativa 2:
Teste (10 questões, sem consulta) sobre toda a matéria: 20 valores.
Exame de recurso: segundo o regime geral em vigor na universidade.
A Alternativa 1 fica escolhida automaticamente mediante entrega do miniteste para correcção. Não é permitida a posterior mudança de alternativa de avaliação.
Regime de Faltas
Adopta-se o regime geral em vigor na universidade.
-- jno - 14 Feb 2014
TWiki's Education/CP1314 webThe Education/CP1314 web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise.http://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314Copyright 2020 by contributing authors2020-10-30T14:39:06ZWebStatisticshttp://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/WebStatistics2020-10-30T14:39:06ZStatistics for Education/CP1314 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic ... (last changed by TWikiGuest)TWikiGuestAlunoshttp://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/Alunos2019-07-07T09:25:19ZAlunos As classificações constantes desta página foram removidas no final do ano lectivo. (last changed by JoseNunoOliveira)JoseNunoOliveiraBibliografiahttp://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/Bibliografia2015-02-23T14:35:07ZBibliografia Bibliografia essencial J.N. Oliveira. Program Design by Calculation . Departamento de Informática, Universidade do Minho. Os capítulos deste livro ... (last changed by JoseNunoOliveira)JoseNunoOliveiraAvisoshttp://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/Avisos2015-01-11T15:43:34Z19 Set Classificações do exame de época especial : estão publicadas em Alunos. 05 Set Exame da época especial: ver o calendário da disciplina. 25 Jul Classifica ... (last changed by JoseNunoOliveira)JoseNunoOliveiraMaterialPedagogicohttp://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/MaterialPedagogico2014-09-12T10:25:56ZMaterial Pedagógico Fichas das aulas práticas Ficha 1 (revisões de PF) Ficha 2 Ficha 3 Ficha 4 Ficha 5 Ficha 6 Ficha ... (last changed by JoseNunoOliveira)JoseNunoOliveiraWebSideBarhttp://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/WebSideBar2014-09-06T11:10:12ZTópicos Apresentação Docentes Regime de Avaliação Horário Sumários Material Alunos Atendimento principal no ... (last changed by JoseNunoOliveira)JoseNunoOliveiraHorarioAtendimentohttp://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/HorarioAtendimento2014-06-12T17:47:14ZHorá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)JoseNunoOliveiraHorarioSalasDocenteshttp://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/HorarioSalasDocentes2014-03-03T18:18:15ZHorário e turnos Curso Turno Dia Hora Sala Docente LCC T1 2ª feira 16h 18h ... (last changed by JoseNunoOliveira)JoseNunoOliveiraWebHomehttp://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/WebHome2014-02-17T15:48:28ZBenvindo a Cálculo de Programas Bem vindo à página da edição de 2013/14 da disciplina de de Programas. O meu nome é Nuno Oliveira e sou o responsável por esta disciplina ... (last changed by JoseNunoOliveira)JoseNunoOliveiraEquipaDocentehttp://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/EquipaDocente2014-02-17T15:42:53ZDocentes Docente Código Aulas Licenciaturas Soares Barbosa 406023 TP LCC, LEI Nuno Oliveira 406006 T, TP LCC, LEI Pacheco ... (last changed by JoseNunoOliveira)JoseNunoOliveiraRegimeAvaliacaohttp://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/RegimeAvaliacao2014-02-14T18:46:15ZRegime de Avaliação Alternativa 1: Miniteste (6 questões, sem consulta): 12 valores, com nota mínima de 8 valores. Teste (4 questões, sem consulta ... (last changed by JoseNunoOliveira)JoseNunoOliveiraCalendariohttp://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/Calendario2014-02-14T18:37:58ZSumários da disciplina Formato PDF : a disponibilizar oportunamente Formato ICS : a disponibilizar oportunamente Actualização contínua no calendário: JoseNunoOliveira ... (last changed by JoseNunoOliveira)JoseNunoOliveiraWebPreferenceshttp://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/WebPreferences2014-02-14T18:27:01ZEducation/CP1314 Web Preferences The following settings are web preferences of the Education/CP1314 web. These preferences overwrite the site level preferences ... (last changed by AlcinoCunha)AlcinoCunhaWebTopicActionshttp://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/WebTopicActions2007-05-18T08:03:35Z (last changed by AlcinoCunha)AlcinoCunhaWebCsshttp://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/WebCss2007-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)AlcinoCunhaWebTopBarhttp://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/WebTopBar2007-02-13T14:43:04Z (last changed by AlcinoCunha)AlcinoCunha
Bibliografia Bibliografia essencial J.N. Oliveira. Program Design by Calculation . Departamento de Informática, Universidade do Minho. Os capítulos deste livro ...
19 Set Classificações do exame de época especial : estão publicadas em Alunos. 05 Set Exame da época especial: ver o calendário da disciplina. 25 Jul Classifica ...
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 ...
Benvindo a Cálculo de Programas Bem vindo à página da edição de 2013/14 da disciplina de de Programas. O meu nome é Nuno Oliveira e sou o responsável por esta disciplina ...
Sumários da disciplina Formato PDF : a disponibilizar oportunamente Formato ICS : a disponibilizar oportunamente Actualização contínua no calendário: JoseNunoOliveira ...
Education/CP1314 Web Preferences The following settings are web preferences of the Education/CP1314 web. These preferences overwrite the site level preferences ...
Bem vindo à página da edição de 2013/14 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 (High-Assurance Software Laboratory), 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.
Cada vez mais, a indústria pede às universidades que ensinem a programar a sério, isto é, de forma reflectida e capaz de evitar erros de programação. 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.
Citação
Quien sabe por Algebra, sabe scientificamente. Pedro Nunes(1502-1578) in Libro de Algebra, 1567, fol 270r.
Resultados da Aprendizagem
Programação composicional: aprender a escrever programas complexos por composição de programas mais simples (princípio da composicionalidade).
Programação construtiva: aprender a escrever programas funcionais com recurso a combinadores algébricos.
Transformação de programas: recurso à algebra da programação para se obter eficiência sem sacrifício da correcção.
Arquitectura da programação: Análise, compreensão e catalogação de programas: recurso à factorização em pares "fold" + "unfold" (hilomorfismos) como forma de se perceber a arquitectura dos algoritmos e sua taxonomia.
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.
19 Set Classificações do exame de época especial : estão publicadas em Alunos. 05 Set Exame da época especial: ver o calendário da disciplina. 25 Jul Classifica ...
Bibliografia Bibliografia essencial J.N. Oliveira. Program Design by Calculation . Departamento de Informática, Universidade do Minho. Os capítulos deste livro ...
Sumários da disciplina Formato PDF : a disponibilizar oportunamente Formato ICS : a disponibilizar oportunamente Actualização contínua no calendário: 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 ...
Benvindo a Cálculo de Programas Bem vindo à página da edição de 2013/14 da disciplina de de Programas. O meu nome é Nuno Oliveira e sou o responsável por esta disciplina ...
Education/CP1314 Web Preferences The following settings are web preferences of the Education/CP1314 web. These preferences overwrite the site level preferences ...
This is a subscription service to be automatically notified by e-mail when topics change in this Education/CP1314 web. This is a convenient service, so you do not have to come back and check all the time if something has changed. To subscribe, please add a bullet with your WikiName in alphabetical order to this list:
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
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? :
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
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
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.
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/CP1314.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)
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/CP1314 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.
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.
TWiki search results for \.*
http://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314
The Education/CP1314 web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise.en-usCopyright 2020 by contributing authorsTWiki Administrator [webmaster@di.uminho.pt]The contributing authors of TWikiTWikiDIUM.Education/CP1314
http://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314
/twiki/pub/Main/LocalLogos/um_eengP.jpgAlunos
http://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/Alunos
Alunos As classificações constantes desta página foram removidas no final do ano lectivo. (last changed by JoseNunoOliveira)2019-07-07T09:25:19ZJoseNunoOliveiraBibliografia
http://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/Bibliografia
Bibliografia Bibliografia essencial J.N. Oliveira. Program Design by Calculation . Departamento de Informática, Universidade do Minho. Os capítulos deste livro ... (last changed by JoseNunoOliveira)2015-02-23T14:35:07ZJoseNunoOliveiraAvisos
http://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/Avisos
19 Set Classificações do exame de época especial : estão publicadas em Alunos. 05 Set Exame da época especial: ver o calendário da disciplina. 25 Jul Classifica ... (last changed by JoseNunoOliveira)2015-01-11T15:43:34ZJoseNunoOliveiraMaterialPedagogico
http://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/MaterialPedagogico
Material Pedagógico Fichas das aulas práticas Ficha 1 (revisões de PF) Ficha 2 Ficha 3 Ficha 4 Ficha 5 Ficha 6 Ficha ... (last changed by JoseNunoOliveira)2014-09-12T10:25:56ZJoseNunoOliveiraWebSideBar
http://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/WebSideBar
Tópicos Apresentação Docentes Regime de Avaliação Horário Sumários Material Alunos Atendimento principal no ... (last changed by JoseNunoOliveira)2014-09-06T11:10:12ZJoseNunoOliveiraHorarioAtendimento
http://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/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)2014-06-12T17:47:14ZJoseNunoOliveiraHorarioSalasDocentes
http://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/HorarioSalasDocentes
Horário e turnos Curso Turno Dia Hora Sala Docente LCC T1 2ª feira 16h 18h ... (last changed by JoseNunoOliveira)2014-03-03T18:18:15ZJoseNunoOliveiraWebHome
http://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/WebHome
Benvindo a Cálculo de Programas Bem vindo à página da edição de 2013/14 da disciplina de de Programas. O meu nome é Nuno Oliveira e sou o responsável por esta disciplina ... (last changed by JoseNunoOliveira)2014-02-17T15:48:28ZJoseNunoOliveiraEquipaDocente
http://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/EquipaDocente
Docentes Docente Código Aulas Licenciaturas Soares Barbosa 406023 TP LCC, LEI Nuno Oliveira 406006 T, TP LCC, LEI Pacheco ... (last changed by JoseNunoOliveira)2014-02-17T15:42:53ZJoseNunoOliveiraRegimeAvaliacao
http://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/RegimeAvaliacao
Regime de Avaliação Alternativa 1: Miniteste (6 questões, sem consulta): 12 valores, com nota mínima de 8 valores. Teste (4 questões, sem consulta ... (last changed by JoseNunoOliveira)2014-02-14T18:46:15ZJoseNunoOliveiraCalendario
http://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/Calendario
Sumários da disciplina Formato PDF : a disponibilizar oportunamente Formato ICS : a disponibilizar oportunamente Actualização contínua no calendário: JoseNunoOliveira ... (last changed by JoseNunoOliveira)2014-02-14T18:37:58ZJoseNunoOliveiraWebPreferences
http://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/WebPreferences
Education/CP1314 Web Preferences The following settings are web preferences of the Education/CP1314 web. These preferences overwrite the site level preferences ... (last changed by AlcinoCunha)2014-02-14T18:27:01ZAlcinoCunhaWebTopicActions
http://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/WebTopicActions
(last changed by AlcinoCunha)2007-05-18T08:03:35ZAlcinoCunhaWebCss
http://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/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:59ZAlcinoCunhaWebTopBar
http://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/WebTopBar
(last changed by AlcinoCunha)2007-02-13T14:43:04ZAlcinoCunhaWebLeftBar
http://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/WebLeftBar
Apresentação Sumários Projectos Material (last changed by AlcinoCunha)2007-02-13T10:35:33ZAlcinoCunha
19 Set - Classificações do exame de época especial: estão publicadas em Alunos.
05 Set - Exame da época especial: ver o calendário da disciplina.
25 Jul - Classificações finais: estão publicadas em Alunos.
21 Jul - Os alunos que pretendam consultar os seus exames poderão fazê-lo hoje, 21-Jul, das 16h00-18h00, junto do responsável da disciplina.
21 Jul - Provas orais: terão lugar dia 23-Jul de manhã, das 9h às 11h, na sala DI 1.08.
21 Jul - Classificações do exame de recurso: estão publicadas em Alunos.
18 Jul - As notas do exame de recurso serão lançadas em Alunos dentro de 2 ou 3 dias no máximo.
25 Jun - Horário para consulta do teste: amanhã (26-Jun) das 11h-13h e das 14h30-16h30, no gabinete de Luis S. Barbosa.
24 Jun - O exame de recurso está marcado para as 9h00 de 4-Jul, nas salas CPII - 201, 202 e 203, cf. Sumários.
24 Jun - Classificações à data da época normal: estão publicadas em Alunos .
24 Mai - Publicado no Material Pedagógico o enunciado do teste de 13-Jun, com a correcção.
23 Mai - Continua a haver alunos que não têm fotografia no portal académico, o que pode comprometer a sua componente de avaliação contínua na disciplina.
11 Jun - Teste de 13-Jun: por falta de salas foi necessário alterar a hora do teste para as 18h, ver Sumários.
11 Jun - Algumas dúvidas frequentes encontram-se respondidas na secção de FAQs do Atendimento.
05 Jun - Classificações do mini-teste: estão publicadas em Alunos.
26 Mai - Publicada no Material Pedagógico aúltima ficha prática (nr.11).
21 Mai - Publicado no Material Pedagógico o enunciado do mini-teste com a correcção.
21 Mai - LEI, Turno TP4: devido a uma missão em Lisboa o docente não poderá leccionar esta aula, tendo lugar a sua substituição dia 4 de Junho das 17 às 19h, no anfiteatro DI-A2.
18 Mai - Publicada no Material Pedagógico a ficha nr.10, destinada às aulas práticas da semana de aulas que começa a 19-Mai.
11 Mai - O miniteste dia 15-Maio, 9h00, salas CPII - 201, 202 e 203 é uma prova individual sem consulta, exceptuando o formulário da disciplina que os alunos podem imprimir a partir do Material Pedagógico.
10 Mai - Turno LEI-TP2, de quinta-feira: as aulas de compensação terão lugar 2ª e 3ª-feira no horário afixado em Sumários. Por favor não faltem: são aulas essenciais em que vai ser versada matéria quer sai para o mini-teste.
10 Mai - Miniteste dia 15-Maio, 9h00, salas CPII - 201, 202 e 203: a matéria a avaliar vai até à Ficha nr.9, excluindo lei de recursividade múltipla e fusão-cata envolvendo árvores. A matéria é, obviamente, a mesma para os dois cursos.
08 Mai - Chama-se a atenção dos alunos para as aulas de reposição do turno TP2 (LEI) que terão lugar nos dias 12 e 13 de Maio - ver Sumários.
04 Mai - Publicada no Material Pedagógico a ficha nr.9, destinada às aulas práticas da semana de aulas que começa a 05-Mai.
30 Abr - Não tendo sido possível cumprir estritamente o calendário previsto para as aulas de CP, informa-se que o teste foi adiado para o dia 15 de Maio, 9h, nas salas CP2 - 201, 202 e 203 (ver Sumários.
24 Abr - Por determinação superior e tal como se avisa nos Sumários, foram suspensas as aulas do dia de hoje.
20 Abr - Publicada no Material Pedagógico a ficha nr.8, destinada às aulas práticas da semana de aulas que começa a 22-Abr.
20 Abr - Chama-se a atenção dos alunos para as aulas de reposição de vários turnos que terão lugar no dia 23-Abr, ver Sumários.
06 Abr - Publicada no Material Pedagógico a ficha nr.7, destinada às aulas práticas da semana que começa a 7-Abr.
30 Mar - Publicada no Material Pedagógico a ficha nr.6, destinada às aulas práticas da semana que começa a 31-Mar.
30 Mar - Publicado na Bibliografia o capítulo dos apontamentos teóricos da disciplina referentes à segunda parte da matéria.
22 Mar - Publicada no Material Pedagógico ficha nr.5, destinada às aulas práticas da semana que começa a 24-Mar.
15 Mar - Aula de substituição (LEI/TP4): Tal como anunciado em Sumários, a aula em falta será reposta 4feira, dia 19 de Março, 17-19h na sala DI-A2.
15 Mar - Publicada no Material Pedagógico a ficha nr.4, destinada às aulas práticas da semana que começa a 17-Mar.
08 Mar - Publicada no Material Pedagógico a ficha nr.3, destinada às aulas práticas da semana que começa a 10-Mar.
03 Mar - Publicada no Material Pedagógico a ficha nr.2, destinada às aulas práticas desta semana.
03 Mar (LEI): mudança de sala da aula teórica de 5.ª-feira: passou para o CP1/A3.
03 Mar - Fotografias: os alunos que não têm fotografia no portal académico devem tratar de a disponibilizar o mais rapidamente possível. A falta de fotografia pode comprometer a componente de avaliação contínua desta disciplina.
22 Fev - Publicada no Material Pedagógico a ficha nr.1, destinada às aulas práticas da semana que começa a 24-Fev.
17 Fev - Datas das avaliações: ver Sumários17 Fev - Turnos TP (LEI): ver Alunos16 Fev - Calendário previsto para a disciplina publicado em Sumários, incluindo provas de avaliação.
14 Fev - As aulas terão início a 17-Fev-2014.
14 Fev - Criada esta página de avisos.
J.N. Oliveira. Program Design by Calculation. Departamento de Informática, Universidade do Minho. Os capítulos deste livro (em preparação) essenciais para esta disciplina no corrente ano lectivo são o segundo ( 504K) e o terceiro ( 527K).
Bibliografia complementar
A. Cunha. Cálculo de Programas: notas teórico-práticas. Departamento de Informática, Universidade do Minho, 2005. (290k).
R. Bird and O. de Moor. Algebra of Programming. Series in Computer Science. Prentice-Hall International, 1997. C. A. R. Hoare, series editor. BGUM 510.5-B
Formato PDF : a disponibilizar oportunamente
Formato ICS : a disponibilizar oportunamente
Actualização contínua no calendário:
-- JoseNunoOliveira - 06 Feb 2013
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: marcação verbal junto do respectivo docente com um mínimo de 24h de antecedência.
Atendimento electrónico (FAQs)
Q1 - Estou com dificuldade em resolver um dos exercicios que aparecem na blibliografia (exercicio 2.21, pagina 38 do segundo capitulo), onde é pedido para verificar a seguinte propriedade: < f , ( p -> q , h ) > = p -> < f, q >, < h , f > tendo em conta que p -> f , f = f...R: Não é de admirar pois, infelizmente, havia uma gralha (!) no exercício, que já se corrigiu no PDF desse capítulo: deverá provar < f , ( p -> q , h ) > = p -> < f, q >, < f , h > e não o que lá estava (troca de f com h).
Q2 - Estou sem conseguir resolver a questão 8 do teste de 2011/12: definir um anamorfismo de naturais como um catamorfismo de listas. Tentei usar a lei universal-ana(44) mas fiquei bloqueado a meio.R: Sim, universal-ana (naturais) é bom começo (expandindo out = [nil,cons]º ):
f = [( (id+p2). [nil,cons]º )]
== { universal-ana (naturais); álgebra in dos naturais é [0,succ] }
f = in. (id + f ) . (id+p2). [nil,cons]º
== { passando isomorfismo [nil,cons]º para o outro lado, "trocando o sinal" }
f . [nil,cons] = in. (id + f ) . (id+p2)
== { ... }
Aqui começa a preparação das coisas para termos f como catamorfismo de listas: fica como exercício.
A dificuldade desta questão é que começa com um anamorfismo de naturais (F f = id + f) e termina com um catamorfismo de listas (F f = id + id x f). A mudança de F dá-se a partir do ponto em que se parou acima. Como sempre, as propriedades naturais não se devem ignorar (neste caso a do p2).
Q3 - Na ficha 9, ex. 3, consegui obter as seguintes igualdades:
look k . nil = Nothinglook k . cons = (==k) . π1 . π1 -> Just . π2 . π1, (look k) . π2
Mas não consigo perceber qual será o próximo passo a tomar a partir daqui.
R: Como o functor é F f = id + id >< f, vamos precisar de ter
(look k). in = g . (id + id >< (look k))
É fácil decompor g = [ const Nothing, g2], passando agora a dificuldade a ser resolver a equação
em ordem a g2. Por natural-π2, (look k) . π2 = π2. (id >< (look k)). Por natural-π1, π1 = π1 . (id >< (look k)).
Substituindo:
g2. (id >< (look k) = (==k) . π1 . (π1 . (id >< (look k))) -> Just . π2 . (π1 . (id >< (look k))), (π2. (id >< (look k)))
que simplifica pela 2ª lei de fusão de McCarthy:
g2. (id >< (look k) = ((==k) . π1 . π1 -> Just . π2 . π1 , π2) . (id >< (look k))
Cancelando (id >< (look k) obtém-se:
g2 = (==k) . π1 . π1 -> Just . π2 . π1 , π2
Esta é de facto a versão de look que aparece na secção (4.2) da biblioteca List.hs.
Q4 - Na ficha 9, ex. 6, chego a
f2 . in = [nil, f1 . π2]
Dado que tenho que aplicar, mais tarde, a lei de Fokkinga, ainda fiz o seguinte passo:
f2 . in = [nil, π1 . <f1, f2> . π2] (*)
mas não consegui avançar mais.
R: A lei que refere vai pedir, para um gene g2 que queremos calcular, f2 . in = g2 . F <f1, f2>, isto é,
f2 . in = g2 . (id + id >< <f1, f2>)
pois estamos a trabalhar como listas. Por natural-π2, <f1, f2> . π2 = π2 . (id >< <f1, f2>). Logo, (*) é o mesmo que
f2 . in = [nil, π1 . π2 . (id >< <f1, f2>)]
Por absorção-+, teremos finalmente
f2 . in = [nil, π1 . π2] . (id + id >< <f1, f2>)
Logo g2 = [nil, π1 . π2]. O raciocínio para f1 é idêntico.
Q5 - Estou a tentar resolver a questão 6 do teste de 17 de Junho de 2013: fiz os diagramas de cada catamorfismo e chego às definições das funções com variáveis através da lei universal-cata e consigo perceber que realmente fazem a mesma coisa, mas não sei se era assim que era suposto resolver...R: Não, isso mostra... mas não prova! O que queremos provar é que f=g, sendo ambas catamorfismos. Logo podemos usar a lei-universal aplicada a f ou g, à nossa escolha, por exemplo
f = ([ (const k), id ])
<=> { Universal-cata }
f.in = [(const k), id] . (id + f)
<=> { simplificação }
f.in = [(const k), f]
<=> { cancelamento-cata (f) }
[const k, const k].(id+f) = [(const k), f]
<=> { simplificação seguida de eq-(+) etc }
f = const k
Agora basta verificar se const k = g, pelo mesmo processo.
-- JoseNunoOliveira - 14 Feb 2014
google.hs - exemplo 'ad hoc' de estratégia map-reduce (à la Google) implementada directamente por combinadores estudados nesta disciplina.
demos.hs - contendo material auxiliar para a visualização em HTML da estrutura de dados virtual (intermédia) dos hilomorfismos qSort, hanoi, mSort etc das bibliotecas BTree.hs e LTree.hs. Experimentar qSort_vtree [6,3,9,1,7,18] e hanoi_vtree (True, 7), por exemplo. Encontrar-se-á a visualização no ficheiro _.html da directoria corrente.
LTree.hs - biblioteca contendo os cata/ana/hilomorfismos do tipo de dados árvores binárias de folhas - LTree a = Leaf a | Fork (LTree a, LTree a) e aplicações suas (e.g. duplo factorial, `merge-sort', Fibonacci etc).
BTree.hs - biblioteca contendo os cata/ana/hilomorfismos do tipo de dados árvores binárias - data BTree a = Empty | Node(a, (BTree a, BTree a)), e aplicações suas (e.g. torres de Hanói, `quick-sort', etc).
List.hs - biblioteca geral para listas em Haskell, contendo a respectiva bateria de combinadores ana+cata+hilo e exemplos de utilização, que incluem os dados nas aulas.
Nat.hs - biblioteca de naturais (combinador ciclo-for, etc).
Cp.hs - contendo os combinadores de base do cálculo de programas, e.g. split, ><, -|- etc.
Miniteste (6 questões, sem consulta): 12 valores, com nota mínima de 8 valores.
Teste (4 questões, sem consulta) sobre a parte da matéria não coberta pelo miniteste: 8 valores (apenas para alunos com nota mínima no miniteste).
Exame de recurso: segundo o regime geral em vigor na universidade.
Alternativa 2:
Teste (10 questões, sem consulta) sobre toda a matéria: 20 valores.
Exame de recurso: segundo o regime geral em vigor na universidade.
A Alternativa 1 fica escolhida automaticamente mediante entrega do miniteste para correcção. Não é permitida a posterior mudança de alternativa de avaliação.
Regime de Faltas
Adopta-se o regime geral em vigor na universidade.
-- jno - 14 Feb 2014
TWiki's Education/CP1314 webThe Education/CP1314 web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise.http://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314Copyright 2020 by contributing authors2020-10-30T14:39:06ZWebStatisticshttp://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/WebStatistics2020-10-30T14:39:06ZStatistics for Education/CP1314 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic ... (last changed by TWikiGuest)TWikiGuestAlunoshttp://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/Alunos2019-07-07T09:25:19ZAlunos As classificações constantes desta página foram removidas no final do ano lectivo. (last changed by JoseNunoOliveira)JoseNunoOliveiraBibliografiahttp://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/Bibliografia2015-02-23T14:35:07ZBibliografia Bibliografia essencial J.N. Oliveira. Program Design by Calculation . Departamento de Informática, Universidade do Minho. Os capítulos deste livro ... (last changed by JoseNunoOliveira)JoseNunoOliveiraAvisoshttp://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/Avisos2015-01-11T15:43:34Z19 Set Classificações do exame de época especial : estão publicadas em Alunos. 05 Set Exame da época especial: ver o calendário da disciplina. 25 Jul Classifica ... (last changed by JoseNunoOliveira)JoseNunoOliveiraMaterialPedagogicohttp://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/MaterialPedagogico2014-09-12T10:25:56ZMaterial Pedagógico Fichas das aulas práticas Ficha 1 (revisões de PF) Ficha 2 Ficha 3 Ficha 4 Ficha 5 Ficha 6 Ficha ... (last changed by JoseNunoOliveira)JoseNunoOliveiraWebSideBarhttp://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/WebSideBar2014-09-06T11:10:12ZTópicos Apresentação Docentes Regime de Avaliação Horário Sumários Material Alunos Atendimento principal no ... (last changed by JoseNunoOliveira)JoseNunoOliveiraHorarioAtendimentohttp://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/HorarioAtendimento2014-06-12T17:47:14ZHorá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)JoseNunoOliveiraHorarioSalasDocenteshttp://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/HorarioSalasDocentes2014-03-03T18:18:15ZHorário e turnos Curso Turno Dia Hora Sala Docente LCC T1 2ª feira 16h 18h ... (last changed by JoseNunoOliveira)JoseNunoOliveiraWebHomehttp://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/WebHome2014-02-17T15:48:28ZBenvindo a Cálculo de Programas Bem vindo à página da edição de 2013/14 da disciplina de de Programas. O meu nome é Nuno Oliveira e sou o responsável por esta disciplina ... (last changed by JoseNunoOliveira)JoseNunoOliveiraEquipaDocentehttp://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/EquipaDocente2014-02-17T15:42:53ZDocentes Docente Código Aulas Licenciaturas Soares Barbosa 406023 TP LCC, LEI Nuno Oliveira 406006 T, TP LCC, LEI Pacheco ... (last changed by JoseNunoOliveira)JoseNunoOliveiraRegimeAvaliacaohttp://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/RegimeAvaliacao2014-02-14T18:46:15ZRegime de Avaliação Alternativa 1: Miniteste (6 questões, sem consulta): 12 valores, com nota mínima de 8 valores. Teste (4 questões, sem consulta ... (last changed by JoseNunoOliveira)JoseNunoOliveiraCalendariohttp://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/Calendario2014-02-14T18:37:58ZSumários da disciplina Formato PDF : a disponibilizar oportunamente Formato ICS : a disponibilizar oportunamente Actualização contínua no calendário: JoseNunoOliveira ... (last changed by JoseNunoOliveira)JoseNunoOliveiraWebPreferenceshttp://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/WebPreferences2014-02-14T18:27:01ZEducation/CP1314 Web Preferences The following settings are web preferences of the Education/CP1314 web. These preferences overwrite the site level preferences ... (last changed by AlcinoCunha)AlcinoCunhaWebTopicActionshttp://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/WebTopicActions2007-05-18T08:03:35Z (last changed by AlcinoCunha)AlcinoCunhaWebCsshttp://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/WebCss2007-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)AlcinoCunhaWebTopBarhttp://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/WebTopBar2007-02-13T14:43:04Z (last changed by AlcinoCunha)AlcinoCunha
Bibliografia Bibliografia essencial J.N. Oliveira. Program Design by Calculation . Departamento de Informática, Universidade do Minho. Os capítulos deste livro ...
19 Set Classificações do exame de época especial : estão publicadas em Alunos. 05 Set Exame da época especial: ver o calendário da disciplina. 25 Jul Classifica ...
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 ...
Benvindo a Cálculo de Programas Bem vindo à página da edição de 2013/14 da disciplina de de Programas. O meu nome é Nuno Oliveira e sou o responsável por esta disciplina ...
Sumários da disciplina Formato PDF : a disponibilizar oportunamente Formato ICS : a disponibilizar oportunamente Actualização contínua no calendário: JoseNunoOliveira ...
Education/CP1314 Web Preferences The following settings are web preferences of the Education/CP1314 web. These preferences overwrite the site level preferences ...
Bem vindo à página da edição de 2013/14 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 (High-Assurance Software Laboratory), 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.
Cada vez mais, a indústria pede às universidades que ensinem a programar a sério, isto é, de forma reflectida e capaz de evitar erros de programação. 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.
Citação
Quien sabe por Algebra, sabe scientificamente. Pedro Nunes(1502-1578) in Libro de Algebra, 1567, fol 270r.
Resultados da Aprendizagem
Programação composicional: aprender a escrever programas complexos por composição de programas mais simples (princípio da composicionalidade).
Programação construtiva: aprender a escrever programas funcionais com recurso a combinadores algébricos.
Transformação de programas: recurso à algebra da programação para se obter eficiência sem sacrifício da correcção.
Arquitectura da programação: Análise, compreensão e catalogação de programas: recurso à factorização em pares "fold" + "unfold" (hilomorfismos) como forma de se perceber a arquitectura dos algoritmos e sua taxonomia.
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.
19 Set Classificações do exame de época especial : estão publicadas em Alunos. 05 Set Exame da época especial: ver o calendário da disciplina. 25 Jul Classifica ...
Bibliografia Bibliografia essencial J.N. Oliveira. Program Design by Calculation . Departamento de Informática, Universidade do Minho. Os capítulos deste livro ...
Sumários da disciplina Formato PDF : a disponibilizar oportunamente Formato ICS : a disponibilizar oportunamente Actualização contínua no calendário: 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 ...
Benvindo a Cálculo de Programas Bem vindo à página da edição de 2013/14 da disciplina de de Programas. O meu nome é Nuno Oliveira e sou o responsável por esta disciplina ...
Education/CP1314 Web Preferences The following settings are web preferences of the Education/CP1314 web. These preferences overwrite the site level preferences ...
This is a subscription service to be automatically notified by e-mail when topics change in this Education/CP1314 web. This is a convenient service, so you do not have to come back and check all the time if something has changed. To subscribe, please add a bullet with your WikiName in alphabetical order to this list:
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
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? :
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
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
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.
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/CP1314.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)
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/CP1314 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.
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.
TWiki search results for \.*
http://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314
The Education/CP1314 web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise.en-usCopyright 2020 by contributing authorsTWiki Administrator [webmaster@di.uminho.pt]The contributing authors of TWikiTWikiDIUM.Education/CP1314
http://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314
/twiki/pub/Main/LocalLogos/um_eengP.jpgAlunos
http://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/Alunos
Alunos As classificações constantes desta página foram removidas no final do ano lectivo. (last changed by JoseNunoOliveira)2019-07-07T09:25:19ZJoseNunoOliveiraBibliografia
http://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/Bibliografia
Bibliografia Bibliografia essencial J.N. Oliveira. Program Design by Calculation . Departamento de Informática, Universidade do Minho. Os capítulos deste livro ... (last changed by JoseNunoOliveira)2015-02-23T14:35:07ZJoseNunoOliveiraAvisos
http://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/Avisos
19 Set Classificações do exame de época especial : estão publicadas em Alunos. 05 Set Exame da época especial: ver o calendário da disciplina. 25 Jul Classifica ... (last changed by JoseNunoOliveira)2015-01-11T15:43:34ZJoseNunoOliveiraMaterialPedagogico
http://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/MaterialPedagogico
Material Pedagógico Fichas das aulas práticas Ficha 1 (revisões de PF) Ficha 2 Ficha 3 Ficha 4 Ficha 5 Ficha 6 Ficha ... (last changed by JoseNunoOliveira)2014-09-12T10:25:56ZJoseNunoOliveiraWebSideBar
http://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/WebSideBar
Tópicos Apresentação Docentes Regime de Avaliação Horário Sumários Material Alunos Atendimento principal no ... (last changed by JoseNunoOliveira)2014-09-06T11:10:12ZJoseNunoOliveiraHorarioAtendimento
http://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/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)2014-06-12T17:47:14ZJoseNunoOliveiraHorarioSalasDocentes
http://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/HorarioSalasDocentes
Horário e turnos Curso Turno Dia Hora Sala Docente LCC T1 2ª feira 16h 18h ... (last changed by JoseNunoOliveira)2014-03-03T18:18:15ZJoseNunoOliveiraWebHome
http://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/WebHome
Benvindo a Cálculo de Programas Bem vindo à página da edição de 2013/14 da disciplina de de Programas. O meu nome é Nuno Oliveira e sou o responsável por esta disciplina ... (last changed by JoseNunoOliveira)2014-02-17T15:48:28ZJoseNunoOliveiraEquipaDocente
http://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/EquipaDocente
Docentes Docente Código Aulas Licenciaturas Soares Barbosa 406023 TP LCC, LEI Nuno Oliveira 406006 T, TP LCC, LEI Pacheco ... (last changed by JoseNunoOliveira)2014-02-17T15:42:53ZJoseNunoOliveiraRegimeAvaliacao
http://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/RegimeAvaliacao
Regime de Avaliação Alternativa 1: Miniteste (6 questões, sem consulta): 12 valores, com nota mínima de 8 valores. Teste (4 questões, sem consulta ... (last changed by JoseNunoOliveira)2014-02-14T18:46:15ZJoseNunoOliveiraCalendario
http://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/Calendario
Sumários da disciplina Formato PDF : a disponibilizar oportunamente Formato ICS : a disponibilizar oportunamente Actualização contínua no calendário: JoseNunoOliveira ... (last changed by JoseNunoOliveira)2014-02-14T18:37:58ZJoseNunoOliveiraWebPreferences
http://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/WebPreferences
Education/CP1314 Web Preferences The following settings are web preferences of the Education/CP1314 web. These preferences overwrite the site level preferences ... (last changed by AlcinoCunha)2014-02-14T18:27:01ZAlcinoCunhaWebTopicActions
http://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/WebTopicActions
(last changed by AlcinoCunha)2007-05-18T08:03:35ZAlcinoCunhaWebCss
http://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/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:59ZAlcinoCunhaWebTopBar
http://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/WebTopBar
(last changed by AlcinoCunha)2007-02-13T14:43:04ZAlcinoCunhaWebLeftBar
http://wiki.di.uminho.pt/twiki/bin/view/Education/CP1314/WebLeftBar
Apresentação Sumários Projectos Material (last changed by AlcinoCunha)2007-02-13T10:35:33ZAlcinoCunha
19 Set - Classificações do exame de época especial: estão publicadas em Alunos.
05 Set - Exame da época especial: ver o calendário da disciplina.
25 Jul - Classificações finais: estão publicadas em Alunos.
21 Jul - Os alunos que pretendam consultar os seus exames poderão fazê-lo hoje, 21-Jul, das 16h00-18h00, junto do responsável da disciplina.
21 Jul - Provas orais: terão lugar dia 23-Jul de manhã, das 9h às 11h, na sala DI 1.08.
21 Jul - Classificações do exame de recurso: estão publicadas em Alunos.
18 Jul - As notas do exame de recurso serão lançadas em Alunos dentro de 2 ou 3 dias no máximo.
25 Jun - Horário para consulta do teste: amanhã (26-Jun) das 11h-13h e das 14h30-16h30, no gabinete de Luis S. Barbosa.
24 Jun - O exame de recurso está marcado para as 9h00 de 4-Jul, nas salas CPII - 201, 202 e 203, cf. Sumários.
24 Jun - Classificações à data da época normal: estão publicadas em Alunos .
24 Mai - Publicado no Material Pedagógico o enunciado do teste de 13-Jun, com a correcção.
23 Mai - Continua a haver alunos que não têm fotografia no portal académico, o que pode comprometer a sua componente de avaliação contínua na disciplina.
11 Jun - Teste de 13-Jun: por falta de salas foi necessário alterar a hora do teste para as 18h, ver Sumários.
11 Jun - Algumas dúvidas frequentes encontram-se respondidas na secção de FAQs do Atendimento.
05 Jun - Classificações do mini-teste: estão publicadas em Alunos.
26 Mai - Publicada no Material Pedagógico aúltima ficha prática (nr.11).
21 Mai - Publicado no Material Pedagógico o enunciado do mini-teste com a correcção.
21 Mai - LEI, Turno TP4: devido a uma missão em Lisboa o docente não poderá leccionar esta aula, tendo lugar a sua substituição dia 4 de Junho das 17 às 19h, no anfiteatro DI-A2.
18 Mai - Publicada no Material Pedagógico a ficha nr.10, destinada às aulas práticas da semana de aulas que começa a 19-Mai.
11 Mai - O miniteste dia 15-Maio, 9h00, salas CPII - 201, 202 e 203 é uma prova individual sem consulta, exceptuando o formulário da disciplina que os alunos podem imprimir a partir do Material Pedagógico.
10 Mai - Turno LEI-TP2, de quinta-feira: as aulas de compensação terão lugar 2ª e 3ª-feira no horário afixado em Sumários. Por favor não faltem: são aulas essenciais em que vai ser versada matéria quer sai para o mini-teste.
10 Mai - Miniteste dia 15-Maio, 9h00, salas CPII - 201, 202 e 203: a matéria a avaliar vai até à Ficha nr.9, excluindo lei de recursividade múltipla e fusão-cata envolvendo árvores. A matéria é, obviamente, a mesma para os dois cursos.
08 Mai - Chama-se a atenção dos alunos para as aulas de reposição do turno TP2 (LEI) que terão lugar nos dias 12 e 13 de Maio - ver Sumários.
04 Mai - Publicada no Material Pedagógico a ficha nr.9, destinada às aulas práticas da semana de aulas que começa a 05-Mai.
30 Abr - Não tendo sido possível cumprir estritamente o calendário previsto para as aulas de CP, informa-se que o teste foi adiado para o dia 15 de Maio, 9h, nas salas CP2 - 201, 202 e 203 (ver Sumários.
24 Abr - Por determinação superior e tal como se avisa nos Sumários, foram suspensas as aulas do dia de hoje.
20 Abr - Publicada no Material Pedagógico a ficha nr.8, destinada às aulas práticas da semana de aulas que começa a 22-Abr.
20 Abr - Chama-se a atenção dos alunos para as aulas de reposição de vários turnos que terão lugar no dia 23-Abr, ver Sumários.
06 Abr - Publicada no Material Pedagógico a ficha nr.7, destinada às aulas práticas da semana que começa a 7-Abr.
30 Mar - Publicada no Material Pedagógico a ficha nr.6, destinada às aulas práticas da semana que começa a 31-Mar.
30 Mar - Publicado na Bibliografia o capítulo dos apontamentos teóricos da disciplina referentes à segunda parte da matéria.
22 Mar - Publicada no Material Pedagógico ficha nr.5, destinada às aulas práticas da semana que começa a 24-Mar.
15 Mar - Aula de substituição (LEI/TP4): Tal como anunciado em Sumários, a aula em falta será reposta 4feira, dia 19 de Março, 17-19h na sala DI-A2.
15 Mar - Publicada no Material Pedagógico a ficha nr.4, destinada às aulas práticas da semana que começa a 17-Mar.
08 Mar - Publicada no Material Pedagógico a ficha nr.3, destinada às aulas práticas da semana que começa a 10-Mar.
03 Mar - Publicada no Material Pedagógico a ficha nr.2, destinada às aulas práticas desta semana.
03 Mar (LEI): mudança de sala da aula teórica de 5.ª-feira: passou para o CP1/A3.
03 Mar - Fotografias: os alunos que não têm fotografia no portal académico devem tratar de a disponibilizar o mais rapidamente possível. A falta de fotografia pode comprometer a componente de avaliação contínua desta disciplina.
22 Fev - Publicada no Material Pedagógico a ficha nr.1, destinada às aulas práticas da semana que começa a 24-Fev.
17 Fev - Datas das avaliações: ver Sumários17 Fev - Turnos TP (LEI): ver Alunos16 Fev - Calendário previsto para a disciplina publicado em Sumários, incluindo provas de avaliação.
14 Fev - As aulas terão início a 17-Fev-2014.
14 Fev - Criada esta página de avisos.
19 Set - Classificações do exame de época especial: estão publicadas em Alunos.
05 Set - Exame da época especial: ver o calendário da disciplina.
25 Jul - Classificações finais: estão publicadas em Alunos.
21 Jul - Os alunos que pretendam consultar os seus exames poderão fazê-lo hoje, 21-Jul, das 16h00-18h00, junto do responsável da disciplina.
21 Jul - Provas orais: terão lugar dia 23-Jul de manhã, das 9h às 11h, na sala DI 1.08.
21 Jul - Classificações do exame de recurso: estão publicadas em Alunos.
18 Jul - As notas do exame de recurso serão lançadas em Alunos dentro de 2 ou 3 dias no máximo.
25 Jun - Horário para consulta do teste: amanhã (26-Jun) das 11h-13h e das 14h30-16h30, no gabinete de Luis S. Barbosa.
24 Jun - O exame de recurso está marcado para as 9h00 de 4-Jul, nas salas CPII - 201, 202 e 203, cf. Sumários.
24 Jun - Classificações à data da época normal: estão publicadas em Alunos .
24 Mai - Publicado no Material Pedagógico o enunciado do teste de 13-Jun, com a correcção.
23 Mai - Continua a haver alunos que não têm fotografia no portal académico, o que pode comprometer a sua componente de avaliação contínua na disciplina.
11 Jun - Teste de 13-Jun: por falta de salas foi necessário alterar a hora do teste para as 18h, ver Sumários.
11 Jun - Algumas dúvidas frequentes encontram-se respondidas na secção de FAQs do Atendimento.
05 Jun - Classificações do mini-teste: estão publicadas em Alunos.
26 Mai - Publicada no Material Pedagógico aúltima ficha prática (nr.11).
21 Mai - Publicado no Material Pedagógico o enunciado do mini-teste com a correcção.
21 Mai - LEI, Turno TP4: devido a uma missão em Lisboa o docente não poderá leccionar esta aula, tendo lugar a sua substituição dia 4 de Junho das 17 às 19h, no anfiteatro DI-A2.
18 Mai - Publicada no Material Pedagógico a ficha nr.10, destinada às aulas práticas da semana de aulas que começa a 19-Mai.
11 Mai - O miniteste dia 15-Maio, 9h00, salas CPII - 201, 202 e 203 é uma prova individual sem consulta, exceptuando o formulário da disciplina que os alunos podem imprimir a partir do Material Pedagógico.
10 Mai - Turno LEI-TP2, de quinta-feira: as aulas de compensação terão lugar 2ª e 3ª-feira no horário afixado em Sumários. Por favor não faltem: são aulas essenciais em que vai ser versada matéria quer sai para o mini-teste.
10 Mai - Miniteste dia 15-Maio, 9h00, salas CPII - 201, 202 e 203: a matéria a avaliar vai até à Ficha nr.9, excluindo lei de recursividade múltipla e fusão-cata envolvendo árvores. A matéria é, obviamente, a mesma para os dois cursos.
08 Mai - Chama-se a atenção dos alunos para as aulas de reposição do turno TP2 (LEI) que terão lugar nos dias 12 e 13 de Maio - ver Sumários.
04 Mai - Publicada no Material Pedagógico a ficha nr.9, destinada às aulas práticas da semana de aulas que começa a 05-Mai.
30 Abr - Não tendo sido possível cumprir estritamente o calendário previsto para as aulas de CP, informa-se que o teste foi adiado para o dia 15 de Maio, 9h, nas salas CP2 - 201, 202 e 203 (ver Sumários.
24 Abr - Por determinação superior e tal como se avisa nos Sumários, foram suspensas as aulas do dia de hoje.
20 Abr - Publicada no Material Pedagógico a ficha nr.8, destinada às aulas práticas da semana de aulas que começa a 22-Abr.
20 Abr - Chama-se a atenção dos alunos para as aulas de reposição de vários turnos que terão lugar no dia 23-Abr, ver Sumários.
06 Abr - Publicada no Material Pedagógico a ficha nr.7, destinada às aulas práticas da semana que começa a 7-Abr.
30 Mar - Publicada no Material Pedagógico a ficha nr.6, destinada às aulas práticas da semana que começa a 31-Mar.
30 Mar - Publicado na Bibliografia o capítulo dos apontamentos teóricos da disciplina referentes à segunda parte da matéria.
22 Mar - Publicada no Material Pedagógico ficha nr.5, destinada às aulas práticas da semana que começa a 24-Mar.
15 Mar - Aula de substituição (LEI/TP4): Tal como anunciado em Sumários, a aula em falta será reposta 4feira, dia 19 de Março, 17-19h na sala DI-A2.
15 Mar - Publicada no Material Pedagógico a ficha nr.4, destinada às aulas práticas da semana que começa a 17-Mar.
08 Mar - Publicada no Material Pedagógico a ficha nr.3, destinada às aulas práticas da semana que começa a 10-Mar.
03 Mar - Publicada no Material Pedagógico a ficha nr.2, destinada às aulas práticas desta semana.
03 Mar (LEI): mudança de sala da aula teórica de 5.ª-feira: passou para o CP1/A3.
03 Mar - Fotografias: os alunos que não têm fotografia no portal académico devem tratar de a disponibilizar o mais rapidamente possível. A falta de fotografia pode comprometer a componente de avaliação contínua desta disciplina.
22 Fev - Publicada no Material Pedagógico a ficha nr.1, destinada às aulas práticas da semana que começa a 24-Fev.
17 Fev - Datas das avaliações: ver Sumários17 Fev - Turnos TP (LEI): ver Alunos16 Fev - Calendário previsto para a disciplina publicado em Sumários, incluindo provas de avaliação.
14 Fev - As aulas terão início a 17-Fev-2014.
14 Fev - Criada esta página de avisos.
504K)
.
Todos fazemos parte do Laboratório 
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 
Rename, move or delete this web: 
If you already know the name of the topic, enter the name of the topic into the 
List topics that start with the letter: 
Once you have created the topic, consider adding links in related topics to the new topic so that there are more ways people can discover it.
Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.