Cálculo de Programas

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

Tópicos

Avisos

20 Set - Classificações da época especial - ver Alunos.

10 Set - Teste de Junho com a maior parte das questões resolvidas: ver Material.

10 Set - Exame da Época especial (LCC+LEI): Sala CP1-104, 11-Set das 9h00 às 11h30.

07 Set - Acaba de ser marcada a data do exame da Época especial - ver Sumários. A hora e a sala serão entretanto confirmadas e anunciadas aqui.

25 Jul - Acabam de ser lançadas em Alunos as classificações apuradas após o exame de recurso. Amanhã terei (JNO) disponibilidade para mostrar exames na parte da manhã.

21 Jul - Fotografias: avisa-se uma vez mais que os alunos que não tem fotografia no portal académico (logo também não no BB) dificilmente poderão beneficiar da sua avaliação contínua na classificação final da disciplina.

10 Jul - Chama-se a atenção dos alunos para a hora de início do exame de recurso de 11-Jul: 11h00, nas salas CPII-201 a 204. Os alunos poderão ter como (único) elemento de consulta o formulário da disciplina.

28 Jun - Classificações à data da época normal - ver Alunos. Os alunos sem nota positiva estão admitidos a exame de recurso, que terá lugar no dia 11 de Julho.

17 Jun - Chama-se de novo a atenção dos alunos para a hora de início do teste de 18-Jun : 13h00, nas salas CP2 201, 202, 203 e 204. Os alunos poderão ter como (único) elemento de consulta o formulário da disciplina.

12 Jun - Alunos do Método A : as classificações dos mini-testes estão afixadas na secção Alunos

10 Jun - Confirma-se que o teste de 18-Jun se inicia às 13h00, pois as salas têm que estar livres antes das 16h00 para outros testes. As salas são as seguintes: CP2 201, 202, 203 e 204.

28 Mai - Publicada no Material Pedagógico a Ficha nr. 11 destinada às aulas práticas da semana de 28-Mai a 1-Jun.

27 Mai - Alunos do Método A : a matéria a avaliar no miniteste de 30-Mai (às 16h) é toda a que é coberta pelas fichas 1 a 9, inclusivé.

22 Mai - Alunos do Método A : Devido a dificuldades de calendarização das aulas práticas, informa-se que a segunda ficha de avaliação será feita, para todos os turnos (LCC+LEI) no dia 30-Mai às 16h, salas CP2-201 e 202. Ver sumários da disciplina.

22 Mai - Chama-se a atenção dos alunos para as aulas suplementares que estão anunciadas nos sumários da disciplina.

22 Mai - Publicada no Material Pedagógico a Ficha nr. 10 destinada às aulas práticas da semana de 22-Mai a 25-Mai.

05 Mai - Publicada no Material Pedagógico a Ficha nr. 9 destinada às aulas práticas da semana de 07-Mai a 11-Mai.

01 Mai - Última hora: Avisam-se os alunos o turno de 4 feira, 9-11h, que a aula do dia 2 de Maio não se poderá realizar (participação do docente na sessão comemorativa dos 25 anos de LCC). A aula será substituida por uma sessão na próxima 2feira, dia 7 de Maio, das 18-20h, no DI-A2.

01 Mai - Publicada no Material Pedagógico a Ficha nr.8 destinada às aulas práticas da semana de 30-Abr a 04-Mai.

21 Abr - Publicada no Material Pedagógico a Ficha nr.7 destinada às aulas práticas da semana de 23-Abr a 27-Abr.

11 Abr - A listagem dos alunos admitidos no corrente ano lectivo ao método A desta disciplina, de acordo com as condições de frequência que constam do Regime de Avaliação, encontra-se em Alunos.

09 Abr - Alunos do método A: 1ª ficha de avaliação terá lugar nas aulas TP da semana de 16-20 Abr - ver sumários.

09 Abr - Chama-se a atenção dos alunos para a troca entre as aulas T/TP de LCC na semana de 16-20 Abr - ver sumários.

09 Abr - Publicada no Material Pedagógico a Ficha nr.6 destinada às aulas práticas da semana de 26-Mar a 30-Mar.

24 Mar - Publicada no Material Pedagógico a Ficha nr.5 destinada às aulas práticas da semana de 26-Mar a 30-Mar.

16 Mar - Publicada no Material Pedagógico a Ficha nr.4 destinada às aulas práticas da semana de 19-Mar a 23-Mar.

09 Mar - Publicada no Material Pedagógico a Ficha nr.3 destinada às aulas práticas da semana de 12-Mar a 16-Mar.

09 Mar - Insiste-se para que os alunos mantenham a sua caixa de correio institucional operacional, pois continua a haver mensagens devolvidas impossibilitando assim a boa comunicação entre alunos e equipa docente.

08 Mar - Publicada no Material Pedagógico a biblioteca Cp.hs de combinadores básicos do Cálculo de Programas.

03 Mar - Publicada no Material Pedagógico a Ficha nr.2 destinada às aulas práticas da semana de 05-Mar a 09-Mar.

27 Fev - Publicada a Bibliografia e, no Material Pedagógico, o formulário da disciplina.

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

23 Fev - LCC: as inscrições dos alunos no método A (ver regime de avaliação) serão feitas de forma electrónica via Blackboard na próxima 2a-feira, dia 27-Fev.

20 Fev - LEI: as inscrições nos turnos do método A (ver horário) serão feitas de forma electrónica via Blackboard na próxima 4a-feira, dia 22-Fev, a partir das 14h00, até à mesma hora do dia seguinte.

20 Fev - LEI: chama-se a atenção dos alunos para a mudança de horário das aulas teóricas - ver horário. A primeira aula teórica com leccionação de matéria terá lugar dia 28-Fev. Prestar atenção ao que vai sendo anunciado no calendário.

20 Fev - LCC: a aula de apresentação terá lugar dia 23-Fev - prestar atenção aos que vai sendo anunciado no calendário.

18 Fev - A aulas iniciam-se na semana de 20-Fev, ver Sumários.

13 Fev - Criada esta página de avisos.

Benvindo a Cálculo de Programas

Bem vindo à página da edição de 2011/12 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.

r31 - 14 Feb 2012 - 13:28:47 - JoseNunoOliveira
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM