Cálculo de Programas

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

Tópicos

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ários

17 Fev - Turnos TP (LEI): ver Alunos

16 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.

Benvindo a Cálculo de Programas

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. TFM09.jpg 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.

Página principal

Entrar aqui.

r36 - 17 Feb 2014 - 15:48:28 - JoseNunoOliveira
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM