Cálculo de Programas

Licenciatura em Engenharia Informática

Tópicos

Avisos

30 Set - Classificações finais dos alunos que fizeram exame da época especial: - ver Alunos

12 Set - Data, hora e sala do exame da época especial - ver sumários

25 Jul - Publicadas em Alunos as notas finais da disciplina.

9 Jul - Publicado no Material Pedagógico o enunciado do teste de 18-Jun com 5 questões resolvidas.

8 Jul - Hora e salas do exame de recurso de 12-Jul - ver sumários.

30 Jun - As classificações dos alunos com avaliação após teste de 18-Jun estão disponíveis em Alunos

18 Jun - Tal como se avisou a 22-Fev, a equipa docente insiste que não poderá assegurar a componente de avaliação contínua aos alunos que não tiverem a sua fotografia no BB.

14 Jun - Não serão distribuídos formulários no teste de 18-Jun. Quem desejar pode levar o formulário que está disponível no Material Pedagógico e que é o único elemento de consulta.

12 Jun - As classificações das fichas de avaliação do Método A estão disponíveis em Alunos.

9 Jun - Publicadas no Material Pedagógico as fichas de avaliação do Método A.

28 Mai - Publicada no Material Pedagógico a ficha nr.12, destinada às aulas práticas da última semana de aulas.

27 Mai - Hora e salas do teste individual - ver sumários.

21 Mai - Publicada no Material Pedagógico a ficha nr.11, destinada às aulas práticas da semana que começa a 23-Mai.

15 Mai - Publicada na Bibliografia a última parte do texto de apoio à disciplina.

14 Mai - Publicada no Material Pedagógico a ficha nr.10, destinada às aulas práticas da semana que começa a 16-Mai.

04 Mai - Publicados no Material Pedagógico (secção "Bibliotecas") uma série de ficheiros em Haskell de apoio às aulas sobre a segunda parte da matéria.

30 Abr - Publicada no Material Pedagógico a ficha nr.9, destinada às aulas práticas da semana que começa a 2-Mai.

16 Abr - Publicada no Material Pedagógico a ficha nr.8, destinada às aulas práticas da semana que começa a 26-Abr.

11 Abr - Tendo sido por vários alunos manifestada vontade de anularem a ficha de avaliação nr.1 e transitarem para o método B, informa-se que o prazo limite para tomarem essa decisão é a próxima 6a-feira, dia 15-Abr, comunicando-o ao docente responsável carregando aqui.

09 Abr - Publicada no Material Pedagógico a ficha nr.7, destinada às aulas práticas da semana que começa a 11-Abr.

02 Abr - Método A - recorda-se que a avaliação nr.1 decorrerá nas aulas práticas da próxima semana. O único material de consulta é o formulário (em papel).

02 Abr - Publicadas no Material Pedagógico: (a) duas notas de apoio às aulas teóricas T-09 e T-10; (b) a ficha nr.6, destinada às aulas práticas da semana que começa a 4-Abr.

02 Abr - Publicado na Bibliografia mais um capítulo do texto de apoio à disciplina.

26 Mar - Publicada no Material Pedagógico a ficha nr.5, destinada às aulas práticas da semana que começa a 28-Mar.

19 Mar - Publicada no Material Pedagógico a ficha nr.4, destinada às aulas práticas da semana que começa a 21-Mar.

12 Mar - Publicada no Material Pedagógico a ficha nr.3, destinada às aulas práticas da semana que começa a 14-Mar.

5 Mar - Publicada nos sumários a calendarização prevista para as avaliações do Método A.

5 Mar - Publicada no Material Pedagógico a ficha nr.2, destinada às aulas práticas da semana que começa a 7-Mar.

26 Fev - Publicada no Material Pedagógico a ficha nr.1, destinada às aulas práticas da semana que começa a 28-Fev.

26 Fev - Publicada em Alunos a alocação aos turnos práticos revista de acordo com as condições de frequência do método A.

23 Fev - Mensagens para a equpa docente: usem Contacto ou no mínimo garantam que o string "CP/1011" aparece no assunto; de outra forma, não há garantia de se não perderem nos filtros de SPAM.

22 Fev - Fotografias: os alunos que não tem fotografia no portal académico (logo também não no BB) devem colocá-la o mais depressa possível.

22 Fev - Tendo a equipa docente recebido emails de alunos que se enganaram na sua inscrição, informa-se que essas situações serão tratadas após o fecho das inscrições, por ordem de chegada.

21 Fev - Inscrição nos turnos práticos: ver as condições de frequência em Regime de Avaliação.

19 Fev - Turnos práticos: a inscrição electrónica nos turnos práticos terá lugar 3ª-feira, dia 22-Fev das 10h00 às 18h00 via Blackboard (código: 1011.8204N5).

19 Fev - Os alunos devem estar atentos aos Avisos da página da disciplina.

16 Fev - As aulas teóricas começam na próxima 5ª-feira, 24-Fev, às 09h00 - ver sumários.

16 Fev - Já estão calendarizadas as provas de avaliação -- ver calendário da disciplina.

15 Fev - Foi criada esta página.

Benvindo a Cálculo de Programas

Bem vindo à página da edição de 2010/11 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 (Formal Methods for High-Assurance Software), 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, 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.

Resultados da Aprendizagem

Quien sabe por Algebra, sabe scientificamente.
Pedro Nunes(1502-1578) in Libro de Algebra, 1567, fol 270r.

  • Construção de programas: escrever programas funcionais de forma composicional, com recurso a combinadores algébricos.

  • Transformação de programas: recurso à algebra da programação para se obterem programas mais eficientes sem comprometer as sua correcção.

  • Análise e compreensão de programas: recurso à factorização em pares "fold" + "unfold" (hilomorfismos) como forma de se perceber a arquitectura dos algoritmos e sua catalogação.

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

r30 - 22 Feb 2011 - 14:06:30 - JoseNunoOliveira
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM